Bounds on function from $[a,b]$ to $mathbb{R}^m$











up vote
1
down vote

favorite












Let $phi : [a,b] to mathbb{R}^m$ be continues and differentiable on $( a,b)$ and let $lVert xrVert = sqrt{langle x,xrangle}$ the euclidean norm in $mathbb{R}^m$, show that $lVertphi(b)-phi(a)rVert leq sup_{t in (a,b)} lVertphi'(t)rVert (b-a)$ ?



I did used Lagrange mean value theorem on $g(t) = langlephi(t),phi(b)-phi(a)rangle$ but ended up with two sup on the interval $(a,b)$



Any hints or proof or ideas are appreciated










share|cite|improve this question




















  • 1




    I might be wrong, but I think this is an application of Mean Value Theorem.
    – IAmNoOne
    yesterday










  • @IAmNoOne i think so, but i used it twice so my bound is weaker than what i have to show!
    – Ahmad
    yesterday










  • Use MVT for the function $t to phi (at+(1-t)b)$ defined on $[0,1]$.
    – Kavi Rama Murthy
    yesterday















up vote
1
down vote

favorite












Let $phi : [a,b] to mathbb{R}^m$ be continues and differentiable on $( a,b)$ and let $lVert xrVert = sqrt{langle x,xrangle}$ the euclidean norm in $mathbb{R}^m$, show that $lVertphi(b)-phi(a)rVert leq sup_{t in (a,b)} lVertphi'(t)rVert (b-a)$ ?



I did used Lagrange mean value theorem on $g(t) = langlephi(t),phi(b)-phi(a)rangle$ but ended up with two sup on the interval $(a,b)$



Any hints or proof or ideas are appreciated










share|cite|improve this question




















  • 1




    I might be wrong, but I think this is an application of Mean Value Theorem.
    – IAmNoOne
    yesterday










  • @IAmNoOne i think so, but i used it twice so my bound is weaker than what i have to show!
    – Ahmad
    yesterday










  • Use MVT for the function $t to phi (at+(1-t)b)$ defined on $[0,1]$.
    – Kavi Rama Murthy
    yesterday













up vote
1
down vote

favorite









up vote
1
down vote

favorite











Let $phi : [a,b] to mathbb{R}^m$ be continues and differentiable on $( a,b)$ and let $lVert xrVert = sqrt{langle x,xrangle}$ the euclidean norm in $mathbb{R}^m$, show that $lVertphi(b)-phi(a)rVert leq sup_{t in (a,b)} lVertphi'(t)rVert (b-a)$ ?



I did used Lagrange mean value theorem on $g(t) = langlephi(t),phi(b)-phi(a)rangle$ but ended up with two sup on the interval $(a,b)$



Any hints or proof or ideas are appreciated










share|cite|improve this question















Let $phi : [a,b] to mathbb{R}^m$ be continues and differentiable on $( a,b)$ and let $lVert xrVert = sqrt{langle x,xrangle}$ the euclidean norm in $mathbb{R}^m$, show that $lVertphi(b)-phi(a)rVert leq sup_{t in (a,b)} lVertphi'(t)rVert (b-a)$ ?



I did used Lagrange mean value theorem on $g(t) = langlephi(t),phi(b)-phi(a)rangle$ but ended up with two sup on the interval $(a,b)$



Any hints or proof or ideas are appreciated







calculus multivariable-calculus derivatives partial-derivative






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited yesterday









user10354138

6,199523




6,199523










asked yesterday









Ahmad

2,4401625




2,4401625








  • 1




    I might be wrong, but I think this is an application of Mean Value Theorem.
    – IAmNoOne
    yesterday










  • @IAmNoOne i think so, but i used it twice so my bound is weaker than what i have to show!
    – Ahmad
    yesterday










  • Use MVT for the function $t to phi (at+(1-t)b)$ defined on $[0,1]$.
    – Kavi Rama Murthy
    yesterday














  • 1




    I might be wrong, but I think this is an application of Mean Value Theorem.
    – IAmNoOne
    yesterday










  • @IAmNoOne i think so, but i used it twice so my bound is weaker than what i have to show!
    – Ahmad
    yesterday










  • Use MVT for the function $t to phi (at+(1-t)b)$ defined on $[0,1]$.
    – Kavi Rama Murthy
    yesterday








1




1




I might be wrong, but I think this is an application of Mean Value Theorem.
– IAmNoOne
yesterday




I might be wrong, but I think this is an application of Mean Value Theorem.
– IAmNoOne
yesterday












@IAmNoOne i think so, but i used it twice so my bound is weaker than what i have to show!
– Ahmad
yesterday




@IAmNoOne i think so, but i used it twice so my bound is weaker than what i have to show!
– Ahmad
yesterday












Use MVT for the function $t to phi (at+(1-t)b)$ defined on $[0,1]$.
– Kavi Rama Murthy
yesterday




Use MVT for the function $t to phi (at+(1-t)b)$ defined on $[0,1]$.
– Kavi Rama Murthy
yesterday










1 Answer
1






active

oldest

votes

















up vote
2
down vote



accepted










You have just to apply the Mean Value Theorem to your function
$$
g(t) := langle phi(t), phi(b) - phi(a)rangle,
qquad t in [a,b].
$$

Namely,
$$
g(b) - g(a) = |phi(b) - phi(a)|^2,
$$

whereas, for $tin (a,b)$, by the Cauchy-Schwarz inequality we get
$$
g'(t) = langle phi'(t), phi(b) - phi(a)rangle
leq |phi'(t)|, |phi(b)-phi(a)|
leq sup_{sin (a,b)}|phi'(s)|, |phi(b) - phi(a)|.
$$

On the other hand, by the MVT, there exists $xi in (a,b)$ such that
$$
g(b) - g(a) = g'(xi) (b-a)
$$

so that
$$
|phi(b) - phi(a)|^2 = g'(xi) (b-a)
leq sup|phi'(t)|, |phi(b) - phi(a)|, (b-a).
$$






share|cite|improve this answer























  • you used Cauchy-Schwartz inequality ?
    – Ahmad
    yesterday










  • Yes, in the third formula.
    – Rigel
    yesterday











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',
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%2f2996393%2fbounds-on-function-from-a-b-to-mathbbrm%23new-answer', 'question_page');
}
);

Post as a guest
































1 Answer
1






active

oldest

votes








1 Answer
1






active

oldest

votes









active

oldest

votes






active

oldest

votes








up vote
2
down vote



accepted










You have just to apply the Mean Value Theorem to your function
$$
g(t) := langle phi(t), phi(b) - phi(a)rangle,
qquad t in [a,b].
$$

Namely,
$$
g(b) - g(a) = |phi(b) - phi(a)|^2,
$$

whereas, for $tin (a,b)$, by the Cauchy-Schwarz inequality we get
$$
g'(t) = langle phi'(t), phi(b) - phi(a)rangle
leq |phi'(t)|, |phi(b)-phi(a)|
leq sup_{sin (a,b)}|phi'(s)|, |phi(b) - phi(a)|.
$$

On the other hand, by the MVT, there exists $xi in (a,b)$ such that
$$
g(b) - g(a) = g'(xi) (b-a)
$$

so that
$$
|phi(b) - phi(a)|^2 = g'(xi) (b-a)
leq sup|phi'(t)|, |phi(b) - phi(a)|, (b-a).
$$






share|cite|improve this answer























  • you used Cauchy-Schwartz inequality ?
    – Ahmad
    yesterday










  • Yes, in the third formula.
    – Rigel
    yesterday















up vote
2
down vote



accepted










You have just to apply the Mean Value Theorem to your function
$$
g(t) := langle phi(t), phi(b) - phi(a)rangle,
qquad t in [a,b].
$$

Namely,
$$
g(b) - g(a) = |phi(b) - phi(a)|^2,
$$

whereas, for $tin (a,b)$, by the Cauchy-Schwarz inequality we get
$$
g'(t) = langle phi'(t), phi(b) - phi(a)rangle
leq |phi'(t)|, |phi(b)-phi(a)|
leq sup_{sin (a,b)}|phi'(s)|, |phi(b) - phi(a)|.
$$

On the other hand, by the MVT, there exists $xi in (a,b)$ such that
$$
g(b) - g(a) = g'(xi) (b-a)
$$

so that
$$
|phi(b) - phi(a)|^2 = g'(xi) (b-a)
leq sup|phi'(t)|, |phi(b) - phi(a)|, (b-a).
$$






share|cite|improve this answer























  • you used Cauchy-Schwartz inequality ?
    – Ahmad
    yesterday










  • Yes, in the third formula.
    – Rigel
    yesterday













up vote
2
down vote



accepted







up vote
2
down vote



accepted






You have just to apply the Mean Value Theorem to your function
$$
g(t) := langle phi(t), phi(b) - phi(a)rangle,
qquad t in [a,b].
$$

Namely,
$$
g(b) - g(a) = |phi(b) - phi(a)|^2,
$$

whereas, for $tin (a,b)$, by the Cauchy-Schwarz inequality we get
$$
g'(t) = langle phi'(t), phi(b) - phi(a)rangle
leq |phi'(t)|, |phi(b)-phi(a)|
leq sup_{sin (a,b)}|phi'(s)|, |phi(b) - phi(a)|.
$$

On the other hand, by the MVT, there exists $xi in (a,b)$ such that
$$
g(b) - g(a) = g'(xi) (b-a)
$$

so that
$$
|phi(b) - phi(a)|^2 = g'(xi) (b-a)
leq sup|phi'(t)|, |phi(b) - phi(a)|, (b-a).
$$






share|cite|improve this answer














You have just to apply the Mean Value Theorem to your function
$$
g(t) := langle phi(t), phi(b) - phi(a)rangle,
qquad t in [a,b].
$$

Namely,
$$
g(b) - g(a) = |phi(b) - phi(a)|^2,
$$

whereas, for $tin (a,b)$, by the Cauchy-Schwarz inequality we get
$$
g'(t) = langle phi'(t), phi(b) - phi(a)rangle
leq |phi'(t)|, |phi(b)-phi(a)|
leq sup_{sin (a,b)}|phi'(s)|, |phi(b) - phi(a)|.
$$

On the other hand, by the MVT, there exists $xi in (a,b)$ such that
$$
g(b) - g(a) = g'(xi) (b-a)
$$

so that
$$
|phi(b) - phi(a)|^2 = g'(xi) (b-a)
leq sup|phi'(t)|, |phi(b) - phi(a)|, (b-a).
$$







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited yesterday

























answered yesterday









Rigel

10.6k11319




10.6k11319












  • you used Cauchy-Schwartz inequality ?
    – Ahmad
    yesterday










  • Yes, in the third formula.
    – Rigel
    yesterday


















  • you used Cauchy-Schwartz inequality ?
    – Ahmad
    yesterday










  • Yes, in the third formula.
    – Rigel
    yesterday
















you used Cauchy-Schwartz inequality ?
– Ahmad
yesterday




you used Cauchy-Schwartz inequality ?
– Ahmad
yesterday












Yes, in the third formula.
– Rigel
yesterday




Yes, in the third formula.
– Rigel
yesterday


















 

draft saved


draft discarded



















































 


draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2996393%2fbounds-on-function-from-a-b-to-mathbbrm%23new-answer', 'question_page');
}
);

Post as a guest




















































































Popular posts from this blog

How do I know what Microsoft account the skydrive app is syncing to?

When does type information flow backwards in C++?

Grease: Live!