another proof of divergence theorem
$begingroup$
The following is a simple proof of divergence theorem :
$$
begin{align}
& phantom{={}} iiint (nablacdot F) , dV \
& = iiint frac{(∂F_x)}{∂x} , text{dx dy dz} + iiint frac{(∂F_y)}{∂y} , text{dy dx dz} + iiint frac{(∂F_z)}{∂z} text{dz dx dy} \
& =iint F_x, text{dy dz} + iint F_y , text{dx dz} + iint F_z text{dx dy} \
& =iint F_x dS_x +iint F_y , dS_y +iint F_z , dS_z
end{align}
$$
(since the projected area onto (for eg) $x$-$y$ plane is the $z$-component of area vector)
$$ =iint (F_x+F_y+F_z)cdot( dS_x+ dS_y+ dS_z) $$
$$ =iint Fcdot dS$$
Is this proof enough? Then why we use the long proof given in most textbooks?
multivariable-calculus
$endgroup$
add a comment |
$begingroup$
The following is a simple proof of divergence theorem :
$$
begin{align}
& phantom{={}} iiint (nablacdot F) , dV \
& = iiint frac{(∂F_x)}{∂x} , text{dx dy dz} + iiint frac{(∂F_y)}{∂y} , text{dy dx dz} + iiint frac{(∂F_z)}{∂z} text{dz dx dy} \
& =iint F_x, text{dy dz} + iint F_y , text{dx dz} + iint F_z text{dx dy} \
& =iint F_x dS_x +iint F_y , dS_y +iint F_z , dS_z
end{align}
$$
(since the projected area onto (for eg) $x$-$y$ plane is the $z$-component of area vector)
$$ =iint (F_x+F_y+F_z)cdot( dS_x+ dS_y+ dS_z) $$
$$ =iint Fcdot dS$$
Is this proof enough? Then why we use the long proof given in most textbooks?
multivariable-calculus
$endgroup$
1
$begingroup$
Because what you've written doesn't mean anything, sadly.
$endgroup$
– Ted Shifrin
Oct 12 '13 at 14:58
1
$begingroup$
There is a problem in the very first step. To express a triple integral as a single iterated integral with, say, the order of integration $dx dy dz$, you must assume that the region of integration has the form $f(y,z) leq x leq g(y,z)$ for $y,z$ in some domain in the plane. This is rarely possible.
$endgroup$
– Paul Siegel
Oct 12 '13 at 14:59
1
$begingroup$
@PaulSiegel: Even if you assume the region is $x$-, $y$-, and $z$-"simple," this isn't a proof without a whole lot more.
$endgroup$
– Ted Shifrin
Oct 12 '13 at 15:00
$begingroup$
That said, any suitably nice region can be approximated arbitrarily well by the union of cubes, and some version of your calculation works on a cube. This is the idea behind many of those long proofs.
$endgroup$
– Paul Siegel
Oct 12 '13 at 15:01
1
$begingroup$
It looks more or less correct to me on a simple region. (Though the last step should be written out correctly using a parametrization of the boundary.)
$endgroup$
– Paul Siegel
Oct 12 '13 at 15:02
add a comment |
$begingroup$
The following is a simple proof of divergence theorem :
$$
begin{align}
& phantom{={}} iiint (nablacdot F) , dV \
& = iiint frac{(∂F_x)}{∂x} , text{dx dy dz} + iiint frac{(∂F_y)}{∂y} , text{dy dx dz} + iiint frac{(∂F_z)}{∂z} text{dz dx dy} \
& =iint F_x, text{dy dz} + iint F_y , text{dx dz} + iint F_z text{dx dy} \
& =iint F_x dS_x +iint F_y , dS_y +iint F_z , dS_z
end{align}
$$
(since the projected area onto (for eg) $x$-$y$ plane is the $z$-component of area vector)
$$ =iint (F_x+F_y+F_z)cdot( dS_x+ dS_y+ dS_z) $$
$$ =iint Fcdot dS$$
Is this proof enough? Then why we use the long proof given in most textbooks?
multivariable-calculus
$endgroup$
The following is a simple proof of divergence theorem :
$$
begin{align}
& phantom{={}} iiint (nablacdot F) , dV \
& = iiint frac{(∂F_x)}{∂x} , text{dx dy dz} + iiint frac{(∂F_y)}{∂y} , text{dy dx dz} + iiint frac{(∂F_z)}{∂z} text{dz dx dy} \
& =iint F_x, text{dy dz} + iint F_y , text{dx dz} + iint F_z text{dx dy} \
& =iint F_x dS_x +iint F_y , dS_y +iint F_z , dS_z
end{align}
$$
(since the projected area onto (for eg) $x$-$y$ plane is the $z$-component of area vector)
$$ =iint (F_x+F_y+F_z)cdot( dS_x+ dS_y+ dS_z) $$
$$ =iint Fcdot dS$$
Is this proof enough? Then why we use the long proof given in most textbooks?
multivariable-calculus
multivariable-calculus
edited Oct 12 '13 at 17:04
Michael Hardy
1
1
asked Oct 12 '13 at 14:47
faheemahmed400faheemahmed400
112
112
1
$begingroup$
Because what you've written doesn't mean anything, sadly.
$endgroup$
– Ted Shifrin
Oct 12 '13 at 14:58
1
$begingroup$
There is a problem in the very first step. To express a triple integral as a single iterated integral with, say, the order of integration $dx dy dz$, you must assume that the region of integration has the form $f(y,z) leq x leq g(y,z)$ for $y,z$ in some domain in the plane. This is rarely possible.
$endgroup$
– Paul Siegel
Oct 12 '13 at 14:59
1
$begingroup$
@PaulSiegel: Even if you assume the region is $x$-, $y$-, and $z$-"simple," this isn't a proof without a whole lot more.
$endgroup$
– Ted Shifrin
Oct 12 '13 at 15:00
$begingroup$
That said, any suitably nice region can be approximated arbitrarily well by the union of cubes, and some version of your calculation works on a cube. This is the idea behind many of those long proofs.
$endgroup$
– Paul Siegel
Oct 12 '13 at 15:01
1
$begingroup$
It looks more or less correct to me on a simple region. (Though the last step should be written out correctly using a parametrization of the boundary.)
$endgroup$
– Paul Siegel
Oct 12 '13 at 15:02
add a comment |
1
$begingroup$
Because what you've written doesn't mean anything, sadly.
$endgroup$
– Ted Shifrin
Oct 12 '13 at 14:58
1
$begingroup$
There is a problem in the very first step. To express a triple integral as a single iterated integral with, say, the order of integration $dx dy dz$, you must assume that the region of integration has the form $f(y,z) leq x leq g(y,z)$ for $y,z$ in some domain in the plane. This is rarely possible.
$endgroup$
– Paul Siegel
Oct 12 '13 at 14:59
1
$begingroup$
@PaulSiegel: Even if you assume the region is $x$-, $y$-, and $z$-"simple," this isn't a proof without a whole lot more.
$endgroup$
– Ted Shifrin
Oct 12 '13 at 15:00
$begingroup$
That said, any suitably nice region can be approximated arbitrarily well by the union of cubes, and some version of your calculation works on a cube. This is the idea behind many of those long proofs.
$endgroup$
– Paul Siegel
Oct 12 '13 at 15:01
1
$begingroup$
It looks more or less correct to me on a simple region. (Though the last step should be written out correctly using a parametrization of the boundary.)
$endgroup$
– Paul Siegel
Oct 12 '13 at 15:02
1
1
$begingroup$
Because what you've written doesn't mean anything, sadly.
$endgroup$
– Ted Shifrin
Oct 12 '13 at 14:58
$begingroup$
Because what you've written doesn't mean anything, sadly.
$endgroup$
– Ted Shifrin
Oct 12 '13 at 14:58
1
1
$begingroup$
There is a problem in the very first step. To express a triple integral as a single iterated integral with, say, the order of integration $dx dy dz$, you must assume that the region of integration has the form $f(y,z) leq x leq g(y,z)$ for $y,z$ in some domain in the plane. This is rarely possible.
$endgroup$
– Paul Siegel
Oct 12 '13 at 14:59
$begingroup$
There is a problem in the very first step. To express a triple integral as a single iterated integral with, say, the order of integration $dx dy dz$, you must assume that the region of integration has the form $f(y,z) leq x leq g(y,z)$ for $y,z$ in some domain in the plane. This is rarely possible.
$endgroup$
– Paul Siegel
Oct 12 '13 at 14:59
1
1
$begingroup$
@PaulSiegel: Even if you assume the region is $x$-, $y$-, and $z$-"simple," this isn't a proof without a whole lot more.
$endgroup$
– Ted Shifrin
Oct 12 '13 at 15:00
$begingroup$
@PaulSiegel: Even if you assume the region is $x$-, $y$-, and $z$-"simple," this isn't a proof without a whole lot more.
$endgroup$
– Ted Shifrin
Oct 12 '13 at 15:00
$begingroup$
That said, any suitably nice region can be approximated arbitrarily well by the union of cubes, and some version of your calculation works on a cube. This is the idea behind many of those long proofs.
$endgroup$
– Paul Siegel
Oct 12 '13 at 15:01
$begingroup$
That said, any suitably nice region can be approximated arbitrarily well by the union of cubes, and some version of your calculation works on a cube. This is the idea behind many of those long proofs.
$endgroup$
– Paul Siegel
Oct 12 '13 at 15:01
1
1
$begingroup$
It looks more or less correct to me on a simple region. (Though the last step should be written out correctly using a parametrization of the boundary.)
$endgroup$
– Paul Siegel
Oct 12 '13 at 15:02
$begingroup$
It looks more or less correct to me on a simple region. (Though the last step should be written out correctly using a parametrization of the boundary.)
$endgroup$
– Paul Siegel
Oct 12 '13 at 15:02
add a comment |
0
active
oldest
votes
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
});
}
});
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%2f523587%2fanother-proof-of-divergence-theorem%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%2f523587%2fanother-proof-of-divergence-theorem%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
1
$begingroup$
Because what you've written doesn't mean anything, sadly.
$endgroup$
– Ted Shifrin
Oct 12 '13 at 14:58
1
$begingroup$
There is a problem in the very first step. To express a triple integral as a single iterated integral with, say, the order of integration $dx dy dz$, you must assume that the region of integration has the form $f(y,z) leq x leq g(y,z)$ for $y,z$ in some domain in the plane. This is rarely possible.
$endgroup$
– Paul Siegel
Oct 12 '13 at 14:59
1
$begingroup$
@PaulSiegel: Even if you assume the region is $x$-, $y$-, and $z$-"simple," this isn't a proof without a whole lot more.
$endgroup$
– Ted Shifrin
Oct 12 '13 at 15:00
$begingroup$
That said, any suitably nice region can be approximated arbitrarily well by the union of cubes, and some version of your calculation works on a cube. This is the idea behind many of those long proofs.
$endgroup$
– Paul Siegel
Oct 12 '13 at 15:01
1
$begingroup$
It looks more or less correct to me on a simple region. (Though the last step should be written out correctly using a parametrization of the boundary.)
$endgroup$
– Paul Siegel
Oct 12 '13 at 15:02