Show that $f$ is integrable with respect to the Lebesgue measure












0












$begingroup$


Let $alpha gt 0 forall alpha inmathbb{R}$, $f_{alpha}:]0,infty[tomathbb{R}$, $xmapsto e^{-alpha x}left(frac{sin(x)}{x}right)^3$. The goal ist to show that $f_{alpha}$ is integrable with respect to the Lebesgue-measure, which coincides with the Borel measure in this case. I already showed that $f_{alpha}$ is measurable and know that the condition for $f_{alpha}$ being integrable is that $$int_Xlvert{f(x)}rvertmathrm{d}lambdaltinfty$$ with $X=]0,infty[$. Since I am fairly new to this topic, I don't know where to start. I struggle to write out the integral since it can attain negative values and lack a general strategy for exercises like this. Any help is greatly appreciated!










share|cite|improve this question











$endgroup$












  • $begingroup$
    I guess it would be helpful to split the integral in two parts and then write it down explicitly and then to hope that the sum of my $lambda$-measures somehow converges?
    $endgroup$
    – Michael Maier
    Jan 11 at 12:14
















0












$begingroup$


Let $alpha gt 0 forall alpha inmathbb{R}$, $f_{alpha}:]0,infty[tomathbb{R}$, $xmapsto e^{-alpha x}left(frac{sin(x)}{x}right)^3$. The goal ist to show that $f_{alpha}$ is integrable with respect to the Lebesgue-measure, which coincides with the Borel measure in this case. I already showed that $f_{alpha}$ is measurable and know that the condition for $f_{alpha}$ being integrable is that $$int_Xlvert{f(x)}rvertmathrm{d}lambdaltinfty$$ with $X=]0,infty[$. Since I am fairly new to this topic, I don't know where to start. I struggle to write out the integral since it can attain negative values and lack a general strategy for exercises like this. Any help is greatly appreciated!










share|cite|improve this question











$endgroup$












  • $begingroup$
    I guess it would be helpful to split the integral in two parts and then write it down explicitly and then to hope that the sum of my $lambda$-measures somehow converges?
    $endgroup$
    – Michael Maier
    Jan 11 at 12:14














0












0








0





$begingroup$


Let $alpha gt 0 forall alpha inmathbb{R}$, $f_{alpha}:]0,infty[tomathbb{R}$, $xmapsto e^{-alpha x}left(frac{sin(x)}{x}right)^3$. The goal ist to show that $f_{alpha}$ is integrable with respect to the Lebesgue-measure, which coincides with the Borel measure in this case. I already showed that $f_{alpha}$ is measurable and know that the condition for $f_{alpha}$ being integrable is that $$int_Xlvert{f(x)}rvertmathrm{d}lambdaltinfty$$ with $X=]0,infty[$. Since I am fairly new to this topic, I don't know where to start. I struggle to write out the integral since it can attain negative values and lack a general strategy for exercises like this. Any help is greatly appreciated!










share|cite|improve this question











$endgroup$




Let $alpha gt 0 forall alpha inmathbb{R}$, $f_{alpha}:]0,infty[tomathbb{R}$, $xmapsto e^{-alpha x}left(frac{sin(x)}{x}right)^3$. The goal ist to show that $f_{alpha}$ is integrable with respect to the Lebesgue-measure, which coincides with the Borel measure in this case. I already showed that $f_{alpha}$ is measurable and know that the condition for $f_{alpha}$ being integrable is that $$int_Xlvert{f(x)}rvertmathrm{d}lambdaltinfty$$ with $X=]0,infty[$. Since I am fairly new to this topic, I don't know where to start. I struggle to write out the integral since it can attain negative values and lack a general strategy for exercises like this. Any help is greatly appreciated!







real-analysis measure-theory






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Jan 11 at 12:24









Thomas Shelby

3,7342625




3,7342625










asked Jan 11 at 12:13









Michael MaierMichael Maier

859




859












  • $begingroup$
    I guess it would be helpful to split the integral in two parts and then write it down explicitly and then to hope that the sum of my $lambda$-measures somehow converges?
    $endgroup$
    – Michael Maier
    Jan 11 at 12:14


















  • $begingroup$
    I guess it would be helpful to split the integral in two parts and then write it down explicitly and then to hope that the sum of my $lambda$-measures somehow converges?
    $endgroup$
    – Michael Maier
    Jan 11 at 12:14
















$begingroup$
I guess it would be helpful to split the integral in two parts and then write it down explicitly and then to hope that the sum of my $lambda$-measures somehow converges?
$endgroup$
– Michael Maier
Jan 11 at 12:14




$begingroup$
I guess it would be helpful to split the integral in two parts and then write it down explicitly and then to hope that the sum of my $lambda$-measures somehow converges?
$endgroup$
– Michael Maier
Jan 11 at 12:14










1 Answer
1






active

oldest

votes


















1












$begingroup$

$frac {sin, x} x$ is abounded function on $(0,infty)$. If $|frac {sin, x} x| leq M$ then $int_0^{infty} |f_{alpha} (x)| , dx leq M^{3}int_0^{infty} e^{-alpha x}, dx =frac {M^{3}} {alpha}$. [ Boundedness of $frac {sin, x} x$ is a consequence of the following facts: this function is continuous, it approaches $1$ as $ xto 0$ and approaches $0$ as $x to infty$].






share|cite|improve this answer









$endgroup$













  • $begingroup$
    Thanks. Problem is, we didn't cover $int_0^infty e^{-alpha x}dx=frac{1}{alpha}$. I just need to show that $int_0^infty e^{-alpha x}dlambda$ is integrable then, any advice on that? Obviously it is decreasing, but I don't see where that might help.
    $endgroup$
    – Michael Maier
    Jan 11 at 12:37








  • 1




    $begingroup$
    Surely if you're doing Lebesgue measure, you know how to evaluate a definite integral. Are you required to use only things covered in the course?
    $endgroup$
    – Riccardo Orlando
    Jan 11 at 12:38






  • 1




    $begingroup$
    @MichaelMaier Riemann integrable functions are Lebesgue integrable and their Lebesgue integral is same as Riemann integral. I am sure you have covered intergral of $e^{-alpha x}$ before starting with measure theory.
    $endgroup$
    – Kavi Rama Murthy
    Jan 11 at 12:45










  • $begingroup$
    Thanks again. As a physics student, I indeed know what the integral of $e^{-alpha x}$ is. Problem is, our math lectures are unrelated to that and we do just mention Riemann integrals later on. So I do know how to calculate the integral, but am not allowed to use anything related to Riemannian Integration in my proof.
    $endgroup$
    – Michael Maier
    Jan 11 at 12:48








  • 1




    $begingroup$
    @MichaelMaier If $a_n=frac 2 {alpha} log, n$ then $a_n$ increases to $infty$. Split the integral of $e^{-alpha x}$ into integrals over the intervals $(a_n,a_{n+1})$. Can use this to show that the integral is finite? (On $(a_n,a_{n+1})$ note that $e^{-alpha x} leq e^{-alpha a_n} =frac 1 {n^{2}}$).
    $endgroup$
    – Kavi Rama Murthy
    Jan 11 at 12:49













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
});


}
});














draft saved

draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3069771%2fshow-that-f-is-integrable-with-respect-to-the-lebesgue-measure%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









1












$begingroup$

$frac {sin, x} x$ is abounded function on $(0,infty)$. If $|frac {sin, x} x| leq M$ then $int_0^{infty} |f_{alpha} (x)| , dx leq M^{3}int_0^{infty} e^{-alpha x}, dx =frac {M^{3}} {alpha}$. [ Boundedness of $frac {sin, x} x$ is a consequence of the following facts: this function is continuous, it approaches $1$ as $ xto 0$ and approaches $0$ as $x to infty$].






share|cite|improve this answer









$endgroup$













  • $begingroup$
    Thanks. Problem is, we didn't cover $int_0^infty e^{-alpha x}dx=frac{1}{alpha}$. I just need to show that $int_0^infty e^{-alpha x}dlambda$ is integrable then, any advice on that? Obviously it is decreasing, but I don't see where that might help.
    $endgroup$
    – Michael Maier
    Jan 11 at 12:37








  • 1




    $begingroup$
    Surely if you're doing Lebesgue measure, you know how to evaluate a definite integral. Are you required to use only things covered in the course?
    $endgroup$
    – Riccardo Orlando
    Jan 11 at 12:38






  • 1




    $begingroup$
    @MichaelMaier Riemann integrable functions are Lebesgue integrable and their Lebesgue integral is same as Riemann integral. I am sure you have covered intergral of $e^{-alpha x}$ before starting with measure theory.
    $endgroup$
    – Kavi Rama Murthy
    Jan 11 at 12:45










  • $begingroup$
    Thanks again. As a physics student, I indeed know what the integral of $e^{-alpha x}$ is. Problem is, our math lectures are unrelated to that and we do just mention Riemann integrals later on. So I do know how to calculate the integral, but am not allowed to use anything related to Riemannian Integration in my proof.
    $endgroup$
    – Michael Maier
    Jan 11 at 12:48








  • 1




    $begingroup$
    @MichaelMaier If $a_n=frac 2 {alpha} log, n$ then $a_n$ increases to $infty$. Split the integral of $e^{-alpha x}$ into integrals over the intervals $(a_n,a_{n+1})$. Can use this to show that the integral is finite? (On $(a_n,a_{n+1})$ note that $e^{-alpha x} leq e^{-alpha a_n} =frac 1 {n^{2}}$).
    $endgroup$
    – Kavi Rama Murthy
    Jan 11 at 12:49


















1












$begingroup$

$frac {sin, x} x$ is abounded function on $(0,infty)$. If $|frac {sin, x} x| leq M$ then $int_0^{infty} |f_{alpha} (x)| , dx leq M^{3}int_0^{infty} e^{-alpha x}, dx =frac {M^{3}} {alpha}$. [ Boundedness of $frac {sin, x} x$ is a consequence of the following facts: this function is continuous, it approaches $1$ as $ xto 0$ and approaches $0$ as $x to infty$].






share|cite|improve this answer









$endgroup$













  • $begingroup$
    Thanks. Problem is, we didn't cover $int_0^infty e^{-alpha x}dx=frac{1}{alpha}$. I just need to show that $int_0^infty e^{-alpha x}dlambda$ is integrable then, any advice on that? Obviously it is decreasing, but I don't see where that might help.
    $endgroup$
    – Michael Maier
    Jan 11 at 12:37








  • 1




    $begingroup$
    Surely if you're doing Lebesgue measure, you know how to evaluate a definite integral. Are you required to use only things covered in the course?
    $endgroup$
    – Riccardo Orlando
    Jan 11 at 12:38






  • 1




    $begingroup$
    @MichaelMaier Riemann integrable functions are Lebesgue integrable and their Lebesgue integral is same as Riemann integral. I am sure you have covered intergral of $e^{-alpha x}$ before starting with measure theory.
    $endgroup$
    – Kavi Rama Murthy
    Jan 11 at 12:45










  • $begingroup$
    Thanks again. As a physics student, I indeed know what the integral of $e^{-alpha x}$ is. Problem is, our math lectures are unrelated to that and we do just mention Riemann integrals later on. So I do know how to calculate the integral, but am not allowed to use anything related to Riemannian Integration in my proof.
    $endgroup$
    – Michael Maier
    Jan 11 at 12:48








  • 1




    $begingroup$
    @MichaelMaier If $a_n=frac 2 {alpha} log, n$ then $a_n$ increases to $infty$. Split the integral of $e^{-alpha x}$ into integrals over the intervals $(a_n,a_{n+1})$. Can use this to show that the integral is finite? (On $(a_n,a_{n+1})$ note that $e^{-alpha x} leq e^{-alpha a_n} =frac 1 {n^{2}}$).
    $endgroup$
    – Kavi Rama Murthy
    Jan 11 at 12:49
















1












1








1





$begingroup$

$frac {sin, x} x$ is abounded function on $(0,infty)$. If $|frac {sin, x} x| leq M$ then $int_0^{infty} |f_{alpha} (x)| , dx leq M^{3}int_0^{infty} e^{-alpha x}, dx =frac {M^{3}} {alpha}$. [ Boundedness of $frac {sin, x} x$ is a consequence of the following facts: this function is continuous, it approaches $1$ as $ xto 0$ and approaches $0$ as $x to infty$].






share|cite|improve this answer









$endgroup$



$frac {sin, x} x$ is abounded function on $(0,infty)$. If $|frac {sin, x} x| leq M$ then $int_0^{infty} |f_{alpha} (x)| , dx leq M^{3}int_0^{infty} e^{-alpha x}, dx =frac {M^{3}} {alpha}$. [ Boundedness of $frac {sin, x} x$ is a consequence of the following facts: this function is continuous, it approaches $1$ as $ xto 0$ and approaches $0$ as $x to infty$].







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered Jan 11 at 12:33









Kavi Rama MurthyKavi Rama Murthy

65.6k42766




65.6k42766












  • $begingroup$
    Thanks. Problem is, we didn't cover $int_0^infty e^{-alpha x}dx=frac{1}{alpha}$. I just need to show that $int_0^infty e^{-alpha x}dlambda$ is integrable then, any advice on that? Obviously it is decreasing, but I don't see where that might help.
    $endgroup$
    – Michael Maier
    Jan 11 at 12:37








  • 1




    $begingroup$
    Surely if you're doing Lebesgue measure, you know how to evaluate a definite integral. Are you required to use only things covered in the course?
    $endgroup$
    – Riccardo Orlando
    Jan 11 at 12:38






  • 1




    $begingroup$
    @MichaelMaier Riemann integrable functions are Lebesgue integrable and their Lebesgue integral is same as Riemann integral. I am sure you have covered intergral of $e^{-alpha x}$ before starting with measure theory.
    $endgroup$
    – Kavi Rama Murthy
    Jan 11 at 12:45










  • $begingroup$
    Thanks again. As a physics student, I indeed know what the integral of $e^{-alpha x}$ is. Problem is, our math lectures are unrelated to that and we do just mention Riemann integrals later on. So I do know how to calculate the integral, but am not allowed to use anything related to Riemannian Integration in my proof.
    $endgroup$
    – Michael Maier
    Jan 11 at 12:48








  • 1




    $begingroup$
    @MichaelMaier If $a_n=frac 2 {alpha} log, n$ then $a_n$ increases to $infty$. Split the integral of $e^{-alpha x}$ into integrals over the intervals $(a_n,a_{n+1})$. Can use this to show that the integral is finite? (On $(a_n,a_{n+1})$ note that $e^{-alpha x} leq e^{-alpha a_n} =frac 1 {n^{2}}$).
    $endgroup$
    – Kavi Rama Murthy
    Jan 11 at 12:49




















  • $begingroup$
    Thanks. Problem is, we didn't cover $int_0^infty e^{-alpha x}dx=frac{1}{alpha}$. I just need to show that $int_0^infty e^{-alpha x}dlambda$ is integrable then, any advice on that? Obviously it is decreasing, but I don't see where that might help.
    $endgroup$
    – Michael Maier
    Jan 11 at 12:37








  • 1




    $begingroup$
    Surely if you're doing Lebesgue measure, you know how to evaluate a definite integral. Are you required to use only things covered in the course?
    $endgroup$
    – Riccardo Orlando
    Jan 11 at 12:38






  • 1




    $begingroup$
    @MichaelMaier Riemann integrable functions are Lebesgue integrable and their Lebesgue integral is same as Riemann integral. I am sure you have covered intergral of $e^{-alpha x}$ before starting with measure theory.
    $endgroup$
    – Kavi Rama Murthy
    Jan 11 at 12:45










  • $begingroup$
    Thanks again. As a physics student, I indeed know what the integral of $e^{-alpha x}$ is. Problem is, our math lectures are unrelated to that and we do just mention Riemann integrals later on. So I do know how to calculate the integral, but am not allowed to use anything related to Riemannian Integration in my proof.
    $endgroup$
    – Michael Maier
    Jan 11 at 12:48








  • 1




    $begingroup$
    @MichaelMaier If $a_n=frac 2 {alpha} log, n$ then $a_n$ increases to $infty$. Split the integral of $e^{-alpha x}$ into integrals over the intervals $(a_n,a_{n+1})$. Can use this to show that the integral is finite? (On $(a_n,a_{n+1})$ note that $e^{-alpha x} leq e^{-alpha a_n} =frac 1 {n^{2}}$).
    $endgroup$
    – Kavi Rama Murthy
    Jan 11 at 12:49


















$begingroup$
Thanks. Problem is, we didn't cover $int_0^infty e^{-alpha x}dx=frac{1}{alpha}$. I just need to show that $int_0^infty e^{-alpha x}dlambda$ is integrable then, any advice on that? Obviously it is decreasing, but I don't see where that might help.
$endgroup$
– Michael Maier
Jan 11 at 12:37






$begingroup$
Thanks. Problem is, we didn't cover $int_0^infty e^{-alpha x}dx=frac{1}{alpha}$. I just need to show that $int_0^infty e^{-alpha x}dlambda$ is integrable then, any advice on that? Obviously it is decreasing, but I don't see where that might help.
$endgroup$
– Michael Maier
Jan 11 at 12:37






1




1




$begingroup$
Surely if you're doing Lebesgue measure, you know how to evaluate a definite integral. Are you required to use only things covered in the course?
$endgroup$
– Riccardo Orlando
Jan 11 at 12:38




$begingroup$
Surely if you're doing Lebesgue measure, you know how to evaluate a definite integral. Are you required to use only things covered in the course?
$endgroup$
– Riccardo Orlando
Jan 11 at 12:38




1




1




$begingroup$
@MichaelMaier Riemann integrable functions are Lebesgue integrable and their Lebesgue integral is same as Riemann integral. I am sure you have covered intergral of $e^{-alpha x}$ before starting with measure theory.
$endgroup$
– Kavi Rama Murthy
Jan 11 at 12:45




$begingroup$
@MichaelMaier Riemann integrable functions are Lebesgue integrable and their Lebesgue integral is same as Riemann integral. I am sure you have covered intergral of $e^{-alpha x}$ before starting with measure theory.
$endgroup$
– Kavi Rama Murthy
Jan 11 at 12:45












$begingroup$
Thanks again. As a physics student, I indeed know what the integral of $e^{-alpha x}$ is. Problem is, our math lectures are unrelated to that and we do just mention Riemann integrals later on. So I do know how to calculate the integral, but am not allowed to use anything related to Riemannian Integration in my proof.
$endgroup$
– Michael Maier
Jan 11 at 12:48






$begingroup$
Thanks again. As a physics student, I indeed know what the integral of $e^{-alpha x}$ is. Problem is, our math lectures are unrelated to that and we do just mention Riemann integrals later on. So I do know how to calculate the integral, but am not allowed to use anything related to Riemannian Integration in my proof.
$endgroup$
– Michael Maier
Jan 11 at 12:48






1




1




$begingroup$
@MichaelMaier If $a_n=frac 2 {alpha} log, n$ then $a_n$ increases to $infty$. Split the integral of $e^{-alpha x}$ into integrals over the intervals $(a_n,a_{n+1})$. Can use this to show that the integral is finite? (On $(a_n,a_{n+1})$ note that $e^{-alpha x} leq e^{-alpha a_n} =frac 1 {n^{2}}$).
$endgroup$
– Kavi Rama Murthy
Jan 11 at 12:49






$begingroup$
@MichaelMaier If $a_n=frac 2 {alpha} log, n$ then $a_n$ increases to $infty$. Split the integral of $e^{-alpha x}$ into integrals over the intervals $(a_n,a_{n+1})$. Can use this to show that the integral is finite? (On $(a_n,a_{n+1})$ note that $e^{-alpha x} leq e^{-alpha a_n} =frac 1 {n^{2}}$).
$endgroup$
– Kavi Rama Murthy
Jan 11 at 12:49




















draft saved

draft discarded




















































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.




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3069771%2fshow-that-f-is-integrable-with-respect-to-the-lebesgue-measure%23new-answer', 'question_page');
}
);

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







Popular posts from this blog

Human spaceflight

Can not write log (Is /dev/pts mounted?) - openpty in Ubuntu-on-Windows?

張江高科駅