Question concerning an application of Cauchy-Schwarz
Specifically, the question is as follows:
Prove that for every integrable real-valued $f:mathbb{R}rightarrowmathbb{R}$,
$$left(int_1^ef(x)dxright)^2leqint_1^ex(f(x))^2dx.$$
I'm really just looking for assistance getting started on this problem. It is homework, so I request hints, not a full solution. For reference, this was asked in the context of linear algebra, not real analysis.
I am able to show that
$$langle f,grangle=int_1^ef(t)g(t)dt$$
is an inner product on $L^2$. We have developed the Cauchy-Schwarz inequality, but not Schwarz's inequality, so this question is presumably solvable simply using
$$|langle u,vrangle|leq|u||v|$$
(where $u$ and $v$ are elements of some vector space). So, setting $g=1$, we have
$$left(int_1^ef(x)dxright)^2=|langle f,grangle|^2leq(|f||1|)^2=(e-1)int_1^e(f(x))^2dx.$$
But I don't see how to draw the desired conclusion from here (so maybe I'm not approaching it right??).
real-analysis linear-algebra norm inner-product-space cauchy-schwarz-inequality
|
show 1 more comment
Specifically, the question is as follows:
Prove that for every integrable real-valued $f:mathbb{R}rightarrowmathbb{R}$,
$$left(int_1^ef(x)dxright)^2leqint_1^ex(f(x))^2dx.$$
I'm really just looking for assistance getting started on this problem. It is homework, so I request hints, not a full solution. For reference, this was asked in the context of linear algebra, not real analysis.
I am able to show that
$$langle f,grangle=int_1^ef(t)g(t)dt$$
is an inner product on $L^2$. We have developed the Cauchy-Schwarz inequality, but not Schwarz's inequality, so this question is presumably solvable simply using
$$|langle u,vrangle|leq|u||v|$$
(where $u$ and $v$ are elements of some vector space). So, setting $g=1$, we have
$$left(int_1^ef(x)dxright)^2=|langle f,grangle|^2leq(|f||1|)^2=(e-1)int_1^e(f(x))^2dx.$$
But I don't see how to draw the desired conclusion from here (so maybe I'm not approaching it right??).
real-analysis linear-algebra norm inner-product-space cauchy-schwarz-inequality
What happens if $u = f(x)/sqrt x$ and $g = sqrt x$?
– JavaMan
Nov 20 '18 at 3:57
@JavaMan You mean $v=sqrt{x}$?
– Atsina
Nov 20 '18 at 3:59
@JavaMan Something like $left(int_1^efright)^2=left|int_1^efright|^2=|langle u,vrangle|^2leq(|u||v|)^2=left(sqrt{int_1^efrac{f^2}{x}}sqrt{int_1^ex}right)^2=int_1^efrac{f^2}{x}int_1^exleqint_1^exf^2$
– Atsina
Nov 20 '18 at 4:18
Oops. I meant $u = f(x) sqrt x$ and $v =1/ sqrt x$
– JavaMan
Nov 20 '18 at 4:26
I don't think your last inequality in your most recent comment is valid...
– JavaMan
Nov 20 '18 at 4:27
|
show 1 more comment
Specifically, the question is as follows:
Prove that for every integrable real-valued $f:mathbb{R}rightarrowmathbb{R}$,
$$left(int_1^ef(x)dxright)^2leqint_1^ex(f(x))^2dx.$$
I'm really just looking for assistance getting started on this problem. It is homework, so I request hints, not a full solution. For reference, this was asked in the context of linear algebra, not real analysis.
I am able to show that
$$langle f,grangle=int_1^ef(t)g(t)dt$$
is an inner product on $L^2$. We have developed the Cauchy-Schwarz inequality, but not Schwarz's inequality, so this question is presumably solvable simply using
$$|langle u,vrangle|leq|u||v|$$
(where $u$ and $v$ are elements of some vector space). So, setting $g=1$, we have
$$left(int_1^ef(x)dxright)^2=|langle f,grangle|^2leq(|f||1|)^2=(e-1)int_1^e(f(x))^2dx.$$
But I don't see how to draw the desired conclusion from here (so maybe I'm not approaching it right??).
real-analysis linear-algebra norm inner-product-space cauchy-schwarz-inequality
Specifically, the question is as follows:
Prove that for every integrable real-valued $f:mathbb{R}rightarrowmathbb{R}$,
$$left(int_1^ef(x)dxright)^2leqint_1^ex(f(x))^2dx.$$
I'm really just looking for assistance getting started on this problem. It is homework, so I request hints, not a full solution. For reference, this was asked in the context of linear algebra, not real analysis.
I am able to show that
$$langle f,grangle=int_1^ef(t)g(t)dt$$
is an inner product on $L^2$. We have developed the Cauchy-Schwarz inequality, but not Schwarz's inequality, so this question is presumably solvable simply using
$$|langle u,vrangle|leq|u||v|$$
(where $u$ and $v$ are elements of some vector space). So, setting $g=1$, we have
$$left(int_1^ef(x)dxright)^2=|langle f,grangle|^2leq(|f||1|)^2=(e-1)int_1^e(f(x))^2dx.$$
But I don't see how to draw the desired conclusion from here (so maybe I'm not approaching it right??).
real-analysis linear-algebra norm inner-product-space cauchy-schwarz-inequality
real-analysis linear-algebra norm inner-product-space cauchy-schwarz-inequality
asked Nov 20 '18 at 3:55
Atsina
791116
791116
What happens if $u = f(x)/sqrt x$ and $g = sqrt x$?
– JavaMan
Nov 20 '18 at 3:57
@JavaMan You mean $v=sqrt{x}$?
– Atsina
Nov 20 '18 at 3:59
@JavaMan Something like $left(int_1^efright)^2=left|int_1^efright|^2=|langle u,vrangle|^2leq(|u||v|)^2=left(sqrt{int_1^efrac{f^2}{x}}sqrt{int_1^ex}right)^2=int_1^efrac{f^2}{x}int_1^exleqint_1^exf^2$
– Atsina
Nov 20 '18 at 4:18
Oops. I meant $u = f(x) sqrt x$ and $v =1/ sqrt x$
– JavaMan
Nov 20 '18 at 4:26
I don't think your last inequality in your most recent comment is valid...
– JavaMan
Nov 20 '18 at 4:27
|
show 1 more comment
What happens if $u = f(x)/sqrt x$ and $g = sqrt x$?
– JavaMan
Nov 20 '18 at 3:57
@JavaMan You mean $v=sqrt{x}$?
– Atsina
Nov 20 '18 at 3:59
@JavaMan Something like $left(int_1^efright)^2=left|int_1^efright|^2=|langle u,vrangle|^2leq(|u||v|)^2=left(sqrt{int_1^efrac{f^2}{x}}sqrt{int_1^ex}right)^2=int_1^efrac{f^2}{x}int_1^exleqint_1^exf^2$
– Atsina
Nov 20 '18 at 4:18
Oops. I meant $u = f(x) sqrt x$ and $v =1/ sqrt x$
– JavaMan
Nov 20 '18 at 4:26
I don't think your last inequality in your most recent comment is valid...
– JavaMan
Nov 20 '18 at 4:27
What happens if $u = f(x)/sqrt x$ and $g = sqrt x$?
– JavaMan
Nov 20 '18 at 3:57
What happens if $u = f(x)/sqrt x$ and $g = sqrt x$?
– JavaMan
Nov 20 '18 at 3:57
@JavaMan You mean $v=sqrt{x}$?
– Atsina
Nov 20 '18 at 3:59
@JavaMan You mean $v=sqrt{x}$?
– Atsina
Nov 20 '18 at 3:59
@JavaMan Something like $left(int_1^efright)^2=left|int_1^efright|^2=|langle u,vrangle|^2leq(|u||v|)^2=left(sqrt{int_1^efrac{f^2}{x}}sqrt{int_1^ex}right)^2=int_1^efrac{f^2}{x}int_1^exleqint_1^exf^2$
– Atsina
Nov 20 '18 at 4:18
@JavaMan Something like $left(int_1^efright)^2=left|int_1^efright|^2=|langle u,vrangle|^2leq(|u||v|)^2=left(sqrt{int_1^efrac{f^2}{x}}sqrt{int_1^ex}right)^2=int_1^efrac{f^2}{x}int_1^exleqint_1^exf^2$
– Atsina
Nov 20 '18 at 4:18
Oops. I meant $u = f(x) sqrt x$ and $v =1/ sqrt x$
– JavaMan
Nov 20 '18 at 4:26
Oops. I meant $u = f(x) sqrt x$ and $v =1/ sqrt x$
– JavaMan
Nov 20 '18 at 4:26
I don't think your last inequality in your most recent comment is valid...
– JavaMan
Nov 20 '18 at 4:27
I don't think your last inequality in your most recent comment is valid...
– JavaMan
Nov 20 '18 at 4:27
|
show 1 more comment
1 Answer
1
active
oldest
votes
Hint:
begin{align}
int^e_1 frac{dx}{x} = 1.
end{align}
Ah. This is a better formulation of the idea presented in the comments. Thank you.
– Atsina
Nov 20 '18 at 4:25
2
@Atsina Basically the same thing.
– xbh
Nov 20 '18 at 4:26
@xbh Indeed. It's just (slightly) easier to work with.
– Atsina
Nov 20 '18 at 4:33
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
});
}
});
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%2f3005913%2fquestion-concerning-an-application-of-cauchy-schwarz%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
Hint:
begin{align}
int^e_1 frac{dx}{x} = 1.
end{align}
Ah. This is a better formulation of the idea presented in the comments. Thank you.
– Atsina
Nov 20 '18 at 4:25
2
@Atsina Basically the same thing.
– xbh
Nov 20 '18 at 4:26
@xbh Indeed. It's just (slightly) easier to work with.
– Atsina
Nov 20 '18 at 4:33
add a comment |
Hint:
begin{align}
int^e_1 frac{dx}{x} = 1.
end{align}
Ah. This is a better formulation of the idea presented in the comments. Thank you.
– Atsina
Nov 20 '18 at 4:25
2
@Atsina Basically the same thing.
– xbh
Nov 20 '18 at 4:26
@xbh Indeed. It's just (slightly) easier to work with.
– Atsina
Nov 20 '18 at 4:33
add a comment |
Hint:
begin{align}
int^e_1 frac{dx}{x} = 1.
end{align}
Hint:
begin{align}
int^e_1 frac{dx}{x} = 1.
end{align}
answered Nov 20 '18 at 4:14
Jacky Chong
17.7k21128
17.7k21128
Ah. This is a better formulation of the idea presented in the comments. Thank you.
– Atsina
Nov 20 '18 at 4:25
2
@Atsina Basically the same thing.
– xbh
Nov 20 '18 at 4:26
@xbh Indeed. It's just (slightly) easier to work with.
– Atsina
Nov 20 '18 at 4:33
add a comment |
Ah. This is a better formulation of the idea presented in the comments. Thank you.
– Atsina
Nov 20 '18 at 4:25
2
@Atsina Basically the same thing.
– xbh
Nov 20 '18 at 4:26
@xbh Indeed. It's just (slightly) easier to work with.
– Atsina
Nov 20 '18 at 4:33
Ah. This is a better formulation of the idea presented in the comments. Thank you.
– Atsina
Nov 20 '18 at 4:25
Ah. This is a better formulation of the idea presented in the comments. Thank you.
– Atsina
Nov 20 '18 at 4:25
2
2
@Atsina Basically the same thing.
– xbh
Nov 20 '18 at 4:26
@Atsina Basically the same thing.
– xbh
Nov 20 '18 at 4:26
@xbh Indeed. It's just (slightly) easier to work with.
– Atsina
Nov 20 '18 at 4:33
@xbh Indeed. It's just (slightly) easier to work with.
– Atsina
Nov 20 '18 at 4:33
add a comment |
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%2f3005913%2fquestion-concerning-an-application-of-cauchy-schwarz%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
What happens if $u = f(x)/sqrt x$ and $g = sqrt x$?
– JavaMan
Nov 20 '18 at 3:57
@JavaMan You mean $v=sqrt{x}$?
– Atsina
Nov 20 '18 at 3:59
@JavaMan Something like $left(int_1^efright)^2=left|int_1^efright|^2=|langle u,vrangle|^2leq(|u||v|)^2=left(sqrt{int_1^efrac{f^2}{x}}sqrt{int_1^ex}right)^2=int_1^efrac{f^2}{x}int_1^exleqint_1^exf^2$
– Atsina
Nov 20 '18 at 4:18
Oops. I meant $u = f(x) sqrt x$ and $v =1/ sqrt x$
– JavaMan
Nov 20 '18 at 4:26
I don't think your last inequality in your most recent comment is valid...
– JavaMan
Nov 20 '18 at 4:27