Gauss Theorem, constant flow through semisphere Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 23, 2019 at 23:30 UTC (7:30pm US/Eastern)Projection of Gaussian in Spherical CoordinatesLaplace-Beltrami on a sphereFinding a mistake in the computation of a double integral in polar coordinatesSolve $I=iiintlimits_Omega z^2 dv$ using spherical coordinate system, $Omega: x^2 +y^2 + z^2 le R^2 cap x^2 +y^2 + z^2 le 2Rz$Finding the volume of Torus, Jacobian of spherical substitution.Stokes theorem question: finding the right modeling approach and choosing between polar and cartesian coordinatesFind the volume of the region inside both the sphere $x^2+y^2+z^2=4$ and the cylinder $x^2+y^2=1$Trying to understand better the construction of the $n$-sphereEvaluating the Surface Integral on a Sphere for a scalar function (integral is involved in PDE)Quadruple Integral with 4-Spherical coordinates

Does the Black Tentacles spell do damage twice at the start of turn to an already restrained creature?

Why is std::move not [[nodiscard]] in C++20?

NERDTreeMenu Remapping

White walkers, cemeteries and wights

Weaponising the Grasp-at-a-Distance spell

Co-worker has annoying ringtone

How to force a browser when connecting to a specific domain to be https only using only the client machine?

How do living politicians protect their readily obtainable signatures from misuse?

What is the difference between a "ranged attack" and a "ranged weapon attack"?

How to ternary Plot3D a function

What does 丫 mean? 丫是什么意思?

Moving a wrapfig vertically to encroach partially on a subsection title

Why is a lens darker than other ones when applying the same settings?

Simple Http Server

What is the origin of 落第?

Relating to the President and obstruction, were Mueller's conclusions preordained?

My mentor says to set image to Fine instead of RAW — how is this different from JPG?

What initially awakened the Balrog?

Putting class ranking in CV, but against dept guidelines

Are the endpoints of the domain of a function counted as critical points?

What does Turing mean by this statement?

New Order #6: Easter Egg

If Windows 7 doesn't support WSL, then what is "Subsystem for UNIX-based Applications"?

Printing attributes of selection in ArcPy?



Gauss Theorem, constant flow through semisphere



Announcing the arrival of Valued Associate #679: Cesar Manara
Planned maintenance scheduled April 23, 2019 at 23:30 UTC (7:30pm US/Eastern)Projection of Gaussian in Spherical CoordinatesLaplace-Beltrami on a sphereFinding a mistake in the computation of a double integral in polar coordinatesSolve $I=iiintlimits_Omega z^2 dv$ using spherical coordinate system, $Omega: x^2 +y^2 + z^2 le R^2 cap x^2 +y^2 + z^2 le 2Rz$Finding the volume of Torus, Jacobian of spherical substitution.Stokes theorem question: finding the right modeling approach and choosing between polar and cartesian coordinatesFind the volume of the region inside both the sphere $x^2+y^2+z^2=4$ and the cylinder $x^2+y^2=1$Trying to understand better the construction of the $n$-sphereEvaluating the Surface Integral on a Sphere for a scalar function (integral is involved in PDE)Quadruple Integral with 4-Spherical coordinates










0












$begingroup$


So, I'm a bit rusty when it comes to multidimensional integrals, but a friend said in an exam protocol there was the question "calculate the flow(flux?) of a constant vector field through the boundary of a closed semisphere." (vague translation).



So my thought was, a constant vector field (in 3d) looks like this:
$F=(x_0,y_0,z_0)^T$, in particular the divergence is zero, so
$$int_partial Semisphere F cdot nu dA=int_Semispherediv F d V=int_Semisphere0dV=0.$$



Then I wanted to actually put some work into it and show that it's zero without Gauss' Theorem. So I said the boundary of the Semisphere can be written as the union of the upper hemisphere (where by "up" I mean $z$-Direction) $U$ with



$$U=(x,y,z)^T$$
and a bottom disc $D$ defined as
$$D= z=0,x^2+y^2<1$$
and their boundary, which is a 2-d-nullset so it can be ignored when integrating. (We assume the Radius to be 1, centered at origin).



As we're pointing from the inside to the outside, the normal Field $nu_D$ surely is $(0,0,-1)^T$ so we have
$$int_D Fcdot nu_D dA=int_D -z_0 dA=-z_0Vol_2(D)=-z_0pi.$$



So far so good. Now the hemisphere $U$ has a normal field of precisely $(x,y,z)^T$, as this point on that sphere is always perpendicular to the sphere and has length 1. With the help of the image on Wikipedia



https://de.wikipedia.org/wiki/Datei:Kugelkoord-def.svg



and the coordinate transform



$$x=sin(theta)cos(varphi)$$
$$y=sin(theta)sin(varphi)$$
$$z=cos(theta)$$



I thought it would be reasonable to get the desired hemisphere by either letting $varphi in [0,2pi]$ and $theta in [0,pi/2]$, which I'll call Version 1, or letting $varphi in [0,pi]$ and $theta in [-pi/2,pi/2]$, which I'll call version 2. If I've done nothing wrong so far, the result should be $pi*z_0 $ in both cases, since they must add up to 0, right? So let's start with version 1:



$$int_U F cdot nu_U dS=int_U x x_0 + y y_0 + z z_0 dS=$$
$$=int_theta in [0,pi/2],varphi in [0,2pi]sin(varphi)[x_0sin(theta)cos(varphi) + y_0sin(theta)sin(varphi)+z_0cos(theta)]dvarphi dtheta.$$



Now $sin(x)*cos(x)$ as well as $sin(x)$ have $2pi$ periodic antiderivatives, so these terms vanish (already bad) and we're left with



$$y_0int_0^pi/2sin(theta)dtheta int_0^2pisin(varphi)sin(varphi)dvarphi=y_0 cdot 1 cdotpi$$



because I can't be bothered not to put it into wolfram alpha. Close, but no cigar.



So, let's try version 2:



$$int_theta in [-pi/2,pi/2],varphi in [0,pi]sin(varphi)[x_0sin(theta)cos(varphi) + y_0sin(theta)sin(varphi)+z_0cos(theta)]dvarphi dtheta$$



where we integrate the odd sin-Function around the origin (in the $theta$ integral), so only the $z$-Term remains. So now we're stuck with



$$z_0 int_-pi/2^pi/2cos(theta)dtheta int_0^pi sin(varphi)dvarphi=z_0 cdot 2 cdot 2= 4z_0.$$



Funnily enough, that is numerically quite close, but still not right. I must have messed up several times. What am I doing wrong?










share|cite|improve this question









$endgroup$
















    0












    $begingroup$


    So, I'm a bit rusty when it comes to multidimensional integrals, but a friend said in an exam protocol there was the question "calculate the flow(flux?) of a constant vector field through the boundary of a closed semisphere." (vague translation).



    So my thought was, a constant vector field (in 3d) looks like this:
    $F=(x_0,y_0,z_0)^T$, in particular the divergence is zero, so
    $$int_partial Semisphere F cdot nu dA=int_Semispherediv F d V=int_Semisphere0dV=0.$$



    Then I wanted to actually put some work into it and show that it's zero without Gauss' Theorem. So I said the boundary of the Semisphere can be written as the union of the upper hemisphere (where by "up" I mean $z$-Direction) $U$ with



    $$U=(x,y,z)^T$$
    and a bottom disc $D$ defined as
    $$D= z=0,x^2+y^2<1$$
    and their boundary, which is a 2-d-nullset so it can be ignored when integrating. (We assume the Radius to be 1, centered at origin).



    As we're pointing from the inside to the outside, the normal Field $nu_D$ surely is $(0,0,-1)^T$ so we have
    $$int_D Fcdot nu_D dA=int_D -z_0 dA=-z_0Vol_2(D)=-z_0pi.$$



    So far so good. Now the hemisphere $U$ has a normal field of precisely $(x,y,z)^T$, as this point on that sphere is always perpendicular to the sphere and has length 1. With the help of the image on Wikipedia



    https://de.wikipedia.org/wiki/Datei:Kugelkoord-def.svg



    and the coordinate transform



    $$x=sin(theta)cos(varphi)$$
    $$y=sin(theta)sin(varphi)$$
    $$z=cos(theta)$$



    I thought it would be reasonable to get the desired hemisphere by either letting $varphi in [0,2pi]$ and $theta in [0,pi/2]$, which I'll call Version 1, or letting $varphi in [0,pi]$ and $theta in [-pi/2,pi/2]$, which I'll call version 2. If I've done nothing wrong so far, the result should be $pi*z_0 $ in both cases, since they must add up to 0, right? So let's start with version 1:



    $$int_U F cdot nu_U dS=int_U x x_0 + y y_0 + z z_0 dS=$$
    $$=int_theta in [0,pi/2],varphi in [0,2pi]sin(varphi)[x_0sin(theta)cos(varphi) + y_0sin(theta)sin(varphi)+z_0cos(theta)]dvarphi dtheta.$$



    Now $sin(x)*cos(x)$ as well as $sin(x)$ have $2pi$ periodic antiderivatives, so these terms vanish (already bad) and we're left with



    $$y_0int_0^pi/2sin(theta)dtheta int_0^2pisin(varphi)sin(varphi)dvarphi=y_0 cdot 1 cdotpi$$



    because I can't be bothered not to put it into wolfram alpha. Close, but no cigar.



    So, let's try version 2:



    $$int_theta in [-pi/2,pi/2],varphi in [0,pi]sin(varphi)[x_0sin(theta)cos(varphi) + y_0sin(theta)sin(varphi)+z_0cos(theta)]dvarphi dtheta$$



    where we integrate the odd sin-Function around the origin (in the $theta$ integral), so only the $z$-Term remains. So now we're stuck with



    $$z_0 int_-pi/2^pi/2cos(theta)dtheta int_0^pi sin(varphi)dvarphi=z_0 cdot 2 cdot 2= 4z_0.$$



    Funnily enough, that is numerically quite close, but still not right. I must have messed up several times. What am I doing wrong?










    share|cite|improve this question









    $endgroup$














      0












      0








      0





      $begingroup$


      So, I'm a bit rusty when it comes to multidimensional integrals, but a friend said in an exam protocol there was the question "calculate the flow(flux?) of a constant vector field through the boundary of a closed semisphere." (vague translation).



      So my thought was, a constant vector field (in 3d) looks like this:
      $F=(x_0,y_0,z_0)^T$, in particular the divergence is zero, so
      $$int_partial Semisphere F cdot nu dA=int_Semispherediv F d V=int_Semisphere0dV=0.$$



      Then I wanted to actually put some work into it and show that it's zero without Gauss' Theorem. So I said the boundary of the Semisphere can be written as the union of the upper hemisphere (where by "up" I mean $z$-Direction) $U$ with



      $$U=(x,y,z)^T$$
      and a bottom disc $D$ defined as
      $$D= z=0,x^2+y^2<1$$
      and their boundary, which is a 2-d-nullset so it can be ignored when integrating. (We assume the Radius to be 1, centered at origin).



      As we're pointing from the inside to the outside, the normal Field $nu_D$ surely is $(0,0,-1)^T$ so we have
      $$int_D Fcdot nu_D dA=int_D -z_0 dA=-z_0Vol_2(D)=-z_0pi.$$



      So far so good. Now the hemisphere $U$ has a normal field of precisely $(x,y,z)^T$, as this point on that sphere is always perpendicular to the sphere and has length 1. With the help of the image on Wikipedia



      https://de.wikipedia.org/wiki/Datei:Kugelkoord-def.svg



      and the coordinate transform



      $$x=sin(theta)cos(varphi)$$
      $$y=sin(theta)sin(varphi)$$
      $$z=cos(theta)$$



      I thought it would be reasonable to get the desired hemisphere by either letting $varphi in [0,2pi]$ and $theta in [0,pi/2]$, which I'll call Version 1, or letting $varphi in [0,pi]$ and $theta in [-pi/2,pi/2]$, which I'll call version 2. If I've done nothing wrong so far, the result should be $pi*z_0 $ in both cases, since they must add up to 0, right? So let's start with version 1:



      $$int_U F cdot nu_U dS=int_U x x_0 + y y_0 + z z_0 dS=$$
      $$=int_theta in [0,pi/2],varphi in [0,2pi]sin(varphi)[x_0sin(theta)cos(varphi) + y_0sin(theta)sin(varphi)+z_0cos(theta)]dvarphi dtheta.$$



      Now $sin(x)*cos(x)$ as well as $sin(x)$ have $2pi$ periodic antiderivatives, so these terms vanish (already bad) and we're left with



      $$y_0int_0^pi/2sin(theta)dtheta int_0^2pisin(varphi)sin(varphi)dvarphi=y_0 cdot 1 cdotpi$$



      because I can't be bothered not to put it into wolfram alpha. Close, but no cigar.



      So, let's try version 2:



      $$int_theta in [-pi/2,pi/2],varphi in [0,pi]sin(varphi)[x_0sin(theta)cos(varphi) + y_0sin(theta)sin(varphi)+z_0cos(theta)]dvarphi dtheta$$



      where we integrate the odd sin-Function around the origin (in the $theta$ integral), so only the $z$-Term remains. So now we're stuck with



      $$z_0 int_-pi/2^pi/2cos(theta)dtheta int_0^pi sin(varphi)dvarphi=z_0 cdot 2 cdot 2= 4z_0.$$



      Funnily enough, that is numerically quite close, but still not right. I must have messed up several times. What am I doing wrong?










      share|cite|improve this question









      $endgroup$




      So, I'm a bit rusty when it comes to multidimensional integrals, but a friend said in an exam protocol there was the question "calculate the flow(flux?) of a constant vector field through the boundary of a closed semisphere." (vague translation).



      So my thought was, a constant vector field (in 3d) looks like this:
      $F=(x_0,y_0,z_0)^T$, in particular the divergence is zero, so
      $$int_partial Semisphere F cdot nu dA=int_Semispherediv F d V=int_Semisphere0dV=0.$$



      Then I wanted to actually put some work into it and show that it's zero without Gauss' Theorem. So I said the boundary of the Semisphere can be written as the union of the upper hemisphere (where by "up" I mean $z$-Direction) $U$ with



      $$U=(x,y,z)^T$$
      and a bottom disc $D$ defined as
      $$D= z=0,x^2+y^2<1$$
      and their boundary, which is a 2-d-nullset so it can be ignored when integrating. (We assume the Radius to be 1, centered at origin).



      As we're pointing from the inside to the outside, the normal Field $nu_D$ surely is $(0,0,-1)^T$ so we have
      $$int_D Fcdot nu_D dA=int_D -z_0 dA=-z_0Vol_2(D)=-z_0pi.$$



      So far so good. Now the hemisphere $U$ has a normal field of precisely $(x,y,z)^T$, as this point on that sphere is always perpendicular to the sphere and has length 1. With the help of the image on Wikipedia



      https://de.wikipedia.org/wiki/Datei:Kugelkoord-def.svg



      and the coordinate transform



      $$x=sin(theta)cos(varphi)$$
      $$y=sin(theta)sin(varphi)$$
      $$z=cos(theta)$$



      I thought it would be reasonable to get the desired hemisphere by either letting $varphi in [0,2pi]$ and $theta in [0,pi/2]$, which I'll call Version 1, or letting $varphi in [0,pi]$ and $theta in [-pi/2,pi/2]$, which I'll call version 2. If I've done nothing wrong so far, the result should be $pi*z_0 $ in both cases, since they must add up to 0, right? So let's start with version 1:



      $$int_U F cdot nu_U dS=int_U x x_0 + y y_0 + z z_0 dS=$$
      $$=int_theta in [0,pi/2],varphi in [0,2pi]sin(varphi)[x_0sin(theta)cos(varphi) + y_0sin(theta)sin(varphi)+z_0cos(theta)]dvarphi dtheta.$$



      Now $sin(x)*cos(x)$ as well as $sin(x)$ have $2pi$ periodic antiderivatives, so these terms vanish (already bad) and we're left with



      $$y_0int_0^pi/2sin(theta)dtheta int_0^2pisin(varphi)sin(varphi)dvarphi=y_0 cdot 1 cdotpi$$



      because I can't be bothered not to put it into wolfram alpha. Close, but no cigar.



      So, let's try version 2:



      $$int_theta in [-pi/2,pi/2],varphi in [0,pi]sin(varphi)[x_0sin(theta)cos(varphi) + y_0sin(theta)sin(varphi)+z_0cos(theta)]dvarphi dtheta$$



      where we integrate the odd sin-Function around the origin (in the $theta$ integral), so only the $z$-Term remains. So now we're stuck with



      $$z_0 int_-pi/2^pi/2cos(theta)dtheta int_0^pi sin(varphi)dvarphi=z_0 cdot 2 cdot 2= 4z_0.$$



      Funnily enough, that is numerically quite close, but still not right. I must have messed up several times. What am I doing wrong?







      definite-integrals spherical-coordinates






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked Apr 2 at 8:57









      darkshoxxdarkshoxx

      11




      11




















          0






          active

          oldest

          votes












          Your Answer








          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
          );



          );













          draft saved

          draft discarded


















          StackExchange.ready(
          function ()
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3171638%2fgauss-theorem-constant-flow-through-semisphere%23new-answer', 'question_page');

          );

          Post as a guest















          Required, but never shown

























          0






          active

          oldest

          votes








          0






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes















          draft saved

          draft discarded
















































          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%2f3171638%2fgauss-theorem-constant-flow-through-semisphere%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

          Triangular numbers and gcdProving sum of a set is $0 pmod n$ if $n$ is odd, or $fracn2 pmod n$ if $n$ is even?Is greatest common divisor of two numbers really their smallest linear combination?GCD, LCM RelationshipProve a set of nonnegative integers with greatest common divisor 1 and closed under addition has all but finite many nonnegative integers.all pairs of a and b in an equation containing gcdTriangular Numbers Modulo $k$ - Hit All Values?Understanding the Existence and Uniqueness of the GCDGCD and LCM with logical symbolsThe greatest common divisor of two positive integers less than 100 is equal to 3. Their least common multiple is twelve times one of the integers.Suppose that for all integers $x$, $x|a$ and $x|b$ if and only if $x|c$. Then $c = gcd(a,b)$Which is the gcd of 2 numbers which are multiplied and the result is 600000?

          Ingelân Ynhâld Etymology | Geografy | Skiednis | Polityk en bestjoer | Ekonomy | Demografy | Kultuer | Klimaat | Sjoch ek | Keppelings om utens | Boarnen, noaten en referinsjes Navigaasjemenuwww.gov.ukOffisjele webside fan it regear fan it Feriene KeninkrykOffisjele webside fan it Britske FerkearsburoNederlânsktalige ynformaasje fan it Britske FerkearsburoOffisjele webside fan English Heritage, de organisaasje dy't him ynset foar it behâld fan it Ingelske kultuergoedYnwennertallen fan alle Britske stêden út 'e folkstelling fan 2011Notes en References, op dizze sideEngland

          Հադիս Բովանդակություն Անվանում և նշանակություն | Դասակարգում | Աղբյուրներ | Նավարկման ցանկ