$(frac{d}{dt} + 2a)int w^2 dx le 0 implies w=0$ where $a>0$
$begingroup$
$F(t) := int w^2 dx$ where x is a vector and $a,t>0$
Given that $(frac{d}{dt} - 2a)F(t) le 0$
How do I deduce that $w=0$?
My idea was to do:
$(frac{d}{dt} + 2a)F(t) le 0$
$implies $$frac{d}{dt}F(t) le 2aF(t)$
$implies $$int frac{d}{dt}F(t) le int 2aF(t)$
$implies $$F(t) le int 2aF(t)$
Since $a, F(t) > 0 $ $implies $$int 2aF(t)ge0$
$ implies F(t) le 0$ just realised this line is not true either
Since $F(t) ge 0 implies F(t)=0 implies w=0$
The only line am i not sure about is:
$int frac{d}{dt}F(t) le int 2aF(t)$ $implies $$F(t) le int 2aF(t)$
because there should be a constant of integration introduced somewhere
The soln i was given was that $F(t)$ is bdd above by $G(t)$ where $(frac{d}{dt}-2a)G(t) = 0$ and $G(0)=0$ so $implies G=0$
but since $F(t) le 0 implies F=0 implies w=0$
I cant seem to understand this since answer since G isnt defined explicitly
ordinary-differential-equations multivariable-calculus
$endgroup$
add a comment |
$begingroup$
$F(t) := int w^2 dx$ where x is a vector and $a,t>0$
Given that $(frac{d}{dt} - 2a)F(t) le 0$
How do I deduce that $w=0$?
My idea was to do:
$(frac{d}{dt} + 2a)F(t) le 0$
$implies $$frac{d}{dt}F(t) le 2aF(t)$
$implies $$int frac{d}{dt}F(t) le int 2aF(t)$
$implies $$F(t) le int 2aF(t)$
Since $a, F(t) > 0 $ $implies $$int 2aF(t)ge0$
$ implies F(t) le 0$ just realised this line is not true either
Since $F(t) ge 0 implies F(t)=0 implies w=0$
The only line am i not sure about is:
$int frac{d}{dt}F(t) le int 2aF(t)$ $implies $$F(t) le int 2aF(t)$
because there should be a constant of integration introduced somewhere
The soln i was given was that $F(t)$ is bdd above by $G(t)$ where $(frac{d}{dt}-2a)G(t) = 0$ and $G(0)=0$ so $implies G=0$
but since $F(t) le 0 implies F=0 implies w=0$
I cant seem to understand this since answer since G isnt defined explicitly
ordinary-differential-equations multivariable-calculus
$endgroup$
$begingroup$
$G(t)$ is defined expticitly: $G(t) = 0$ for all $t$. What you need to do is to make use of the fact that $G$ is the solution of the differential equation $G' = 2aG$ with $G(0) = 0$ to show that it must also be an upper bound for $F$.
$endgroup$
– Paul Sinclair
Dec 15 '18 at 21:58
$begingroup$
@PaulSinclair but how does G being a soln to that diff eq make it an upper bound for f
$endgroup$
– pablo_mathscobar
Dec 15 '18 at 21:59
add a comment |
$begingroup$
$F(t) := int w^2 dx$ where x is a vector and $a,t>0$
Given that $(frac{d}{dt} - 2a)F(t) le 0$
How do I deduce that $w=0$?
My idea was to do:
$(frac{d}{dt} + 2a)F(t) le 0$
$implies $$frac{d}{dt}F(t) le 2aF(t)$
$implies $$int frac{d}{dt}F(t) le int 2aF(t)$
$implies $$F(t) le int 2aF(t)$
Since $a, F(t) > 0 $ $implies $$int 2aF(t)ge0$
$ implies F(t) le 0$ just realised this line is not true either
Since $F(t) ge 0 implies F(t)=0 implies w=0$
The only line am i not sure about is:
$int frac{d}{dt}F(t) le int 2aF(t)$ $implies $$F(t) le int 2aF(t)$
because there should be a constant of integration introduced somewhere
The soln i was given was that $F(t)$ is bdd above by $G(t)$ where $(frac{d}{dt}-2a)G(t) = 0$ and $G(0)=0$ so $implies G=0$
but since $F(t) le 0 implies F=0 implies w=0$
I cant seem to understand this since answer since G isnt defined explicitly
ordinary-differential-equations multivariable-calculus
$endgroup$
$F(t) := int w^2 dx$ where x is a vector and $a,t>0$
Given that $(frac{d}{dt} - 2a)F(t) le 0$
How do I deduce that $w=0$?
My idea was to do:
$(frac{d}{dt} + 2a)F(t) le 0$
$implies $$frac{d}{dt}F(t) le 2aF(t)$
$implies $$int frac{d}{dt}F(t) le int 2aF(t)$
$implies $$F(t) le int 2aF(t)$
Since $a, F(t) > 0 $ $implies $$int 2aF(t)ge0$
$ implies F(t) le 0$ just realised this line is not true either
Since $F(t) ge 0 implies F(t)=0 implies w=0$
The only line am i not sure about is:
$int frac{d}{dt}F(t) le int 2aF(t)$ $implies $$F(t) le int 2aF(t)$
because there should be a constant of integration introduced somewhere
The soln i was given was that $F(t)$ is bdd above by $G(t)$ where $(frac{d}{dt}-2a)G(t) = 0$ and $G(0)=0$ so $implies G=0$
but since $F(t) le 0 implies F=0 implies w=0$
I cant seem to understand this since answer since G isnt defined explicitly
ordinary-differential-equations multivariable-calculus
ordinary-differential-equations multivariable-calculus
edited Dec 16 '18 at 11:54
pablo_mathscobar
asked Dec 15 '18 at 13:45
pablo_mathscobarpablo_mathscobar
996
996
$begingroup$
$G(t)$ is defined expticitly: $G(t) = 0$ for all $t$. What you need to do is to make use of the fact that $G$ is the solution of the differential equation $G' = 2aG$ with $G(0) = 0$ to show that it must also be an upper bound for $F$.
$endgroup$
– Paul Sinclair
Dec 15 '18 at 21:58
$begingroup$
@PaulSinclair but how does G being a soln to that diff eq make it an upper bound for f
$endgroup$
– pablo_mathscobar
Dec 15 '18 at 21:59
add a comment |
$begingroup$
$G(t)$ is defined expticitly: $G(t) = 0$ for all $t$. What you need to do is to make use of the fact that $G$ is the solution of the differential equation $G' = 2aG$ with $G(0) = 0$ to show that it must also be an upper bound for $F$.
$endgroup$
– Paul Sinclair
Dec 15 '18 at 21:58
$begingroup$
@PaulSinclair but how does G being a soln to that diff eq make it an upper bound for f
$endgroup$
– pablo_mathscobar
Dec 15 '18 at 21:59
$begingroup$
$G(t)$ is defined expticitly: $G(t) = 0$ for all $t$. What you need to do is to make use of the fact that $G$ is the solution of the differential equation $G' = 2aG$ with $G(0) = 0$ to show that it must also be an upper bound for $F$.
$endgroup$
– Paul Sinclair
Dec 15 '18 at 21:58
$begingroup$
$G(t)$ is defined expticitly: $G(t) = 0$ for all $t$. What you need to do is to make use of the fact that $G$ is the solution of the differential equation $G' = 2aG$ with $G(0) = 0$ to show that it must also be an upper bound for $F$.
$endgroup$
– Paul Sinclair
Dec 15 '18 at 21:58
$begingroup$
@PaulSinclair but how does G being a soln to that diff eq make it an upper bound for f
$endgroup$
– pablo_mathscobar
Dec 15 '18 at 21:59
$begingroup$
@PaulSinclair but how does G being a soln to that diff eq make it an upper bound for f
$endgroup$
– pablo_mathscobar
Dec 15 '18 at 21:59
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%2f3041511%2ffracddt-2a-int-w2-dx-le-0-implies-w-0-where-a0%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%2f3041511%2ffracddt-2a-int-w2-dx-le-0-implies-w-0-where-a0%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$
$G(t)$ is defined expticitly: $G(t) = 0$ for all $t$. What you need to do is to make use of the fact that $G$ is the solution of the differential equation $G' = 2aG$ with $G(0) = 0$ to show that it must also be an upper bound for $F$.
$endgroup$
– Paul Sinclair
Dec 15 '18 at 21:58
$begingroup$
@PaulSinclair but how does G being a soln to that diff eq make it an upper bound for f
$endgroup$
– pablo_mathscobar
Dec 15 '18 at 21:59