Does the following mean value theorem type statement hold in $mathbbR^n$counterexample for direct generalization of the one-dimensional Mean Value TheoremMean Value Theorem for a Multivariate Function $mathbbR^2 to mathbbR$Mean Value Theorem in $mathbb R^n$ for discontinuityMean Value Theorem for Several VariablesMean value theorem on a triangle in 2DMean value theorem for line integralHow to prove that a function is above a its tangent line using the mean value theorem?Inversion of mean value theoremProblem regarding mean value theoremUnderstanding Mean Value Theorem through graphsGraphical interpretation of mean value theorem
Issue with units for a rocket nozzle throat area problem
If nine coins are tossed, what is the probability that the number of heads is even?
I've given my players a lot of magic items. Is it reasonable for me to give them harder encounters?
Is it appropriate to ask a former professor to order a library book for me through ILL?
Should I apply for my boss's promotion?
How to make sure I'm assertive enough in contact with subordinates?
3.5% Interest Student Loan or use all of my savings on Tuition?
Use Mercury as quenching liquid for swords?
Will the concrete slab in a partially heated shed conduct a lot of heat to the unconditioned area?
Is this Paypal Github SDK reference really a dangerous site?
What can I do if someone tampers with my SSH public key?
Draw this image in the TIKZ package
Limpar string com Regex
Can Witch Sight see through Mirror Image?
Why do we call complex numbers “numbers” but we don’t consider 2-vectors numbers?
Having the player face themselves after the mid-game
Why do phishing e-mails use faked e-mail addresses instead of the real one?
Short story about cities being connected by a conveyor belt
How does a sound wave propagate?
Was this cameo in Captain Marvel computer generated?
How to recover against Snake as a heavyweight character?
Giving a talk in my old university, how prominently should I tell students my salary?
Rationale to prefer local variables over instance variables?
What is Tony Stark injecting into himself in Iron Man 3?
Does the following mean value theorem type statement hold in $mathbbR^n$
counterexample for direct generalization of the one-dimensional Mean Value TheoremMean Value Theorem for a Multivariate Function $mathbbR^2 to mathbbR$Mean Value Theorem in $mathbb R^n$ for discontinuityMean Value Theorem for Several VariablesMean value theorem on a triangle in 2DMean value theorem for line integralHow to prove that a function is above a its tangent line using the mean value theorem?Inversion of mean value theoremProblem regarding mean value theoremUnderstanding Mean Value Theorem through graphsGraphical interpretation of mean value theorem
$begingroup$
Let $c: [0,1] rightarrow mathbbR^n$ be a $C^1$ curve. Suppose $c$ passes through two points $c(x_1), c(x_2) in mathbbR^n$ with $0 < x_1 < x_1 < 1$. Does there exist a point $x_0 in (x_1, x_2)$ such that $Dc(x_0)$ lies on the line $c(x_2)-c(x_1)$? I'm not sure if my question makes sense as written, let me know if it doesn't! I will provide some intuition/example for what I want below.
This requirement seems much less strict than let's say the false, directly generalized MVT in this question: counterexample for direct generalization of the one-dimensional Mean Value Theorem.
In the case of the circle, as in the example in the answer to the above question, one could just slide the secant line determined by $c(x_1)$ and $c(x_2)$ until it became a tangent line, which would correspond to the point $x_0$ we are looking for. In $mathbbR^3$ this becomes a bit more confusing. For instance, the curve $c$ can move away from being "above" the segment $c(x_1)c(x_2)$. However, in that case what I'd like to say is something along the lines of: suppose the origin, $c(x_1)$, and $c(x_2)$ are not collinear. Then the origin and $c(x_1)$, the origin and $c(x_2)$ determine a plane. Does there exist a time point $x_0$ such that $Dc(t_0)$ lies in that plane? In general, the idea is similar to the mean value theorem, but most generalizations deal with the magnitude of the derivative, whereas here we just want the tangent to be parallel to the secant.
This is probably very simple but given the discussion above, I have trouble formulating exactly what I want.
real-analysis calculus multivariable-calculus vector-analysis
New contributor
$endgroup$
add a comment |
$begingroup$
Let $c: [0,1] rightarrow mathbbR^n$ be a $C^1$ curve. Suppose $c$ passes through two points $c(x_1), c(x_2) in mathbbR^n$ with $0 < x_1 < x_1 < 1$. Does there exist a point $x_0 in (x_1, x_2)$ such that $Dc(x_0)$ lies on the line $c(x_2)-c(x_1)$? I'm not sure if my question makes sense as written, let me know if it doesn't! I will provide some intuition/example for what I want below.
This requirement seems much less strict than let's say the false, directly generalized MVT in this question: counterexample for direct generalization of the one-dimensional Mean Value Theorem.
In the case of the circle, as in the example in the answer to the above question, one could just slide the secant line determined by $c(x_1)$ and $c(x_2)$ until it became a tangent line, which would correspond to the point $x_0$ we are looking for. In $mathbbR^3$ this becomes a bit more confusing. For instance, the curve $c$ can move away from being "above" the segment $c(x_1)c(x_2)$. However, in that case what I'd like to say is something along the lines of: suppose the origin, $c(x_1)$, and $c(x_2)$ are not collinear. Then the origin and $c(x_1)$, the origin and $c(x_2)$ determine a plane. Does there exist a time point $x_0$ such that $Dc(t_0)$ lies in that plane? In general, the idea is similar to the mean value theorem, but most generalizations deal with the magnitude of the derivative, whereas here we just want the tangent to be parallel to the secant.
This is probably very simple but given the discussion above, I have trouble formulating exactly what I want.
real-analysis calculus multivariable-calculus vector-analysis
New contributor
$endgroup$
$begingroup$
"two points "$c(x_1),c(x_1)$" -- typo? Second subscript $2$ instead?
$endgroup$
– coffeemath
16 hours ago
$begingroup$
@coffeemath thanks I fixed it
$endgroup$
– forgotcalc
8 hours ago
add a comment |
$begingroup$
Let $c: [0,1] rightarrow mathbbR^n$ be a $C^1$ curve. Suppose $c$ passes through two points $c(x_1), c(x_2) in mathbbR^n$ with $0 < x_1 < x_1 < 1$. Does there exist a point $x_0 in (x_1, x_2)$ such that $Dc(x_0)$ lies on the line $c(x_2)-c(x_1)$? I'm not sure if my question makes sense as written, let me know if it doesn't! I will provide some intuition/example for what I want below.
This requirement seems much less strict than let's say the false, directly generalized MVT in this question: counterexample for direct generalization of the one-dimensional Mean Value Theorem.
In the case of the circle, as in the example in the answer to the above question, one could just slide the secant line determined by $c(x_1)$ and $c(x_2)$ until it became a tangent line, which would correspond to the point $x_0$ we are looking for. In $mathbbR^3$ this becomes a bit more confusing. For instance, the curve $c$ can move away from being "above" the segment $c(x_1)c(x_2)$. However, in that case what I'd like to say is something along the lines of: suppose the origin, $c(x_1)$, and $c(x_2)$ are not collinear. Then the origin and $c(x_1)$, the origin and $c(x_2)$ determine a plane. Does there exist a time point $x_0$ such that $Dc(t_0)$ lies in that plane? In general, the idea is similar to the mean value theorem, but most generalizations deal with the magnitude of the derivative, whereas here we just want the tangent to be parallel to the secant.
This is probably very simple but given the discussion above, I have trouble formulating exactly what I want.
real-analysis calculus multivariable-calculus vector-analysis
New contributor
$endgroup$
Let $c: [0,1] rightarrow mathbbR^n$ be a $C^1$ curve. Suppose $c$ passes through two points $c(x_1), c(x_2) in mathbbR^n$ with $0 < x_1 < x_1 < 1$. Does there exist a point $x_0 in (x_1, x_2)$ such that $Dc(x_0)$ lies on the line $c(x_2)-c(x_1)$? I'm not sure if my question makes sense as written, let me know if it doesn't! I will provide some intuition/example for what I want below.
This requirement seems much less strict than let's say the false, directly generalized MVT in this question: counterexample for direct generalization of the one-dimensional Mean Value Theorem.
In the case of the circle, as in the example in the answer to the above question, one could just slide the secant line determined by $c(x_1)$ and $c(x_2)$ until it became a tangent line, which would correspond to the point $x_0$ we are looking for. In $mathbbR^3$ this becomes a bit more confusing. For instance, the curve $c$ can move away from being "above" the segment $c(x_1)c(x_2)$. However, in that case what I'd like to say is something along the lines of: suppose the origin, $c(x_1)$, and $c(x_2)$ are not collinear. Then the origin and $c(x_1)$, the origin and $c(x_2)$ determine a plane. Does there exist a time point $x_0$ such that $Dc(t_0)$ lies in that plane? In general, the idea is similar to the mean value theorem, but most generalizations deal with the magnitude of the derivative, whereas here we just want the tangent to be parallel to the secant.
This is probably very simple but given the discussion above, I have trouble formulating exactly what I want.
real-analysis calculus multivariable-calculus vector-analysis
real-analysis calculus multivariable-calculus vector-analysis
New contributor
New contributor
edited 8 hours ago
forgotcalc
New contributor
asked 16 hours ago
forgotcalcforgotcalc
112
112
New contributor
New contributor
$begingroup$
"two points "$c(x_1),c(x_1)$" -- typo? Second subscript $2$ instead?
$endgroup$
– coffeemath
16 hours ago
$begingroup$
@coffeemath thanks I fixed it
$endgroup$
– forgotcalc
8 hours ago
add a comment |
$begingroup$
"two points "$c(x_1),c(x_1)$" -- typo? Second subscript $2$ instead?
$endgroup$
– coffeemath
16 hours ago
$begingroup$
@coffeemath thanks I fixed it
$endgroup$
– forgotcalc
8 hours ago
$begingroup$
"two points "$c(x_1),c(x_1)$" -- typo? Second subscript $2$ instead?
$endgroup$
– coffeemath
16 hours ago
$begingroup$
"two points "$c(x_1),c(x_1)$" -- typo? Second subscript $2$ instead?
$endgroup$
– coffeemath
16 hours ago
$begingroup$
@coffeemath thanks I fixed it
$endgroup$
– forgotcalc
8 hours ago
$begingroup$
@coffeemath thanks I fixed it
$endgroup$
– forgotcalc
8 hours ago
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
For $mathbb R^3$ this is true. Pick wlog basis in which endpoints of your $C^1$ curve lie in $z=0$ plane. In this case the 'tangent parallel to the plane' condition is equivalent to just having last component zero which is true by e.g. Rolle's theorem.
For $mathbb R^n$ for $n>3$ it is not true which is easy to see from the previous example. Take curve with endpoints $(1,0,0,0)$, $(0,1,0,0)$ and in the first two coordinates you take this curve to follow rectlinear motion between the endpoints. In the last two coordinates pick two functions with different locations of stationary points and zeros at endpoints giving you the counterexample.
$endgroup$
add a comment |
$begingroup$
Consider the helix
$$gamma:quad tmapsto c(t):=(cos t,sin t, t)qquad(0leq tleq 2pi) .$$
Then $c(2pi)-c(0)=(0,0,2pi)$, but there is no point on the curve $gamma$ with $c'(t)=(-sin tcos t, 1)$ parallel to the $z$-axis.
A remark: One sentence in your question says: "Does $c'(t)$ lie in that plane for some $t,$?" Note that $c'(t)$ lying in some plane is asking much less than asking for $c'(t)$ being parallel to some vector.
$endgroup$
$begingroup$
Thanks for the counterexample! Yes, what if I want containment in a plane? In the case of this example, I'm not sure which plane I would like exactly (since the two points $c(2pi)$ and $c(0)$ are collinear with $0$. But suppose they weren't, could we get containment in the plane?
$endgroup$
– forgotcalc
8 hours ago
add a comment |
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
);
);
forgotcalc is a new contributor. Be nice, and check out our Code of Conduct.
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%2f3140020%2fdoes-the-following-mean-value-theorem-type-statement-hold-in-mathbbrn%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
For $mathbb R^3$ this is true. Pick wlog basis in which endpoints of your $C^1$ curve lie in $z=0$ plane. In this case the 'tangent parallel to the plane' condition is equivalent to just having last component zero which is true by e.g. Rolle's theorem.
For $mathbb R^n$ for $n>3$ it is not true which is easy to see from the previous example. Take curve with endpoints $(1,0,0,0)$, $(0,1,0,0)$ and in the first two coordinates you take this curve to follow rectlinear motion between the endpoints. In the last two coordinates pick two functions with different locations of stationary points and zeros at endpoints giving you the counterexample.
$endgroup$
add a comment |
$begingroup$
For $mathbb R^3$ this is true. Pick wlog basis in which endpoints of your $C^1$ curve lie in $z=0$ plane. In this case the 'tangent parallel to the plane' condition is equivalent to just having last component zero which is true by e.g. Rolle's theorem.
For $mathbb R^n$ for $n>3$ it is not true which is easy to see from the previous example. Take curve with endpoints $(1,0,0,0)$, $(0,1,0,0)$ and in the first two coordinates you take this curve to follow rectlinear motion between the endpoints. In the last two coordinates pick two functions with different locations of stationary points and zeros at endpoints giving you the counterexample.
$endgroup$
add a comment |
$begingroup$
For $mathbb R^3$ this is true. Pick wlog basis in which endpoints of your $C^1$ curve lie in $z=0$ plane. In this case the 'tangent parallel to the plane' condition is equivalent to just having last component zero which is true by e.g. Rolle's theorem.
For $mathbb R^n$ for $n>3$ it is not true which is easy to see from the previous example. Take curve with endpoints $(1,0,0,0)$, $(0,1,0,0)$ and in the first two coordinates you take this curve to follow rectlinear motion between the endpoints. In the last two coordinates pick two functions with different locations of stationary points and zeros at endpoints giving you the counterexample.
$endgroup$
For $mathbb R^3$ this is true. Pick wlog basis in which endpoints of your $C^1$ curve lie in $z=0$ plane. In this case the 'tangent parallel to the plane' condition is equivalent to just having last component zero which is true by e.g. Rolle's theorem.
For $mathbb R^n$ for $n>3$ it is not true which is easy to see from the previous example. Take curve with endpoints $(1,0,0,0)$, $(0,1,0,0)$ and in the first two coordinates you take this curve to follow rectlinear motion between the endpoints. In the last two coordinates pick two functions with different locations of stationary points and zeros at endpoints giving you the counterexample.
answered 13 hours ago
RadostRadost
6119
6119
add a comment |
add a comment |
$begingroup$
Consider the helix
$$gamma:quad tmapsto c(t):=(cos t,sin t, t)qquad(0leq tleq 2pi) .$$
Then $c(2pi)-c(0)=(0,0,2pi)$, but there is no point on the curve $gamma$ with $c'(t)=(-sin tcos t, 1)$ parallel to the $z$-axis.
A remark: One sentence in your question says: "Does $c'(t)$ lie in that plane for some $t,$?" Note that $c'(t)$ lying in some plane is asking much less than asking for $c'(t)$ being parallel to some vector.
$endgroup$
$begingroup$
Thanks for the counterexample! Yes, what if I want containment in a plane? In the case of this example, I'm not sure which plane I would like exactly (since the two points $c(2pi)$ and $c(0)$ are collinear with $0$. But suppose they weren't, could we get containment in the plane?
$endgroup$
– forgotcalc
8 hours ago
add a comment |
$begingroup$
Consider the helix
$$gamma:quad tmapsto c(t):=(cos t,sin t, t)qquad(0leq tleq 2pi) .$$
Then $c(2pi)-c(0)=(0,0,2pi)$, but there is no point on the curve $gamma$ with $c'(t)=(-sin tcos t, 1)$ parallel to the $z$-axis.
A remark: One sentence in your question says: "Does $c'(t)$ lie in that plane for some $t,$?" Note that $c'(t)$ lying in some plane is asking much less than asking for $c'(t)$ being parallel to some vector.
$endgroup$
$begingroup$
Thanks for the counterexample! Yes, what if I want containment in a plane? In the case of this example, I'm not sure which plane I would like exactly (since the two points $c(2pi)$ and $c(0)$ are collinear with $0$. But suppose they weren't, could we get containment in the plane?
$endgroup$
– forgotcalc
8 hours ago
add a comment |
$begingroup$
Consider the helix
$$gamma:quad tmapsto c(t):=(cos t,sin t, t)qquad(0leq tleq 2pi) .$$
Then $c(2pi)-c(0)=(0,0,2pi)$, but there is no point on the curve $gamma$ with $c'(t)=(-sin tcos t, 1)$ parallel to the $z$-axis.
A remark: One sentence in your question says: "Does $c'(t)$ lie in that plane for some $t,$?" Note that $c'(t)$ lying in some plane is asking much less than asking for $c'(t)$ being parallel to some vector.
$endgroup$
Consider the helix
$$gamma:quad tmapsto c(t):=(cos t,sin t, t)qquad(0leq tleq 2pi) .$$
Then $c(2pi)-c(0)=(0,0,2pi)$, but there is no point on the curve $gamma$ with $c'(t)=(-sin tcos t, 1)$ parallel to the $z$-axis.
A remark: One sentence in your question says: "Does $c'(t)$ lie in that plane for some $t,$?" Note that $c'(t)$ lying in some plane is asking much less than asking for $c'(t)$ being parallel to some vector.
answered 11 hours ago
Christian BlatterChristian Blatter
175k8115327
175k8115327
$begingroup$
Thanks for the counterexample! Yes, what if I want containment in a plane? In the case of this example, I'm not sure which plane I would like exactly (since the two points $c(2pi)$ and $c(0)$ are collinear with $0$. But suppose they weren't, could we get containment in the plane?
$endgroup$
– forgotcalc
8 hours ago
add a comment |
$begingroup$
Thanks for the counterexample! Yes, what if I want containment in a plane? In the case of this example, I'm not sure which plane I would like exactly (since the two points $c(2pi)$ and $c(0)$ are collinear with $0$. But suppose they weren't, could we get containment in the plane?
$endgroup$
– forgotcalc
8 hours ago
$begingroup$
Thanks for the counterexample! Yes, what if I want containment in a plane? In the case of this example, I'm not sure which plane I would like exactly (since the two points $c(2pi)$ and $c(0)$ are collinear with $0$. But suppose they weren't, could we get containment in the plane?
$endgroup$
– forgotcalc
8 hours ago
$begingroup$
Thanks for the counterexample! Yes, what if I want containment in a plane? In the case of this example, I'm not sure which plane I would like exactly (since the two points $c(2pi)$ and $c(0)$ are collinear with $0$. But suppose they weren't, could we get containment in the plane?
$endgroup$
– forgotcalc
8 hours ago
add a comment |
forgotcalc is a new contributor. Be nice, and check out our Code of Conduct.
forgotcalc is a new contributor. Be nice, and check out our Code of Conduct.
forgotcalc is a new contributor. Be nice, and check out our Code of Conduct.
forgotcalc 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.
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%2f3140020%2fdoes-the-following-mean-value-theorem-type-statement-hold-in-mathbbrn%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$
"two points "$c(x_1),c(x_1)$" -- typo? Second subscript $2$ instead?
$endgroup$
– coffeemath
16 hours ago
$begingroup$
@coffeemath thanks I fixed it
$endgroup$
– forgotcalc
8 hours ago