Showing that $f(x)$ is convex in $(0,3)$
I've got the following function: $$f(x)=frac{1}{16x}-frac{1}{(x+3)^2} $$
And I wish to show that it is convex in the open interval $(0,3)$, took the second derivative, i.e.$$f''(x)=frac{1}{8x^3}-frac{6}{(x+3)^4}$$
I painstakingly tried to expand it and algebraically manipulate it to solve $f''(x)>0$, but that seems pretty hopeless, how should I go about this?
calculus inequality functional-inequalities
add a comment |
I've got the following function: $$f(x)=frac{1}{16x}-frac{1}{(x+3)^2} $$
And I wish to show that it is convex in the open interval $(0,3)$, took the second derivative, i.e.$$f''(x)=frac{1}{8x^3}-frac{6}{(x+3)^4}$$
I painstakingly tried to expand it and algebraically manipulate it to solve $f''(x)>0$, but that seems pretty hopeless, how should I go about this?
calculus inequality functional-inequalities
add a comment |
I've got the following function: $$f(x)=frac{1}{16x}-frac{1}{(x+3)^2} $$
And I wish to show that it is convex in the open interval $(0,3)$, took the second derivative, i.e.$$f''(x)=frac{1}{8x^3}-frac{6}{(x+3)^4}$$
I painstakingly tried to expand it and algebraically manipulate it to solve $f''(x)>0$, but that seems pretty hopeless, how should I go about this?
calculus inequality functional-inequalities
I've got the following function: $$f(x)=frac{1}{16x}-frac{1}{(x+3)^2} $$
And I wish to show that it is convex in the open interval $(0,3)$, took the second derivative, i.e.$$f''(x)=frac{1}{8x^3}-frac{6}{(x+3)^4}$$
I painstakingly tried to expand it and algebraically manipulate it to solve $f''(x)>0$, but that seems pretty hopeless, how should I go about this?
calculus inequality functional-inequalities
calculus inequality functional-inequalities
asked Nov 24 at 18:07
Spasoje Durovic
19410
19410
add a comment |
add a comment |
2 Answers
2
active
oldest
votes
We are claiming that
$$f''(x)=frac{1}{8x^3}-frac{6}{(x+3)^4}>0 ifffrac{(x+3)^4-48x^3}{8x^3(x+3)^4}>0$$
then we need to prove that (using the idea by Timothy for the rational roots)
$$bar g(x)=(x+3)^4-48x^3=(x-3)(x^3-33x^2-45x-27)>0$$
that is
$$g(x)=x^3-33x^2-45x-27<0$$
and we have
- $g(0)=-27$
- $g(3)=-432$
- $h(x)=g'(x)=3x^2-66x-45<0$
therefore
$g(x)$ is strictly decreasing on the interval
$g(x)$ is negative on the interval
add a comment |
Here's something I would do:
Solve $f''(x)=0$ and test a value inside your open interval.
So we have: $$frac1{8x^3}-frac6{(x+3)^4}=0$$
$$frac{1}{8x^3}=frac{6}{(x+3)^4}$$
Then I would cross multiply and expand $(x+3)^4$:
$$(x+3)^4=48x^3$$
$$x^4+12x^3+54x^2+108x+81=48x^3$$
$$x^4-36x^3+54x^2+108x+81=0$$
At this point, we could use the Rational Root Theorem to guess roots.
The possible roots are $pm1, pm3, pm27, pm81$.
Of these, we find that $x=3$ works, as $3^4-36(3)^3+54(3)^2+108(3)+81=0$.
I think you could take it from here.
Damn! I tried to apply RRT, checked 1, and -1 and was like, yeah, this won't work, turns out, I shouldn't have been lazy -.-
– Spasoje Durovic
Nov 24 at 18:33
yeah sometimes the roots are like 3 or -3, I was kind of able to tell that it was 3 because the coefficients had a common factor of 3
– Timothy Cho
Nov 24 at 18:33
1
RRT only gives us the rational roots but how can we conclude form here that we have not others not rational roots on the interval $(0,3)$?
– gimusi
Nov 24 at 18:40
I'm trying to complete the arguement, anyway, I've read through your answer and it's quite nice, I don't think I would've came up with that, so I'm trying to adapt my initial attempt, if i'm unable to, I will try to go carefully through yours to get more insight on how you came up with it
– Spasoje Durovic
Nov 24 at 18:46
1
@SpasojeDurovic The edited version is simpler than the forst one. For the previous the reasoning make use of simple properties for continuos funtions (IVT and Weierstrass) and for derivatives. We have that the previsous g(x) was equal to 0 ate the limits of the interval. Now, since the derivative h(x) has exactly one root on that interval, considering also the sign of h(x), g(x) must have exactly a maximum and then it can cross the x axis, otherwise g(x) would have also a minimum on that interval.
– gimusi
Nov 24 at 19:16
|
show 5 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%2f3011871%2fshowing-that-fx-is-convex-in-0-3%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
We are claiming that
$$f''(x)=frac{1}{8x^3}-frac{6}{(x+3)^4}>0 ifffrac{(x+3)^4-48x^3}{8x^3(x+3)^4}>0$$
then we need to prove that (using the idea by Timothy for the rational roots)
$$bar g(x)=(x+3)^4-48x^3=(x-3)(x^3-33x^2-45x-27)>0$$
that is
$$g(x)=x^3-33x^2-45x-27<0$$
and we have
- $g(0)=-27$
- $g(3)=-432$
- $h(x)=g'(x)=3x^2-66x-45<0$
therefore
$g(x)$ is strictly decreasing on the interval
$g(x)$ is negative on the interval
add a comment |
We are claiming that
$$f''(x)=frac{1}{8x^3}-frac{6}{(x+3)^4}>0 ifffrac{(x+3)^4-48x^3}{8x^3(x+3)^4}>0$$
then we need to prove that (using the idea by Timothy for the rational roots)
$$bar g(x)=(x+3)^4-48x^3=(x-3)(x^3-33x^2-45x-27)>0$$
that is
$$g(x)=x^3-33x^2-45x-27<0$$
and we have
- $g(0)=-27$
- $g(3)=-432$
- $h(x)=g'(x)=3x^2-66x-45<0$
therefore
$g(x)$ is strictly decreasing on the interval
$g(x)$ is negative on the interval
add a comment |
We are claiming that
$$f''(x)=frac{1}{8x^3}-frac{6}{(x+3)^4}>0 ifffrac{(x+3)^4-48x^3}{8x^3(x+3)^4}>0$$
then we need to prove that (using the idea by Timothy for the rational roots)
$$bar g(x)=(x+3)^4-48x^3=(x-3)(x^3-33x^2-45x-27)>0$$
that is
$$g(x)=x^3-33x^2-45x-27<0$$
and we have
- $g(0)=-27$
- $g(3)=-432$
- $h(x)=g'(x)=3x^2-66x-45<0$
therefore
$g(x)$ is strictly decreasing on the interval
$g(x)$ is negative on the interval
We are claiming that
$$f''(x)=frac{1}{8x^3}-frac{6}{(x+3)^4}>0 ifffrac{(x+3)^4-48x^3}{8x^3(x+3)^4}>0$$
then we need to prove that (using the idea by Timothy for the rational roots)
$$bar g(x)=(x+3)^4-48x^3=(x-3)(x^3-33x^2-45x-27)>0$$
that is
$$g(x)=x^3-33x^2-45x-27<0$$
and we have
- $g(0)=-27$
- $g(3)=-432$
- $h(x)=g'(x)=3x^2-66x-45<0$
therefore
$g(x)$ is strictly decreasing on the interval
$g(x)$ is negative on the interval
edited Nov 24 at 19:06
answered Nov 24 at 18:34
gimusi
1
1
add a comment |
add a comment |
Here's something I would do:
Solve $f''(x)=0$ and test a value inside your open interval.
So we have: $$frac1{8x^3}-frac6{(x+3)^4}=0$$
$$frac{1}{8x^3}=frac{6}{(x+3)^4}$$
Then I would cross multiply and expand $(x+3)^4$:
$$(x+3)^4=48x^3$$
$$x^4+12x^3+54x^2+108x+81=48x^3$$
$$x^4-36x^3+54x^2+108x+81=0$$
At this point, we could use the Rational Root Theorem to guess roots.
The possible roots are $pm1, pm3, pm27, pm81$.
Of these, we find that $x=3$ works, as $3^4-36(3)^3+54(3)^2+108(3)+81=0$.
I think you could take it from here.
Damn! I tried to apply RRT, checked 1, and -1 and was like, yeah, this won't work, turns out, I shouldn't have been lazy -.-
– Spasoje Durovic
Nov 24 at 18:33
yeah sometimes the roots are like 3 or -3, I was kind of able to tell that it was 3 because the coefficients had a common factor of 3
– Timothy Cho
Nov 24 at 18:33
1
RRT only gives us the rational roots but how can we conclude form here that we have not others not rational roots on the interval $(0,3)$?
– gimusi
Nov 24 at 18:40
I'm trying to complete the arguement, anyway, I've read through your answer and it's quite nice, I don't think I would've came up with that, so I'm trying to adapt my initial attempt, if i'm unable to, I will try to go carefully through yours to get more insight on how you came up with it
– Spasoje Durovic
Nov 24 at 18:46
1
@SpasojeDurovic The edited version is simpler than the forst one. For the previous the reasoning make use of simple properties for continuos funtions (IVT and Weierstrass) and for derivatives. We have that the previsous g(x) was equal to 0 ate the limits of the interval. Now, since the derivative h(x) has exactly one root on that interval, considering also the sign of h(x), g(x) must have exactly a maximum and then it can cross the x axis, otherwise g(x) would have also a minimum on that interval.
– gimusi
Nov 24 at 19:16
|
show 5 more comments
Here's something I would do:
Solve $f''(x)=0$ and test a value inside your open interval.
So we have: $$frac1{8x^3}-frac6{(x+3)^4}=0$$
$$frac{1}{8x^3}=frac{6}{(x+3)^4}$$
Then I would cross multiply and expand $(x+3)^4$:
$$(x+3)^4=48x^3$$
$$x^4+12x^3+54x^2+108x+81=48x^3$$
$$x^4-36x^3+54x^2+108x+81=0$$
At this point, we could use the Rational Root Theorem to guess roots.
The possible roots are $pm1, pm3, pm27, pm81$.
Of these, we find that $x=3$ works, as $3^4-36(3)^3+54(3)^2+108(3)+81=0$.
I think you could take it from here.
Damn! I tried to apply RRT, checked 1, and -1 and was like, yeah, this won't work, turns out, I shouldn't have been lazy -.-
– Spasoje Durovic
Nov 24 at 18:33
yeah sometimes the roots are like 3 or -3, I was kind of able to tell that it was 3 because the coefficients had a common factor of 3
– Timothy Cho
Nov 24 at 18:33
1
RRT only gives us the rational roots but how can we conclude form here that we have not others not rational roots on the interval $(0,3)$?
– gimusi
Nov 24 at 18:40
I'm trying to complete the arguement, anyway, I've read through your answer and it's quite nice, I don't think I would've came up with that, so I'm trying to adapt my initial attempt, if i'm unable to, I will try to go carefully through yours to get more insight on how you came up with it
– Spasoje Durovic
Nov 24 at 18:46
1
@SpasojeDurovic The edited version is simpler than the forst one. For the previous the reasoning make use of simple properties for continuos funtions (IVT and Weierstrass) and for derivatives. We have that the previsous g(x) was equal to 0 ate the limits of the interval. Now, since the derivative h(x) has exactly one root on that interval, considering also the sign of h(x), g(x) must have exactly a maximum and then it can cross the x axis, otherwise g(x) would have also a minimum on that interval.
– gimusi
Nov 24 at 19:16
|
show 5 more comments
Here's something I would do:
Solve $f''(x)=0$ and test a value inside your open interval.
So we have: $$frac1{8x^3}-frac6{(x+3)^4}=0$$
$$frac{1}{8x^3}=frac{6}{(x+3)^4}$$
Then I would cross multiply and expand $(x+3)^4$:
$$(x+3)^4=48x^3$$
$$x^4+12x^3+54x^2+108x+81=48x^3$$
$$x^4-36x^3+54x^2+108x+81=0$$
At this point, we could use the Rational Root Theorem to guess roots.
The possible roots are $pm1, pm3, pm27, pm81$.
Of these, we find that $x=3$ works, as $3^4-36(3)^3+54(3)^2+108(3)+81=0$.
I think you could take it from here.
Here's something I would do:
Solve $f''(x)=0$ and test a value inside your open interval.
So we have: $$frac1{8x^3}-frac6{(x+3)^4}=0$$
$$frac{1}{8x^3}=frac{6}{(x+3)^4}$$
Then I would cross multiply and expand $(x+3)^4$:
$$(x+3)^4=48x^3$$
$$x^4+12x^3+54x^2+108x+81=48x^3$$
$$x^4-36x^3+54x^2+108x+81=0$$
At this point, we could use the Rational Root Theorem to guess roots.
The possible roots are $pm1, pm3, pm27, pm81$.
Of these, we find that $x=3$ works, as $3^4-36(3)^3+54(3)^2+108(3)+81=0$.
I think you could take it from here.
answered Nov 24 at 18:30
Timothy Cho
789519
789519
Damn! I tried to apply RRT, checked 1, and -1 and was like, yeah, this won't work, turns out, I shouldn't have been lazy -.-
– Spasoje Durovic
Nov 24 at 18:33
yeah sometimes the roots are like 3 or -3, I was kind of able to tell that it was 3 because the coefficients had a common factor of 3
– Timothy Cho
Nov 24 at 18:33
1
RRT only gives us the rational roots but how can we conclude form here that we have not others not rational roots on the interval $(0,3)$?
– gimusi
Nov 24 at 18:40
I'm trying to complete the arguement, anyway, I've read through your answer and it's quite nice, I don't think I would've came up with that, so I'm trying to adapt my initial attempt, if i'm unable to, I will try to go carefully through yours to get more insight on how you came up with it
– Spasoje Durovic
Nov 24 at 18:46
1
@SpasojeDurovic The edited version is simpler than the forst one. For the previous the reasoning make use of simple properties for continuos funtions (IVT and Weierstrass) and for derivatives. We have that the previsous g(x) was equal to 0 ate the limits of the interval. Now, since the derivative h(x) has exactly one root on that interval, considering also the sign of h(x), g(x) must have exactly a maximum and then it can cross the x axis, otherwise g(x) would have also a minimum on that interval.
– gimusi
Nov 24 at 19:16
|
show 5 more comments
Damn! I tried to apply RRT, checked 1, and -1 and was like, yeah, this won't work, turns out, I shouldn't have been lazy -.-
– Spasoje Durovic
Nov 24 at 18:33
yeah sometimes the roots are like 3 or -3, I was kind of able to tell that it was 3 because the coefficients had a common factor of 3
– Timothy Cho
Nov 24 at 18:33
1
RRT only gives us the rational roots but how can we conclude form here that we have not others not rational roots on the interval $(0,3)$?
– gimusi
Nov 24 at 18:40
I'm trying to complete the arguement, anyway, I've read through your answer and it's quite nice, I don't think I would've came up with that, so I'm trying to adapt my initial attempt, if i'm unable to, I will try to go carefully through yours to get more insight on how you came up with it
– Spasoje Durovic
Nov 24 at 18:46
1
@SpasojeDurovic The edited version is simpler than the forst one. For the previous the reasoning make use of simple properties for continuos funtions (IVT and Weierstrass) and for derivatives. We have that the previsous g(x) was equal to 0 ate the limits of the interval. Now, since the derivative h(x) has exactly one root on that interval, considering also the sign of h(x), g(x) must have exactly a maximum and then it can cross the x axis, otherwise g(x) would have also a minimum on that interval.
– gimusi
Nov 24 at 19:16
Damn! I tried to apply RRT, checked 1, and -1 and was like, yeah, this won't work, turns out, I shouldn't have been lazy -.-
– Spasoje Durovic
Nov 24 at 18:33
Damn! I tried to apply RRT, checked 1, and -1 and was like, yeah, this won't work, turns out, I shouldn't have been lazy -.-
– Spasoje Durovic
Nov 24 at 18:33
yeah sometimes the roots are like 3 or -3, I was kind of able to tell that it was 3 because the coefficients had a common factor of 3
– Timothy Cho
Nov 24 at 18:33
yeah sometimes the roots are like 3 or -3, I was kind of able to tell that it was 3 because the coefficients had a common factor of 3
– Timothy Cho
Nov 24 at 18:33
1
1
RRT only gives us the rational roots but how can we conclude form here that we have not others not rational roots on the interval $(0,3)$?
– gimusi
Nov 24 at 18:40
RRT only gives us the rational roots but how can we conclude form here that we have not others not rational roots on the interval $(0,3)$?
– gimusi
Nov 24 at 18:40
I'm trying to complete the arguement, anyway, I've read through your answer and it's quite nice, I don't think I would've came up with that, so I'm trying to adapt my initial attempt, if i'm unable to, I will try to go carefully through yours to get more insight on how you came up with it
– Spasoje Durovic
Nov 24 at 18:46
I'm trying to complete the arguement, anyway, I've read through your answer and it's quite nice, I don't think I would've came up with that, so I'm trying to adapt my initial attempt, if i'm unable to, I will try to go carefully through yours to get more insight on how you came up with it
– Spasoje Durovic
Nov 24 at 18:46
1
1
@SpasojeDurovic The edited version is simpler than the forst one. For the previous the reasoning make use of simple properties for continuos funtions (IVT and Weierstrass) and for derivatives. We have that the previsous g(x) was equal to 0 ate the limits of the interval. Now, since the derivative h(x) has exactly one root on that interval, considering also the sign of h(x), g(x) must have exactly a maximum and then it can cross the x axis, otherwise g(x) would have also a minimum on that interval.
– gimusi
Nov 24 at 19:16
@SpasojeDurovic The edited version is simpler than the forst one. For the previous the reasoning make use of simple properties for continuos funtions (IVT and Weierstrass) and for derivatives. We have that the previsous g(x) was equal to 0 ate the limits of the interval. Now, since the derivative h(x) has exactly one root on that interval, considering also the sign of h(x), g(x) must have exactly a maximum and then it can cross the x axis, otherwise g(x) would have also a minimum on that interval.
– gimusi
Nov 24 at 19:16
|
show 5 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.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- 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.
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%2f3011871%2fshowing-that-fx-is-convex-in-0-3%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