How to prove $mathbfM/r$ is a continuously differentiable vector field?Why does Green's Theorem require partial derivatives to be continuousQuestion for divergence theoremShowing volume and surface integration is unaffected by the singularity at $mathbfr'=mathbfr$Volume integral of graddivergence of a radial vector fieldDivergence theorem with nonorientable surfacesdivergence theorem; triple cross productIs it possible to evaluate this integral for general volume $V$?2D Divergence Theorem (example)What are the gradient, divergence and curl of the three-dimensional delta function?System of ODE's - Why does this vector function connect two constant vectors continuously?Prove a vector calculus identityShowing volume and surface integration is unaffected by the singularity at $mathbfr'=mathbfr$
About a little hole in Z'ha'dum
How much character growth crosses the line into breaking the character
Can a significant change in incentives void an employment contract?
Does having a TSA Pre-Check member in your flight reservation increase the chances that everyone gets Pre-Check?
THT: What is a squared annular “ring”?
Global amount of publications over time
We have a love-hate relationship
Remove Expired Scratch Orgs From VSCode
How do ground effect vehicles perform turns?
Do Legal Documents Require Signing In Standard Pen Colors?
Engineer refusing to file/disclose patents
Bob has never been a M before
How can Trident be so inexpensive? Will it orbit Triton or just do a (slow) flyby?
How do you respond to a colleague from another team when they're wrongly expecting that you'll help them?
How must one send away the mother bird?
Should I stop contributing to retirement accounts?
Divine apple island
Gibbs free energy in standard state vs. equilibrium
Create all possible words using a set or letters
Is possible to search in vim history?
Has Darkwing Duck ever met Scrooge McDuck?
Longest common substring in linear time
Indicating multiple different modes of speech (fantasy language or telepathy)
MAXDOP Settings for SQL Server 2014
How to prove $mathbfM/r$ is a continuously differentiable vector field?
Why does Green's Theorem require partial derivatives to be continuousQuestion for divergence theoremShowing volume and surface integration is unaffected by the singularity at $mathbfr'=mathbfr$Volume integral of graddivergence of a radial vector fieldDivergence theorem with nonorientable surfacesdivergence theorem; triple cross productIs it possible to evaluate this integral for general volume $V$?2D Divergence Theorem (example)What are the gradient, divergence and curl of the three-dimensional delta function?System of ODE's - Why does this vector function connect two constant vectors continuously?Prove a vector calculus identityShowing volume and surface integration is unaffected by the singularity at $mathbfr'=mathbfr$
$begingroup$
I had previously asked a question here regarding the applicability of divergence theorem.
$mathbfM'$ is a continuous vector field in volume $V'$ (which is compact and has a piecewise smooth boundary $S$). Consider the following integral:
$$int_V nabla . left( dfracmathbfMr right) dV$$
with $(r=0) in V$.
The answer says that, since the integrand is infinite at $(r=0)$, if we redefine our integral as:
$$lim limits_delta to 0 int_V-delta nabla . left( dfracmathbfMr right) dV$$
where $delta$ is a volume surrounding the point $(r=0)$
then we can apply $GDT$.
But that is only condition. How can we ensure $dfracmathbfMr$ is a continuously differentiable vector field?
Edit:
Comment : "Is $mathbfM$ continuously differentiable?"
Maybe... But break it down into two cases: $(i)$ $mathbfM$ is continuously differentiable $(ii)$ $mathbfM$ is continuous
Please show whether $dfracmathbfMr$ is a continuously differentiable vector field in the two cases.
functions continuity improper-integrals vector-fields divergence
$endgroup$
add a comment |
$begingroup$
I had previously asked a question here regarding the applicability of divergence theorem.
$mathbfM'$ is a continuous vector field in volume $V'$ (which is compact and has a piecewise smooth boundary $S$). Consider the following integral:
$$int_V nabla . left( dfracmathbfMr right) dV$$
with $(r=0) in V$.
The answer says that, since the integrand is infinite at $(r=0)$, if we redefine our integral as:
$$lim limits_delta to 0 int_V-delta nabla . left( dfracmathbfMr right) dV$$
where $delta$ is a volume surrounding the point $(r=0)$
then we can apply $GDT$.
But that is only condition. How can we ensure $dfracmathbfMr$ is a continuously differentiable vector field?
Edit:
Comment : "Is $mathbfM$ continuously differentiable?"
Maybe... But break it down into two cases: $(i)$ $mathbfM$ is continuously differentiable $(ii)$ $mathbfM$ is continuous
Please show whether $dfracmathbfMr$ is a continuously differentiable vector field in the two cases.
functions continuity improper-integrals vector-fields divergence
$endgroup$
$begingroup$
Is $mathbfM$ continuously differentiable?
$endgroup$
– RRL
Mar 16 at 5:56
$begingroup$
@RRL: Please have a look at the edit.
$endgroup$
– Joe
Mar 16 at 6:11
add a comment |
$begingroup$
I had previously asked a question here regarding the applicability of divergence theorem.
$mathbfM'$ is a continuous vector field in volume $V'$ (which is compact and has a piecewise smooth boundary $S$). Consider the following integral:
$$int_V nabla . left( dfracmathbfMr right) dV$$
with $(r=0) in V$.
The answer says that, since the integrand is infinite at $(r=0)$, if we redefine our integral as:
$$lim limits_delta to 0 int_V-delta nabla . left( dfracmathbfMr right) dV$$
where $delta$ is a volume surrounding the point $(r=0)$
then we can apply $GDT$.
But that is only condition. How can we ensure $dfracmathbfMr$ is a continuously differentiable vector field?
Edit:
Comment : "Is $mathbfM$ continuously differentiable?"
Maybe... But break it down into two cases: $(i)$ $mathbfM$ is continuously differentiable $(ii)$ $mathbfM$ is continuous
Please show whether $dfracmathbfMr$ is a continuously differentiable vector field in the two cases.
functions continuity improper-integrals vector-fields divergence
$endgroup$
I had previously asked a question here regarding the applicability of divergence theorem.
$mathbfM'$ is a continuous vector field in volume $V'$ (which is compact and has a piecewise smooth boundary $S$). Consider the following integral:
$$int_V nabla . left( dfracmathbfMr right) dV$$
with $(r=0) in V$.
The answer says that, since the integrand is infinite at $(r=0)$, if we redefine our integral as:
$$lim limits_delta to 0 int_V-delta nabla . left( dfracmathbfMr right) dV$$
where $delta$ is a volume surrounding the point $(r=0)$
then we can apply $GDT$.
But that is only condition. How can we ensure $dfracmathbfMr$ is a continuously differentiable vector field?
Edit:
Comment : "Is $mathbfM$ continuously differentiable?"
Maybe... But break it down into two cases: $(i)$ $mathbfM$ is continuously differentiable $(ii)$ $mathbfM$ is continuous
Please show whether $dfracmathbfMr$ is a continuously differentiable vector field in the two cases.
functions continuity improper-integrals vector-fields divergence
functions continuity improper-integrals vector-fields divergence
edited Mar 16 at 9:34
Henning Makholm
242k17308551
242k17308551
asked Mar 16 at 5:00
JoeJoe
315214
315214
$begingroup$
Is $mathbfM$ continuously differentiable?
$endgroup$
– RRL
Mar 16 at 5:56
$begingroup$
@RRL: Please have a look at the edit.
$endgroup$
– Joe
Mar 16 at 6:11
add a comment |
$begingroup$
Is $mathbfM$ continuously differentiable?
$endgroup$
– RRL
Mar 16 at 5:56
$begingroup$
@RRL: Please have a look at the edit.
$endgroup$
– Joe
Mar 16 at 6:11
$begingroup$
Is $mathbfM$ continuously differentiable?
$endgroup$
– RRL
Mar 16 at 5:56
$begingroup$
Is $mathbfM$ continuously differentiable?
$endgroup$
– RRL
Mar 16 at 5:56
$begingroup$
@RRL: Please have a look at the edit.
$endgroup$
– Joe
Mar 16 at 6:11
$begingroup$
@RRL: Please have a look at the edit.
$endgroup$
– Joe
Mar 16 at 6:11
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
We have $r = |mathbfx|$ and the Euclidean norm is a continuous function from $mathbbR^3$ into $mathbbR$ since by the reverse triangle inequality
$$|, |mathbfx| - |mathbfx_0|,| leqslant |mathbfx - mathbfx_0|.$$
Hence, $mathbfx mapsto frac1r$ is continuous in any region that excludes the origin. You can show this with an $epsilon - delta$ argument, or just quote the theorem that continuity of $f$ with domain in $mathbbR$ implies continuity of $1/f$ on any set where $f(x) neq 0$.
Since $mathbfM$ is continuous, so too is $mathbfx mapsto fracmathbfM(mathbfx)r$, since with $r_0 = mathbfx_0$ we have
$$left|fracmathbfM(mathbfx)r - fracmathbfM(mathbfx_0)r_0right| leqslant frac1r|mathbfM(mathbfx)-mathbfM(mathbfx_0)|+ |mathbfM(mathbfx_0)|left|frac1r - frac1r_0 right|,$$
and $mathbfM(mathbfx_0)$ and $1/r$ are bounded in any compact neighborhood of $mathbfx_0$.
For continuous differentiability you need $mathbfM$ to be continuously differentiable unless some removable discontinuity arises. It remains to show that $mathbfx mapsto frac1r$ is continuously differentiable which amounts to showing that the partial derivatives are continuous by an argument similar to that given above.
$endgroup$
$begingroup$
Thanks for the answer, sir.... However what bothers me is that by just stating electric field $mathbfE$ is continuous (rather than continuously differentiable), the divergence theorem is applied to vector field $mathbfE$. How is it justifible?
$endgroup$
– Joe
Mar 16 at 15:19
$begingroup$
@Joe: You're welcome. I don't know where you are seeing this. Perhaps "they" are not stating the hypotheses carefully, which is not uncommon in a physics setting. It is usually safe to assume that a physical entity like the electric field is specified by a function sufficiently smooth for the divergence theorem to apply. Furthermore it is sufficient but not necessary that the vector field be continuously differentiable for the theorem to apply. See, for example, here and here.
$endgroup$
– RRL
Mar 16 at 21:39
$begingroup$
In your link it is said "Continuity of the partial derivatives is strong sufficient condition". Almost all of the physics textbook (which gives a brief introduction to mathematical physics) like Griffiths (page 31) just writes down the equation without a statement. Other elementary mathematical physics textbooks uses the "strong sufficient condition" discussed above. Late 19th century physics textbooks do make the statement about $GDT$ (along with elementary proofs) but doesn't mention anything about "continuity of partial derivatives".
$endgroup$
– Joe
Mar 17 at 6:06
$begingroup$
Please see here as well as here. Are these statements sufficient in order to apply $GDT$ for electric field $mathbfE$ and $fracmathbfMr$?
$endgroup$
– Joe
Mar 17 at 6:06
$begingroup$
@Joe: I would not expect 19th century books and papers to specify these conditions carefully. They are about the (important) physics content and assume tacitly that there is enough regularity for the theorem to hold. To be honest I'm not entirely sure what the question is anymore.
$endgroup$
– RRL
Mar 18 at 0:13
|
show 3 more comments
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%2f3150089%2fhow-to-prove-mathbfm-r-is-a-continuously-differentiable-vector-field%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
We have $r = |mathbfx|$ and the Euclidean norm is a continuous function from $mathbbR^3$ into $mathbbR$ since by the reverse triangle inequality
$$|, |mathbfx| - |mathbfx_0|,| leqslant |mathbfx - mathbfx_0|.$$
Hence, $mathbfx mapsto frac1r$ is continuous in any region that excludes the origin. You can show this with an $epsilon - delta$ argument, or just quote the theorem that continuity of $f$ with domain in $mathbbR$ implies continuity of $1/f$ on any set where $f(x) neq 0$.
Since $mathbfM$ is continuous, so too is $mathbfx mapsto fracmathbfM(mathbfx)r$, since with $r_0 = mathbfx_0$ we have
$$left|fracmathbfM(mathbfx)r - fracmathbfM(mathbfx_0)r_0right| leqslant frac1r|mathbfM(mathbfx)-mathbfM(mathbfx_0)|+ |mathbfM(mathbfx_0)|left|frac1r - frac1r_0 right|,$$
and $mathbfM(mathbfx_0)$ and $1/r$ are bounded in any compact neighborhood of $mathbfx_0$.
For continuous differentiability you need $mathbfM$ to be continuously differentiable unless some removable discontinuity arises. It remains to show that $mathbfx mapsto frac1r$ is continuously differentiable which amounts to showing that the partial derivatives are continuous by an argument similar to that given above.
$endgroup$
$begingroup$
Thanks for the answer, sir.... However what bothers me is that by just stating electric field $mathbfE$ is continuous (rather than continuously differentiable), the divergence theorem is applied to vector field $mathbfE$. How is it justifible?
$endgroup$
– Joe
Mar 16 at 15:19
$begingroup$
@Joe: You're welcome. I don't know where you are seeing this. Perhaps "they" are not stating the hypotheses carefully, which is not uncommon in a physics setting. It is usually safe to assume that a physical entity like the electric field is specified by a function sufficiently smooth for the divergence theorem to apply. Furthermore it is sufficient but not necessary that the vector field be continuously differentiable for the theorem to apply. See, for example, here and here.
$endgroup$
– RRL
Mar 16 at 21:39
$begingroup$
In your link it is said "Continuity of the partial derivatives is strong sufficient condition". Almost all of the physics textbook (which gives a brief introduction to mathematical physics) like Griffiths (page 31) just writes down the equation without a statement. Other elementary mathematical physics textbooks uses the "strong sufficient condition" discussed above. Late 19th century physics textbooks do make the statement about $GDT$ (along with elementary proofs) but doesn't mention anything about "continuity of partial derivatives".
$endgroup$
– Joe
Mar 17 at 6:06
$begingroup$
Please see here as well as here. Are these statements sufficient in order to apply $GDT$ for electric field $mathbfE$ and $fracmathbfMr$?
$endgroup$
– Joe
Mar 17 at 6:06
$begingroup$
@Joe: I would not expect 19th century books and papers to specify these conditions carefully. They are about the (important) physics content and assume tacitly that there is enough regularity for the theorem to hold. To be honest I'm not entirely sure what the question is anymore.
$endgroup$
– RRL
Mar 18 at 0:13
|
show 3 more comments
$begingroup$
We have $r = |mathbfx|$ and the Euclidean norm is a continuous function from $mathbbR^3$ into $mathbbR$ since by the reverse triangle inequality
$$|, |mathbfx| - |mathbfx_0|,| leqslant |mathbfx - mathbfx_0|.$$
Hence, $mathbfx mapsto frac1r$ is continuous in any region that excludes the origin. You can show this with an $epsilon - delta$ argument, or just quote the theorem that continuity of $f$ with domain in $mathbbR$ implies continuity of $1/f$ on any set where $f(x) neq 0$.
Since $mathbfM$ is continuous, so too is $mathbfx mapsto fracmathbfM(mathbfx)r$, since with $r_0 = mathbfx_0$ we have
$$left|fracmathbfM(mathbfx)r - fracmathbfM(mathbfx_0)r_0right| leqslant frac1r|mathbfM(mathbfx)-mathbfM(mathbfx_0)|+ |mathbfM(mathbfx_0)|left|frac1r - frac1r_0 right|,$$
and $mathbfM(mathbfx_0)$ and $1/r$ are bounded in any compact neighborhood of $mathbfx_0$.
For continuous differentiability you need $mathbfM$ to be continuously differentiable unless some removable discontinuity arises. It remains to show that $mathbfx mapsto frac1r$ is continuously differentiable which amounts to showing that the partial derivatives are continuous by an argument similar to that given above.
$endgroup$
$begingroup$
Thanks for the answer, sir.... However what bothers me is that by just stating electric field $mathbfE$ is continuous (rather than continuously differentiable), the divergence theorem is applied to vector field $mathbfE$. How is it justifible?
$endgroup$
– Joe
Mar 16 at 15:19
$begingroup$
@Joe: You're welcome. I don't know where you are seeing this. Perhaps "they" are not stating the hypotheses carefully, which is not uncommon in a physics setting. It is usually safe to assume that a physical entity like the electric field is specified by a function sufficiently smooth for the divergence theorem to apply. Furthermore it is sufficient but not necessary that the vector field be continuously differentiable for the theorem to apply. See, for example, here and here.
$endgroup$
– RRL
Mar 16 at 21:39
$begingroup$
In your link it is said "Continuity of the partial derivatives is strong sufficient condition". Almost all of the physics textbook (which gives a brief introduction to mathematical physics) like Griffiths (page 31) just writes down the equation without a statement. Other elementary mathematical physics textbooks uses the "strong sufficient condition" discussed above. Late 19th century physics textbooks do make the statement about $GDT$ (along with elementary proofs) but doesn't mention anything about "continuity of partial derivatives".
$endgroup$
– Joe
Mar 17 at 6:06
$begingroup$
Please see here as well as here. Are these statements sufficient in order to apply $GDT$ for electric field $mathbfE$ and $fracmathbfMr$?
$endgroup$
– Joe
Mar 17 at 6:06
$begingroup$
@Joe: I would not expect 19th century books and papers to specify these conditions carefully. They are about the (important) physics content and assume tacitly that there is enough regularity for the theorem to hold. To be honest I'm not entirely sure what the question is anymore.
$endgroup$
– RRL
Mar 18 at 0:13
|
show 3 more comments
$begingroup$
We have $r = |mathbfx|$ and the Euclidean norm is a continuous function from $mathbbR^3$ into $mathbbR$ since by the reverse triangle inequality
$$|, |mathbfx| - |mathbfx_0|,| leqslant |mathbfx - mathbfx_0|.$$
Hence, $mathbfx mapsto frac1r$ is continuous in any region that excludes the origin. You can show this with an $epsilon - delta$ argument, or just quote the theorem that continuity of $f$ with domain in $mathbbR$ implies continuity of $1/f$ on any set where $f(x) neq 0$.
Since $mathbfM$ is continuous, so too is $mathbfx mapsto fracmathbfM(mathbfx)r$, since with $r_0 = mathbfx_0$ we have
$$left|fracmathbfM(mathbfx)r - fracmathbfM(mathbfx_0)r_0right| leqslant frac1r|mathbfM(mathbfx)-mathbfM(mathbfx_0)|+ |mathbfM(mathbfx_0)|left|frac1r - frac1r_0 right|,$$
and $mathbfM(mathbfx_0)$ and $1/r$ are bounded in any compact neighborhood of $mathbfx_0$.
For continuous differentiability you need $mathbfM$ to be continuously differentiable unless some removable discontinuity arises. It remains to show that $mathbfx mapsto frac1r$ is continuously differentiable which amounts to showing that the partial derivatives are continuous by an argument similar to that given above.
$endgroup$
We have $r = |mathbfx|$ and the Euclidean norm is a continuous function from $mathbbR^3$ into $mathbbR$ since by the reverse triangle inequality
$$|, |mathbfx| - |mathbfx_0|,| leqslant |mathbfx - mathbfx_0|.$$
Hence, $mathbfx mapsto frac1r$ is continuous in any region that excludes the origin. You can show this with an $epsilon - delta$ argument, or just quote the theorem that continuity of $f$ with domain in $mathbbR$ implies continuity of $1/f$ on any set where $f(x) neq 0$.
Since $mathbfM$ is continuous, so too is $mathbfx mapsto fracmathbfM(mathbfx)r$, since with $r_0 = mathbfx_0$ we have
$$left|fracmathbfM(mathbfx)r - fracmathbfM(mathbfx_0)r_0right| leqslant frac1r|mathbfM(mathbfx)-mathbfM(mathbfx_0)|+ |mathbfM(mathbfx_0)|left|frac1r - frac1r_0 right|,$$
and $mathbfM(mathbfx_0)$ and $1/r$ are bounded in any compact neighborhood of $mathbfx_0$.
For continuous differentiability you need $mathbfM$ to be continuously differentiable unless some removable discontinuity arises. It remains to show that $mathbfx mapsto frac1r$ is continuously differentiable which amounts to showing that the partial derivatives are continuous by an argument similar to that given above.
edited Mar 16 at 7:01
answered Mar 16 at 6:56
RRLRRL
53k42573
53k42573
$begingroup$
Thanks for the answer, sir.... However what bothers me is that by just stating electric field $mathbfE$ is continuous (rather than continuously differentiable), the divergence theorem is applied to vector field $mathbfE$. How is it justifible?
$endgroup$
– Joe
Mar 16 at 15:19
$begingroup$
@Joe: You're welcome. I don't know where you are seeing this. Perhaps "they" are not stating the hypotheses carefully, which is not uncommon in a physics setting. It is usually safe to assume that a physical entity like the electric field is specified by a function sufficiently smooth for the divergence theorem to apply. Furthermore it is sufficient but not necessary that the vector field be continuously differentiable for the theorem to apply. See, for example, here and here.
$endgroup$
– RRL
Mar 16 at 21:39
$begingroup$
In your link it is said "Continuity of the partial derivatives is strong sufficient condition". Almost all of the physics textbook (which gives a brief introduction to mathematical physics) like Griffiths (page 31) just writes down the equation without a statement. Other elementary mathematical physics textbooks uses the "strong sufficient condition" discussed above. Late 19th century physics textbooks do make the statement about $GDT$ (along with elementary proofs) but doesn't mention anything about "continuity of partial derivatives".
$endgroup$
– Joe
Mar 17 at 6:06
$begingroup$
Please see here as well as here. Are these statements sufficient in order to apply $GDT$ for electric field $mathbfE$ and $fracmathbfMr$?
$endgroup$
– Joe
Mar 17 at 6:06
$begingroup$
@Joe: I would not expect 19th century books and papers to specify these conditions carefully. They are about the (important) physics content and assume tacitly that there is enough regularity for the theorem to hold. To be honest I'm not entirely sure what the question is anymore.
$endgroup$
– RRL
Mar 18 at 0:13
|
show 3 more comments
$begingroup$
Thanks for the answer, sir.... However what bothers me is that by just stating electric field $mathbfE$ is continuous (rather than continuously differentiable), the divergence theorem is applied to vector field $mathbfE$. How is it justifible?
$endgroup$
– Joe
Mar 16 at 15:19
$begingroup$
@Joe: You're welcome. I don't know where you are seeing this. Perhaps "they" are not stating the hypotheses carefully, which is not uncommon in a physics setting. It is usually safe to assume that a physical entity like the electric field is specified by a function sufficiently smooth for the divergence theorem to apply. Furthermore it is sufficient but not necessary that the vector field be continuously differentiable for the theorem to apply. See, for example, here and here.
$endgroup$
– RRL
Mar 16 at 21:39
$begingroup$
In your link it is said "Continuity of the partial derivatives is strong sufficient condition". Almost all of the physics textbook (which gives a brief introduction to mathematical physics) like Griffiths (page 31) just writes down the equation without a statement. Other elementary mathematical physics textbooks uses the "strong sufficient condition" discussed above. Late 19th century physics textbooks do make the statement about $GDT$ (along with elementary proofs) but doesn't mention anything about "continuity of partial derivatives".
$endgroup$
– Joe
Mar 17 at 6:06
$begingroup$
Please see here as well as here. Are these statements sufficient in order to apply $GDT$ for electric field $mathbfE$ and $fracmathbfMr$?
$endgroup$
– Joe
Mar 17 at 6:06
$begingroup$
@Joe: I would not expect 19th century books and papers to specify these conditions carefully. They are about the (important) physics content and assume tacitly that there is enough regularity for the theorem to hold. To be honest I'm not entirely sure what the question is anymore.
$endgroup$
– RRL
Mar 18 at 0:13
$begingroup$
Thanks for the answer, sir.... However what bothers me is that by just stating electric field $mathbfE$ is continuous (rather than continuously differentiable), the divergence theorem is applied to vector field $mathbfE$. How is it justifible?
$endgroup$
– Joe
Mar 16 at 15:19
$begingroup$
Thanks for the answer, sir.... However what bothers me is that by just stating electric field $mathbfE$ is continuous (rather than continuously differentiable), the divergence theorem is applied to vector field $mathbfE$. How is it justifible?
$endgroup$
– Joe
Mar 16 at 15:19
$begingroup$
@Joe: You're welcome. I don't know where you are seeing this. Perhaps "they" are not stating the hypotheses carefully, which is not uncommon in a physics setting. It is usually safe to assume that a physical entity like the electric field is specified by a function sufficiently smooth for the divergence theorem to apply. Furthermore it is sufficient but not necessary that the vector field be continuously differentiable for the theorem to apply. See, for example, here and here.
$endgroup$
– RRL
Mar 16 at 21:39
$begingroup$
@Joe: You're welcome. I don't know where you are seeing this. Perhaps "they" are not stating the hypotheses carefully, which is not uncommon in a physics setting. It is usually safe to assume that a physical entity like the electric field is specified by a function sufficiently smooth for the divergence theorem to apply. Furthermore it is sufficient but not necessary that the vector field be continuously differentiable for the theorem to apply. See, for example, here and here.
$endgroup$
– RRL
Mar 16 at 21:39
$begingroup$
In your link it is said "Continuity of the partial derivatives is strong sufficient condition". Almost all of the physics textbook (which gives a brief introduction to mathematical physics) like Griffiths (page 31) just writes down the equation without a statement. Other elementary mathematical physics textbooks uses the "strong sufficient condition" discussed above. Late 19th century physics textbooks do make the statement about $GDT$ (along with elementary proofs) but doesn't mention anything about "continuity of partial derivatives".
$endgroup$
– Joe
Mar 17 at 6:06
$begingroup$
In your link it is said "Continuity of the partial derivatives is strong sufficient condition". Almost all of the physics textbook (which gives a brief introduction to mathematical physics) like Griffiths (page 31) just writes down the equation without a statement. Other elementary mathematical physics textbooks uses the "strong sufficient condition" discussed above. Late 19th century physics textbooks do make the statement about $GDT$ (along with elementary proofs) but doesn't mention anything about "continuity of partial derivatives".
$endgroup$
– Joe
Mar 17 at 6:06
$begingroup$
Please see here as well as here. Are these statements sufficient in order to apply $GDT$ for electric field $mathbfE$ and $fracmathbfMr$?
$endgroup$
– Joe
Mar 17 at 6:06
$begingroup$
Please see here as well as here. Are these statements sufficient in order to apply $GDT$ for electric field $mathbfE$ and $fracmathbfMr$?
$endgroup$
– Joe
Mar 17 at 6:06
$begingroup$
@Joe: I would not expect 19th century books and papers to specify these conditions carefully. They are about the (important) physics content and assume tacitly that there is enough regularity for the theorem to hold. To be honest I'm not entirely sure what the question is anymore.
$endgroup$
– RRL
Mar 18 at 0:13
$begingroup$
@Joe: I would not expect 19th century books and papers to specify these conditions carefully. They are about the (important) physics content and assume tacitly that there is enough regularity for the theorem to hold. To be honest I'm not entirely sure what the question is anymore.
$endgroup$
– RRL
Mar 18 at 0:13
|
show 3 more comments
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%2f3150089%2fhow-to-prove-mathbfm-r-is-a-continuously-differentiable-vector-field%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
$begingroup$
Is $mathbfM$ continuously differentiable?
$endgroup$
– RRL
Mar 16 at 5:56
$begingroup$
@RRL: Please have a look at the edit.
$endgroup$
– Joe
Mar 16 at 6:11