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
$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?
definite-integrals spherical-coordinates
$endgroup$
add a comment |
$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?
definite-integrals spherical-coordinates
$endgroup$
add a comment |
$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?
definite-integrals spherical-coordinates
$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
definite-integrals spherical-coordinates
asked Apr 2 at 8:57
darkshoxxdarkshoxx
11
11
add a comment |
add a comment |
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
);
);
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
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.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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