Rigorous Geometric Proof That dA=rdrdθ?












5












$begingroup$


I've seen the same question as above for both the geometric derivation of polar coordinates and the x-y transformation of polar coordinates. The first answer states that:



"In the geometric approach, dr2=0 as it is not only small but also symmetric (see here)." And links to a wikipedia article on exterior algebra. Could someone clarify this for me? To reiterate:



Given the polar coordinates of a 'circular wedge'
Geometrically, the exact area would be
$$frac{(r+dr)^2dθ}{2}−frac{r^2dθ}{2}$$
$$=(r+frac{dr}{2})drdθ$$
$$= r dr dtheta + frac{dr^2 dtheta}{2}$$
How do we get rid of $frac{dr^2dθ}{2}$? Why are we allowed to consider it insiginficant to the point where we can ignore it as opposed to keeping the tiny values of $dr$ and $dtheta$






calculus integration polar-coordinates







share|cite|improve this question







New contributor




user2471881 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.







$endgroup$








  • 1




    $begingroup$
    at small enough $Delta r$ and $Deltatheta$ (i.e. $dr,dtheta$) we can visualise the area as a rectangle of side length $dr$ and $rdtheta$. Hence the area is $rdrdtheta$
    $endgroup$
    – Henry Lee
    15 hours ago












  • $begingroup$
    You are asking for a rigorous proof, but you haven't provided a rigorous definition of differentials. What you ask for isn't truly possible until you define differentials and their properties in a rigorous manner.
    $endgroup$
    – Brevan Ellefsen
    7 hours ago
















5












$begingroup$


I've seen the same question as above for both the geometric derivation of polar coordinates and the x-y transformation of polar coordinates. The first answer states that:



"In the geometric approach, dr2=0 as it is not only small but also symmetric (see here)." And links to a wikipedia article on exterior algebra. Could someone clarify this for me? To reiterate:



Given the polar coordinates of a 'circular wedge'
Geometrically, the exact area would be
$$frac{(r+dr)^2dθ}{2}−frac{r^2dθ}{2}$$
$$=(r+frac{dr}{2})drdθ$$
$$= r dr dtheta + frac{dr^2 dtheta}{2}$$
How do we get rid of $frac{dr^2dθ}{2}$? Why are we allowed to consider it insiginficant to the point where we can ignore it as opposed to keeping the tiny values of $dr$ and $dtheta$






calculus integration polar-coordinates







share|cite|improve this question







New contributor




user2471881 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.







$endgroup$








  • 1




    $begingroup$
    at small enough $Delta r$ and $Deltatheta$ (i.e. $dr,dtheta$) we can visualise the area as a rectangle of side length $dr$ and $rdtheta$. Hence the area is $rdrdtheta$
    $endgroup$
    – Henry Lee
    15 hours ago












  • $begingroup$
    You are asking for a rigorous proof, but you haven't provided a rigorous definition of differentials. What you ask for isn't truly possible until you define differentials and their properties in a rigorous manner.
    $endgroup$
    – Brevan Ellefsen
    7 hours ago














5












5








5


3



$begingroup$


I've seen the same question as above for both the geometric derivation of polar coordinates and the x-y transformation of polar coordinates. The first answer states that:



"In the geometric approach, dr2=0 as it is not only small but also symmetric (see here)." And links to a wikipedia article on exterior algebra. Could someone clarify this for me? To reiterate:



Given the polar coordinates of a 'circular wedge'
Geometrically, the exact area would be
$$frac{(r+dr)^2dθ}{2}−frac{r^2dθ}{2}$$
$$=(r+frac{dr}{2})drdθ$$
$$= r dr dtheta + frac{dr^2 dtheta}{2}$$
How do we get rid of $frac{dr^2dθ}{2}$? Why are we allowed to consider it insiginficant to the point where we can ignore it as opposed to keeping the tiny values of $dr$ and $dtheta$






calculus integration polar-coordinates







share|cite|improve this question







New contributor




user2471881 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.







$endgroup$




I've seen the same question as above for both the geometric derivation of polar coordinates and the x-y transformation of polar coordinates. The first answer states that:



"In the geometric approach, dr2=0 as it is not only small but also symmetric (see here)." And links to a wikipedia article on exterior algebra. Could someone clarify this for me? To reiterate:



Given the polar coordinates of a 'circular wedge'
Geometrically, the exact area would be
$$frac{(r+dr)^2dθ}{2}−frac{r^2dθ}{2}$$
$$=(r+frac{dr}{2})drdθ$$
$$= r dr dtheta + frac{dr^2 dtheta}{2}$$
How do we get rid of $frac{dr^2dθ}{2}$? Why are we allowed to consider it insiginficant to the point where we can ignore it as opposed to keeping the tiny values of $dr$ and $dtheta$






calculus integration polar-coordinates




calculus integration polar-coordinates






share|cite|improve this question







New contributor




user2471881 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.











share|cite|improve this question







New contributor




user2471881 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.









share|cite|improve this question




share|cite|improve this question






New contributor




user2471881 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.









asked 15 hours ago









user2471881user2471881

261




261




New contributor




user2471881 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.





New contributor





user2471881 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.






user2471881 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.








  • 1




    $begingroup$
    at small enough $Delta r$ and $Deltatheta$ (i.e. $dr,dtheta$) we can visualise the area as a rectangle of side length $dr$ and $rdtheta$. Hence the area is $rdrdtheta$
    $endgroup$
    – Henry Lee
    15 hours ago












  • $begingroup$
    You are asking for a rigorous proof, but you haven't provided a rigorous definition of differentials. What you ask for isn't truly possible until you define differentials and their properties in a rigorous manner.
    $endgroup$
    – Brevan Ellefsen
    7 hours ago














  • 1




    $begingroup$
    at small enough $Delta r$ and $Deltatheta$ (i.e. $dr,dtheta$) we can visualise the area as a rectangle of side length $dr$ and $rdtheta$. Hence the area is $rdrdtheta$
    $endgroup$
    – Henry Lee
    15 hours ago












  • $begingroup$
    You are asking for a rigorous proof, but you haven't provided a rigorous definition of differentials. What you ask for isn't truly possible until you define differentials and their properties in a rigorous manner.
    $endgroup$
    – Brevan Ellefsen
    7 hours ago








1




1




$begingroup$
at small enough $Delta r$ and $Deltatheta$ (i.e. $dr,dtheta$) we can visualise the area as a rectangle of side length $dr$ and $rdtheta$. Hence the area is $rdrdtheta$
$endgroup$
– Henry Lee
15 hours ago






$begingroup$
at small enough $Delta r$ and $Deltatheta$ (i.e. $dr,dtheta$) we can visualise the area as a rectangle of side length $dr$ and $rdtheta$. Hence the area is $rdrdtheta$
$endgroup$
– Henry Lee
15 hours ago














$begingroup$
You are asking for a rigorous proof, but you haven't provided a rigorous definition of differentials. What you ask for isn't truly possible until you define differentials and their properties in a rigorous manner.
$endgroup$
– Brevan Ellefsen
7 hours ago




$begingroup$
You are asking for a rigorous proof, but you haven't provided a rigorous definition of differentials. What you ask for isn't truly possible until you define differentials and their properties in a rigorous manner.
$endgroup$
– Brevan Ellefsen
7 hours ago










3 Answers
3






active

oldest

votes


















6












$begingroup$

The meaning of $dA=r dr dtheta$ is that when you integrate over a region with respect to $dA$, you get the same result as you do by parametrizing it in polar coordinates and integrating with respect to the differential $r dr d theta$.



Thus your question (because $dtheta$ is not a problem) reduces to showing that "integrating" against a differential like "$(dr)^2$" gives zero. What this actually means is that sums of the form $S=sum_i f(r_i) (Delta r)_i^2$ should all go to zero as you refine the partition.



For bounded $f$ for example $|S| leq MLdelta$ where $M$ is the bound on $|f|$, $L$ is the total length of the interval, and $delta$ is the longest of the $(Delta r)_i$'s. This indeed goes to zero as $delta to 0$.



The point can be understood without inspecting all the details by just counting how many terms there are (call that $n$) and how small the individual terms are relative to that (which is on the order of $1/n^2$).






share|cite|improve this answer











$endgroup$





















    3












    $begingroup$

    $$lim_{dtheta,drto0}frac{r,dr,dtheta+frac12dr^2dtheta}{dr,dtheta}=lim_{dtheta,drto0}(r+tfrac12dr)=r.$$






    share|cite|improve this answer









    $endgroup$





















      0












      $begingroup$

      If we take $dr$ to be very small then $dr^2$ is so much smaller than $dr$ that it can be ignored. More rigorously we have
      $$lim_{drto 0} frac{dr^2}{dr}= lim_{drto 0} dr = 0$$






      share|cite|improve this answer









      $endgroup$













      • $begingroup$
        "more rigorously we have [...]": proceeds to cancel out infinitesimals
        $endgroup$
        – FreeSalad
        5 hours ago













      Your Answer





      StackExchange.ifUsing("editor", function () {
      return StackExchange.using("mathjaxEditing", function () {
      StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
      StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
      });
      });
      }, "mathjax-editing");

      StackExchange.ready(function() {
      var channelOptions = {
      tags: "".split(" "),
      id: "69"
      };
      initTagRenderer("".split(" "), "".split(" "), channelOptions);

      StackExchange.using("externalEditor", function() {
      // Have to fire editor after snippets, if snippets enabled
      if (StackExchange.settings.snippets.snippetsEnabled) {
      StackExchange.using("snippets", function() {
      createEditor();
      });
      }
      else {
      createEditor();
      }
      });

      function createEditor() {
      StackExchange.prepareEditor({
      heartbeatType: 'answer',
      autoActivateHeartbeat: false,
      convertImagesToLinks: true,
      noModals: true,
      showLowRepImageUploadWarning: true,
      reputationToPostImages: 10,
      bindNavPrevention: true,
      postfix: "",
      imageUploader: {
      brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
      contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
      allowUrls: true
      },
      noCode: true, onDemand: true,
      discardSelector: ".discard-answer"
      ,immediatelyShowMarkdownHelp:true
      });


      }
      });






      user2471881 is a new contributor. Be nice, and check out our Code of Conduct.










      draft saved

      draft discarded


















      StackExchange.ready(
      function () {
      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3118964%2frigorous-geometric-proof-that-da-rdrd%25ce%25b8%23new-answer', 'question_page');
      }
      );

      Post as a guest















      Required, but never shown

























      3 Answers
      3






      active

      oldest

      votes








      3 Answers
      3






      active

      oldest

      votes









      active

      oldest

      votes






      active

      oldest

      votes









      6












      $begingroup$

      The meaning of $dA=r dr dtheta$ is that when you integrate over a region with respect to $dA$, you get the same result as you do by parametrizing it in polar coordinates and integrating with respect to the differential $r dr d theta$.



      Thus your question (because $dtheta$ is not a problem) reduces to showing that "integrating" against a differential like "$(dr)^2$" gives zero. What this actually means is that sums of the form $S=sum_i f(r_i) (Delta r)_i^2$ should all go to zero as you refine the partition.



      For bounded $f$ for example $|S| leq MLdelta$ where $M$ is the bound on $|f|$, $L$ is the total length of the interval, and $delta$ is the longest of the $(Delta r)_i$'s. This indeed goes to zero as $delta to 0$.



      The point can be understood without inspecting all the details by just counting how many terms there are (call that $n$) and how small the individual terms are relative to that (which is on the order of $1/n^2$).






      share|cite|improve this answer











      $endgroup$


















        6












        $begingroup$

        The meaning of $dA=r dr dtheta$ is that when you integrate over a region with respect to $dA$, you get the same result as you do by parametrizing it in polar coordinates and integrating with respect to the differential $r dr d theta$.



        Thus your question (because $dtheta$ is not a problem) reduces to showing that "integrating" against a differential like "$(dr)^2$" gives zero. What this actually means is that sums of the form $S=sum_i f(r_i) (Delta r)_i^2$ should all go to zero as you refine the partition.



        For bounded $f$ for example $|S| leq MLdelta$ where $M$ is the bound on $|f|$, $L$ is the total length of the interval, and $delta$ is the longest of the $(Delta r)_i$'s. This indeed goes to zero as $delta to 0$.



        The point can be understood without inspecting all the details by just counting how many terms there are (call that $n$) and how small the individual terms are relative to that (which is on the order of $1/n^2$).






        share|cite|improve this answer











        $endgroup$
















          6












          6








          6





          $begingroup$

          The meaning of $dA=r dr dtheta$ is that when you integrate over a region with respect to $dA$, you get the same result as you do by parametrizing it in polar coordinates and integrating with respect to the differential $r dr d theta$.



          Thus your question (because $dtheta$ is not a problem) reduces to showing that "integrating" against a differential like "$(dr)^2$" gives zero. What this actually means is that sums of the form $S=sum_i f(r_i) (Delta r)_i^2$ should all go to zero as you refine the partition.



          For bounded $f$ for example $|S| leq MLdelta$ where $M$ is the bound on $|f|$, $L$ is the total length of the interval, and $delta$ is the longest of the $(Delta r)_i$'s. This indeed goes to zero as $delta to 0$.



          The point can be understood without inspecting all the details by just counting how many terms there are (call that $n$) and how small the individual terms are relative to that (which is on the order of $1/n^2$).






          share|cite|improve this answer











          $endgroup$



          The meaning of $dA=r dr dtheta$ is that when you integrate over a region with respect to $dA$, you get the same result as you do by parametrizing it in polar coordinates and integrating with respect to the differential $r dr d theta$.



          Thus your question (because $dtheta$ is not a problem) reduces to showing that "integrating" against a differential like "$(dr)^2$" gives zero. What this actually means is that sums of the form $S=sum_i f(r_i) (Delta r)_i^2$ should all go to zero as you refine the partition.



          For bounded $f$ for example $|S| leq MLdelta$ where $M$ is the bound on $|f|$, $L$ is the total length of the interval, and $delta$ is the longest of the $(Delta r)_i$'s. This indeed goes to zero as $delta to 0$.



          The point can be understood without inspecting all the details by just counting how many terms there are (call that $n$) and how small the individual terms are relative to that (which is on the order of $1/n^2$).







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited 12 hours ago

























          answered 15 hours ago









          IanIan

          68.3k25388




          68.3k25388























              3












              $begingroup$

              $$lim_{dtheta,drto0}frac{r,dr,dtheta+frac12dr^2dtheta}{dr,dtheta}=lim_{dtheta,drto0}(r+tfrac12dr)=r.$$






              share|cite|improve this answer









              $endgroup$


















                3












                $begingroup$

                $$lim_{dtheta,drto0}frac{r,dr,dtheta+frac12dr^2dtheta}{dr,dtheta}=lim_{dtheta,drto0}(r+tfrac12dr)=r.$$






                share|cite|improve this answer









                $endgroup$
















                  3












                  3








                  3





                  $begingroup$

                  $$lim_{dtheta,drto0}frac{r,dr,dtheta+frac12dr^2dtheta}{dr,dtheta}=lim_{dtheta,drto0}(r+tfrac12dr)=r.$$






                  share|cite|improve this answer









                  $endgroup$



                  $$lim_{dtheta,drto0}frac{r,dr,dtheta+frac12dr^2dtheta}{dr,dtheta}=lim_{dtheta,drto0}(r+tfrac12dr)=r.$$







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered 15 hours ago









                  Yves DaoustYves Daoust

                  128k675227




                  128k675227























                      0












                      $begingroup$

                      If we take $dr$ to be very small then $dr^2$ is so much smaller than $dr$ that it can be ignored. More rigorously we have
                      $$lim_{drto 0} frac{dr^2}{dr}= lim_{drto 0} dr = 0$$






                      share|cite|improve this answer









                      $endgroup$













                      • $begingroup$
                        "more rigorously we have [...]": proceeds to cancel out infinitesimals
                        $endgroup$
                        – FreeSalad
                        5 hours ago


















                      0












                      $begingroup$

                      If we take $dr$ to be very small then $dr^2$ is so much smaller than $dr$ that it can be ignored. More rigorously we have
                      $$lim_{drto 0} frac{dr^2}{dr}= lim_{drto 0} dr = 0$$






                      share|cite|improve this answer









                      $endgroup$













                      • $begingroup$
                        "more rigorously we have [...]": proceeds to cancel out infinitesimals
                        $endgroup$
                        – FreeSalad
                        5 hours ago
















                      0












                      0








                      0





                      $begingroup$

                      If we take $dr$ to be very small then $dr^2$ is so much smaller than $dr$ that it can be ignored. More rigorously we have
                      $$lim_{drto 0} frac{dr^2}{dr}= lim_{drto 0} dr = 0$$






                      share|cite|improve this answer









                      $endgroup$



                      If we take $dr$ to be very small then $dr^2$ is so much smaller than $dr$ that it can be ignored. More rigorously we have
                      $$lim_{drto 0} frac{dr^2}{dr}= lim_{drto 0} dr = 0$$







                      share|cite|improve this answer












                      share|cite|improve this answer



                      share|cite|improve this answer










                      answered 15 hours ago









                      Peter ForemanPeter Foreman

                      2,167113




                      2,167113












                      • $begingroup$
                        "more rigorously we have [...]": proceeds to cancel out infinitesimals
                        $endgroup$
                        – FreeSalad
                        5 hours ago




















                      • $begingroup$
                        "more rigorously we have [...]": proceeds to cancel out infinitesimals
                        $endgroup$
                        – FreeSalad
                        5 hours ago


















                      $begingroup$
                      "more rigorously we have [...]": proceeds to cancel out infinitesimals
                      $endgroup$
                      – FreeSalad
                      5 hours ago






                      $begingroup$
                      "more rigorously we have [...]": proceeds to cancel out infinitesimals
                      $endgroup$
                      – FreeSalad
                      5 hours ago












                      user2471881 is a new contributor. Be nice, and check out our Code of Conduct.










                      draft saved

                      draft discarded


















                      user2471881 is a new contributor. Be nice, and check out our Code of Conduct.













                      user2471881 is a new contributor. Be nice, and check out our Code of Conduct.












                      user2471881 is a new contributor. Be nice, and check out our Code of Conduct.
















                      Thanks for contributing an answer to Mathematics Stack Exchange!


                      • Please be sure to answer the question. Provide details and share your research!

                      But avoid …



                      • Asking for help, clarification, or responding to other answers.

                      • Making statements based on opinion; back them up with references or personal experience.


                      Use MathJax to format equations. MathJax reference.


                      To learn more, see our tips on writing great answers.




                      draft saved


                      draft discarded














                      StackExchange.ready(
                      function () {
                      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3118964%2frigorous-geometric-proof-that-da-rdrd%25ce%25b8%23new-answer', 'question_page');
                      }
                      );

                      Post as a guest















                      Required, but never shown





















































                      Required, but never shown














                      Required, but never shown












                      Required, but never shown







                      Required, but never shown

































                      Required, but never shown














                      Required, but never shown












                      Required, but never shown







                      Required, but never shown







                      -

                      Popular posts from this blog

                      How to label and detect the document text images

                      Image
                      1 $begingroup$ This is what I mean as document text image: I want to label the texts in image as separate blocks and my model should detect these labels as classes. NOTE: This is how the end result should be like: The labels like Block 1, Block 2, Block 3,.. should be Logo, Title, Date,.. Others, etc. Work done: First approach : I tried to implement this method via Object Detection, it didn't work. It didn't even detect any text. Second approach : Then I tried it using PixelLink. As this model is build for scene text detection, it detected each and every text in the image. But this method can detect multiple lines of text if the threshold values are increased. But I have no idea how do I add labels to the text blocks. PIXEL_CLS_WEIGHT_all_ones = 'PIXEL_CLS_WEIGHT_all_ones' PIXEL_C...
                      Read more

                      Vallis Paradisi

                      Image
                      Coordinata: .mw-parser-output .geo-default,.mw-parser-output .geo-dms,.mw-parser-output .geo-dec{display:inline}.mw-parser-output .geo-nondefault,.mw-parser-output .geo-multi-punct{display:none}.mw-parser-output .longitude,.mw-parser-output .latitude{white-space:nowrap} 33°03′S 71°37′W  /  33.05°S 71.617°W  / -33.05; -71.617 Vallis Paradisi Res apud Vicidata repertae: Civitas : Chilia Numerus incolarum : 296 655 Zona horaria : UTC-4 Situs interretialis Nomen officiale : Valparaíso Gubernium Consilium : municipal council of Valparaíso Geographia Superficies : 401 600 000 Metrum quadratum Coniunctiones urbium Urbes gemellae : Ovetum , Badalona , Santa Fe , Ora longa , Sciamhaevum , Quantunia , Callao , Bat Yam , Melaka , Novorossiysk , Busan , Corduba , Odessa , Rosario , Malacca , Barcino , Soteropolis , Franciscopolis (California) , Guanajuato, Silao Tabula aut despectus Despectus in portum sinumque et urbem Vallis Paradisi Vallis Para...
                      Read more

                      Tabula Rosettana

                      Image
                      Tabula multilinguis Rosettana in Museo Britannico ostenditur. Tabula Rosettana, [1] etiam titulo OGIS 90 agnita, est stela decreto de rebus sacris in Aegypto anno 196 a.C.n. lato inscripta. Tabula iuxta Rosettam Aegypti, urbem in delta Nili et ad oram maris Mediterranei iacentem, anno 1799 a milite Francico reperta est. Inventio stelae, linguis duabus scripturisque tribus inscriptae, eruditis Instituti Aegypti statim nuntiata est; ibi enim iussu imperatoris Napoleonis eruditi omnium scientiarum (sub aegide Commissionis Scientiarum et Artium) properaverant cum expeditione Francica. Qua a Britannis mox debellata, tabula Rosettana Londinium missa hodie apud Museum Britannicum iacet. Textus Graecus cito lectus interpretationi textuum Aegyptiorum (in formis hieroglyphica et demotica expressorum) gradatim adiuvit. Denique textum plene interpretatus est Ioannes Franciscus Champollion. Ab opere eruditorum cumulativo coepit hodiernus scripturae hieroglyphicae linguaeque Aegyptiae a...
                      Read more