Hint: Showing $f_n(x):=fracnsqrtx sin(x)1+nx^2$ converges in $L^p$ to $x^-frac32sin(x)$Showing $left lvert sum_k=1^n x_k y_k right rvert le frac1alpha sum_k=1^n x_k^2 + fracalpha4 sum_k=1^n y_k^2 $Find all $alpha$ such that $n^alphachi_[n,n+1]$ converges weakly to 0 in $L^p$.find $fin L^2([0,pi])$ such that its $L^2$ distance to $sin(x)$ and $cos(x)$ are both bounded by specific constantsShowing an inequality with specific norms is falseLimit of a sequence in an $L^p$ space.Proving the quantitative uncertainty principleConvergence of $sum_n frac(-1)^n n^alphasinfrac1n^alphan^beta + (-1)^n$Show that $A$ is invertible where $leftlVert I - A rightrVert < 1$$f_n in L^p(X),$ such that $lVert f_n-f_n+1rVert_p leq frac1n^2$. Prove $f_n$ converges a.e.Duality between $L^infty$ and $L^1$
Installing PowerShell on 32-bit Kali OS fails
Should my PhD thesis be submitted under my legal name?
In Star Trek IV, why did the Bounty go back to a time when whales were already rare?
Is there enough fresh water in the world to eradicate the drinking water crisis?
What is the opposite of 'gravitas'?
Does "Dominei" mean something?
Stereotypical names
Identify a stage play about a VR experience in which participants are encouraged to simulate performing horrific activities
What will be the benefits of Brexit?
Lightning Web Component - do I need to track changes for every single input field in a form
Bob has never been a M before
Resetting two CD4017 counters simultaneously, only one resets
Should a half Jewish man be discouraged from marrying a Jewess?
Can I create an upright 7-foot × 5-foot wall with the Minor Illusion spell?
Partial sums of primes
What is the term when two people sing in harmony, but they aren't singing the same notes?
Teaching indefinite integrals that require special-casing
Latex for-and in equation
Can a malicious addon access internet history and such in chrome/firefox?
Invariance of results when scaling explanatory variables in logistic regression, is there a proof?
Would it be legal for a US State to ban exports of a natural resource?
Calculating the number of days between 2 dates in Excel
The most efficient algorithm to find all possible integer pairs which sum to a given integer
Is there a good way to store credentials outside of a password manager?
Hint: Showing $f_n(x):=fracnsqrtx sin(x)1+nx^2$ converges in $L^p$ to $x^-frac32sin(x)$
Showing $left lvert sum_k=1^n x_k y_k right rvert le frac1alpha sum_k=1^n x_k^2 + fracalpha4 sum_k=1^n y_k^2 $Find all $alpha$ such that $n^alphachi_[n,n+1]$ converges weakly to 0 in $L^p$.find $fin L^2([0,pi])$ such that its $L^2$ distance to $sin(x)$ and $cos(x)$ are both bounded by specific constantsShowing an inequality with specific norms is falseLimit of a sequence in an $L^p$ space.Proving the quantitative uncertainty principleConvergence of $sum_n frac(-1)^n n^alphasinfrac1n^alphan^beta + (-1)^n$Show that $A$ is invertible where $leftlVert I - A rightrVert < 1$$f_n in L^p(X),$ such that $lVert f_n-f_n+1rVert_p leq frac1n^2$. Prove $f_n$ converges a.e.Duality between $L^infty$ and $L^1$
$begingroup$
Let $f_n:]0, infty[to mathbb R$ and $f_n(x):=fracnsqrtx sin(x)1+nx^2$
Show that $f_n$ converges in $L^p$ to $f$ where $f(x):=x^-frac32sin(x)$ and $p in [1,2[$
My idea:
beginalign
lVert f_n-frVert_p^p&=int_0^inftyleftlvertfracnsqrtx sin(x)1+nx^2-x^-frac32sin(x)rightrvert^pdxleqint_0^inftyleftlvertfracnsqrtx1+nx^2-x^-frac32rightrvert^pdx \
&=int_0^inftyleftlvertfracnsqrtx-x^-frac32(1+nx^2)1+nx^2rightrvert^pdx=int_0^inftyleftlvertfracnsqrtx-x^-frac32+nx^-frac121+nx^2rightrvert^pdx
endalign
Am I on the right track? How do I continue from here?
real-analysis integration convergence lp-spaces
$endgroup$
add a comment |
$begingroup$
Let $f_n:]0, infty[to mathbb R$ and $f_n(x):=fracnsqrtx sin(x)1+nx^2$
Show that $f_n$ converges in $L^p$ to $f$ where $f(x):=x^-frac32sin(x)$ and $p in [1,2[$
My idea:
beginalign
lVert f_n-frVert_p^p&=int_0^inftyleftlvertfracnsqrtx sin(x)1+nx^2-x^-frac32sin(x)rightrvert^pdxleqint_0^inftyleftlvertfracnsqrtx1+nx^2-x^-frac32rightrvert^pdx \
&=int_0^inftyleftlvertfracnsqrtx-x^-frac32(1+nx^2)1+nx^2rightrvert^pdx=int_0^inftyleftlvertfracnsqrtx-x^-frac32+nx^-frac121+nx^2rightrvert^pdx
endalign
Am I on the right track? How do I continue from here?
real-analysis integration convergence lp-spaces
$endgroup$
$begingroup$
The very defintion of $L^p$ involves measure theory. It is very difficult to prove this result without measure theory. DCT and MCT are basic tools used to prove a result like this. Merely writing down $int |f_n-f|^p$ does not lead to a solution. (You surely don't hope to compute the integral explicitly, do you?). @SABOY
$endgroup$
– Kavi Rama Murthy
Mar 17 at 4:57
$begingroup$
The second integral you wrote equals $infty,$ so not much help.
$endgroup$
– zhw.
Mar 18 at 0:31
add a comment |
$begingroup$
Let $f_n:]0, infty[to mathbb R$ and $f_n(x):=fracnsqrtx sin(x)1+nx^2$
Show that $f_n$ converges in $L^p$ to $f$ where $f(x):=x^-frac32sin(x)$ and $p in [1,2[$
My idea:
beginalign
lVert f_n-frVert_p^p&=int_0^inftyleftlvertfracnsqrtx sin(x)1+nx^2-x^-frac32sin(x)rightrvert^pdxleqint_0^inftyleftlvertfracnsqrtx1+nx^2-x^-frac32rightrvert^pdx \
&=int_0^inftyleftlvertfracnsqrtx-x^-frac32(1+nx^2)1+nx^2rightrvert^pdx=int_0^inftyleftlvertfracnsqrtx-x^-frac32+nx^-frac121+nx^2rightrvert^pdx
endalign
Am I on the right track? How do I continue from here?
real-analysis integration convergence lp-spaces
$endgroup$
Let $f_n:]0, infty[to mathbb R$ and $f_n(x):=fracnsqrtx sin(x)1+nx^2$
Show that $f_n$ converges in $L^p$ to $f$ where $f(x):=x^-frac32sin(x)$ and $p in [1,2[$
My idea:
beginalign
lVert f_n-frVert_p^p&=int_0^inftyleftlvertfracnsqrtx sin(x)1+nx^2-x^-frac32sin(x)rightrvert^pdxleqint_0^inftyleftlvertfracnsqrtx1+nx^2-x^-frac32rightrvert^pdx \
&=int_0^inftyleftlvertfracnsqrtx-x^-frac32(1+nx^2)1+nx^2rightrvert^pdx=int_0^inftyleftlvertfracnsqrtx-x^-frac32+nx^-frac121+nx^2rightrvert^pdx
endalign
Am I on the right track? How do I continue from here?
real-analysis integration convergence lp-spaces
real-analysis integration convergence lp-spaces
edited Mar 17 at 9:02
ComplexYetTrivial
4,9682631
4,9682631
asked Mar 16 at 22:54
SABOYSABOY
679311
679311
$begingroup$
The very defintion of $L^p$ involves measure theory. It is very difficult to prove this result without measure theory. DCT and MCT are basic tools used to prove a result like this. Merely writing down $int |f_n-f|^p$ does not lead to a solution. (You surely don't hope to compute the integral explicitly, do you?). @SABOY
$endgroup$
– Kavi Rama Murthy
Mar 17 at 4:57
$begingroup$
The second integral you wrote equals $infty,$ so not much help.
$endgroup$
– zhw.
Mar 18 at 0:31
add a comment |
$begingroup$
The very defintion of $L^p$ involves measure theory. It is very difficult to prove this result without measure theory. DCT and MCT are basic tools used to prove a result like this. Merely writing down $int |f_n-f|^p$ does not lead to a solution. (You surely don't hope to compute the integral explicitly, do you?). @SABOY
$endgroup$
– Kavi Rama Murthy
Mar 17 at 4:57
$begingroup$
The second integral you wrote equals $infty,$ so not much help.
$endgroup$
– zhw.
Mar 18 at 0:31
$begingroup$
The very defintion of $L^p$ involves measure theory. It is very difficult to prove this result without measure theory. DCT and MCT are basic tools used to prove a result like this. Merely writing down $int |f_n-f|^p$ does not lead to a solution. (You surely don't hope to compute the integral explicitly, do you?). @SABOY
$endgroup$
– Kavi Rama Murthy
Mar 17 at 4:57
$begingroup$
The very defintion of $L^p$ involves measure theory. It is very difficult to prove this result without measure theory. DCT and MCT are basic tools used to prove a result like this. Merely writing down $int |f_n-f|^p$ does not lead to a solution. (You surely don't hope to compute the integral explicitly, do you?). @SABOY
$endgroup$
– Kavi Rama Murthy
Mar 17 at 4:57
$begingroup$
The second integral you wrote equals $infty,$ so not much help.
$endgroup$
– zhw.
Mar 18 at 0:31
$begingroup$
The second integral you wrote equals $infty,$ so not much help.
$endgroup$
– zhw.
Mar 18 at 0:31
add a comment |
3 Answers
3
active
oldest
votes
$begingroup$
First notice that
$$fracnsqrtxsin xn+x^2 = fracsqrtxsin xfrac1n+x^2 xrightarrowntoinfty x^-3/2sin x$$
pointwise.
Then notice that
$$left|fracsqrtxsin xfrac1n+x^2right|^p le frac1x^p/2chi_(0,1](x) + frac1x^3p/2chi_[1,infty)(x) =: g(x) in L^1(0,infty)$$
and also $|x^-3/2sin x|^p$ is dominated by the same integrable function $g$.
Hence
$$left|fracsqrtxsin xfrac1n+x^2 - x^-3/2sin xright|^ple 2^p g(x)$$
so Lebesgue dominated convergence theorem yields
$$lim_ntoinftyint_0^infty left|fracsqrtxsin xfrac1n+x^2 - x^-3/2sin xright|^p,dx = int_0^inftylim_ntoinfty left|fracsqrtxsin xfrac1n+x^2 - x^-3/2sin xright|^p,dx = int_0^infty 0,dx = 0$$
$endgroup$
$begingroup$
I do not see why it is necessary that $p in [1,2[$ and why it would not converge when $p in [2,infty]$
$endgroup$
– SABOY
Mar 17 at 9:48
$begingroup$
@SABOY If $p ge 2$ then $fracp2 ge 1$ so the dominating function $g$ is not integrable on $(0,1]$.
$endgroup$
– mechanodroid
Mar 17 at 9:55
add a comment |
$begingroup$
Let $f(x)= x^-3/2 sin, x$. Then $f_n(x) to f(x)$ for all $x$. $frac t 1+tx^2$ is an increasing function of $t$ so $frac n 1+nx^2 sqrt x$ is an increasing sequence of non-negative measurable functions converging at every point to $x^-3/2$. By Monotone Convergence Theorem see that $int_1^infty |f_n(x)-f(x)|dx to 0$ (because $|sin,x | leq 1$). This proves that the integral from $1$ to $infty$ tends to $0$ when $p=1$. For the general case not the simple
Lemma
If $0leq g_n$ and $g_n$ increases to $g$ with $int g^p <infty$ then $int |g_n-g|^p to 0$.
This lemma follows from Dominated Convergence Theorem
For $x <1$ note that $frac n 1+nx^2 sqrt x leq frac 1 2$, so Dominated Convergence Theorem shows that $int_0^1 |f_n(x)-f(x)|^pdx to 0$.
$endgroup$
add a comment |
$begingroup$
There is a small mistake in your calculation:
$$ n x^1/2 - x^-3/2 (1+nx^2) = n x^1/2 - x^-3/2 colorred- n x^colorred+ 1/2 = - x^-3/2 .$$
Therefore, the integral you actually end up with is
$$ int limits_0^infty fracmathrmdxx^3p/2 (1+nx^2)^p , $$
which is divergent at the lower limit. This is because the estimate $lvertsin(x)rvertleq 1$ is not good enough. Instead we should use $lvertsin(x)rvertleq x$, which is accurate at the lower limit. It is of course terribly bad for large $x$, but that is irrelevant since convergence at infinity is ensured by the additional $x^-2p$ term anyway.
With these changes we find
$$ lVert f_n - f rVert_p^p leq int limits_0^infty fracmathrmdxx^p/2 (1+nx^2)^p stackrelsqrtn x = t= n^-frac2-p4 int limits_0^infty fracmathrmdtt^p/2 (1+t^2)^p, .$$
While the remaining integral can be computed explicitly, it is of course sufficient to check that it converges.
$endgroup$
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%2f3150949%2fhint-showing-f-nx-fracn-sqrtx-sinx1nx2-converges-in-l%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
3 Answers
3
active
oldest
votes
3 Answers
3
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
First notice that
$$fracnsqrtxsin xn+x^2 = fracsqrtxsin xfrac1n+x^2 xrightarrowntoinfty x^-3/2sin x$$
pointwise.
Then notice that
$$left|fracsqrtxsin xfrac1n+x^2right|^p le frac1x^p/2chi_(0,1](x) + frac1x^3p/2chi_[1,infty)(x) =: g(x) in L^1(0,infty)$$
and also $|x^-3/2sin x|^p$ is dominated by the same integrable function $g$.
Hence
$$left|fracsqrtxsin xfrac1n+x^2 - x^-3/2sin xright|^ple 2^p g(x)$$
so Lebesgue dominated convergence theorem yields
$$lim_ntoinftyint_0^infty left|fracsqrtxsin xfrac1n+x^2 - x^-3/2sin xright|^p,dx = int_0^inftylim_ntoinfty left|fracsqrtxsin xfrac1n+x^2 - x^-3/2sin xright|^p,dx = int_0^infty 0,dx = 0$$
$endgroup$
$begingroup$
I do not see why it is necessary that $p in [1,2[$ and why it would not converge when $p in [2,infty]$
$endgroup$
– SABOY
Mar 17 at 9:48
$begingroup$
@SABOY If $p ge 2$ then $fracp2 ge 1$ so the dominating function $g$ is not integrable on $(0,1]$.
$endgroup$
– mechanodroid
Mar 17 at 9:55
add a comment |
$begingroup$
First notice that
$$fracnsqrtxsin xn+x^2 = fracsqrtxsin xfrac1n+x^2 xrightarrowntoinfty x^-3/2sin x$$
pointwise.
Then notice that
$$left|fracsqrtxsin xfrac1n+x^2right|^p le frac1x^p/2chi_(0,1](x) + frac1x^3p/2chi_[1,infty)(x) =: g(x) in L^1(0,infty)$$
and also $|x^-3/2sin x|^p$ is dominated by the same integrable function $g$.
Hence
$$left|fracsqrtxsin xfrac1n+x^2 - x^-3/2sin xright|^ple 2^p g(x)$$
so Lebesgue dominated convergence theorem yields
$$lim_ntoinftyint_0^infty left|fracsqrtxsin xfrac1n+x^2 - x^-3/2sin xright|^p,dx = int_0^inftylim_ntoinfty left|fracsqrtxsin xfrac1n+x^2 - x^-3/2sin xright|^p,dx = int_0^infty 0,dx = 0$$
$endgroup$
$begingroup$
I do not see why it is necessary that $p in [1,2[$ and why it would not converge when $p in [2,infty]$
$endgroup$
– SABOY
Mar 17 at 9:48
$begingroup$
@SABOY If $p ge 2$ then $fracp2 ge 1$ so the dominating function $g$ is not integrable on $(0,1]$.
$endgroup$
– mechanodroid
Mar 17 at 9:55
add a comment |
$begingroup$
First notice that
$$fracnsqrtxsin xn+x^2 = fracsqrtxsin xfrac1n+x^2 xrightarrowntoinfty x^-3/2sin x$$
pointwise.
Then notice that
$$left|fracsqrtxsin xfrac1n+x^2right|^p le frac1x^p/2chi_(0,1](x) + frac1x^3p/2chi_[1,infty)(x) =: g(x) in L^1(0,infty)$$
and also $|x^-3/2sin x|^p$ is dominated by the same integrable function $g$.
Hence
$$left|fracsqrtxsin xfrac1n+x^2 - x^-3/2sin xright|^ple 2^p g(x)$$
so Lebesgue dominated convergence theorem yields
$$lim_ntoinftyint_0^infty left|fracsqrtxsin xfrac1n+x^2 - x^-3/2sin xright|^p,dx = int_0^inftylim_ntoinfty left|fracsqrtxsin xfrac1n+x^2 - x^-3/2sin xright|^p,dx = int_0^infty 0,dx = 0$$
$endgroup$
First notice that
$$fracnsqrtxsin xn+x^2 = fracsqrtxsin xfrac1n+x^2 xrightarrowntoinfty x^-3/2sin x$$
pointwise.
Then notice that
$$left|fracsqrtxsin xfrac1n+x^2right|^p le frac1x^p/2chi_(0,1](x) + frac1x^3p/2chi_[1,infty)(x) =: g(x) in L^1(0,infty)$$
and also $|x^-3/2sin x|^p$ is dominated by the same integrable function $g$.
Hence
$$left|fracsqrtxsin xfrac1n+x^2 - x^-3/2sin xright|^ple 2^p g(x)$$
so Lebesgue dominated convergence theorem yields
$$lim_ntoinftyint_0^infty left|fracsqrtxsin xfrac1n+x^2 - x^-3/2sin xright|^p,dx = int_0^inftylim_ntoinfty left|fracsqrtxsin xfrac1n+x^2 - x^-3/2sin xright|^p,dx = int_0^infty 0,dx = 0$$
answered Mar 17 at 9:23
mechanodroidmechanodroid
29k62648
29k62648
$begingroup$
I do not see why it is necessary that $p in [1,2[$ and why it would not converge when $p in [2,infty]$
$endgroup$
– SABOY
Mar 17 at 9:48
$begingroup$
@SABOY If $p ge 2$ then $fracp2 ge 1$ so the dominating function $g$ is not integrable on $(0,1]$.
$endgroup$
– mechanodroid
Mar 17 at 9:55
add a comment |
$begingroup$
I do not see why it is necessary that $p in [1,2[$ and why it would not converge when $p in [2,infty]$
$endgroup$
– SABOY
Mar 17 at 9:48
$begingroup$
@SABOY If $p ge 2$ then $fracp2 ge 1$ so the dominating function $g$ is not integrable on $(0,1]$.
$endgroup$
– mechanodroid
Mar 17 at 9:55
$begingroup$
I do not see why it is necessary that $p in [1,2[$ and why it would not converge when $p in [2,infty]$
$endgroup$
– SABOY
Mar 17 at 9:48
$begingroup$
I do not see why it is necessary that $p in [1,2[$ and why it would not converge when $p in [2,infty]$
$endgroup$
– SABOY
Mar 17 at 9:48
$begingroup$
@SABOY If $p ge 2$ then $fracp2 ge 1$ so the dominating function $g$ is not integrable on $(0,1]$.
$endgroup$
– mechanodroid
Mar 17 at 9:55
$begingroup$
@SABOY If $p ge 2$ then $fracp2 ge 1$ so the dominating function $g$ is not integrable on $(0,1]$.
$endgroup$
– mechanodroid
Mar 17 at 9:55
add a comment |
$begingroup$
Let $f(x)= x^-3/2 sin, x$. Then $f_n(x) to f(x)$ for all $x$. $frac t 1+tx^2$ is an increasing function of $t$ so $frac n 1+nx^2 sqrt x$ is an increasing sequence of non-negative measurable functions converging at every point to $x^-3/2$. By Monotone Convergence Theorem see that $int_1^infty |f_n(x)-f(x)|dx to 0$ (because $|sin,x | leq 1$). This proves that the integral from $1$ to $infty$ tends to $0$ when $p=1$. For the general case not the simple
Lemma
If $0leq g_n$ and $g_n$ increases to $g$ with $int g^p <infty$ then $int |g_n-g|^p to 0$.
This lemma follows from Dominated Convergence Theorem
For $x <1$ note that $frac n 1+nx^2 sqrt x leq frac 1 2$, so Dominated Convergence Theorem shows that $int_0^1 |f_n(x)-f(x)|^pdx to 0$.
$endgroup$
add a comment |
$begingroup$
Let $f(x)= x^-3/2 sin, x$. Then $f_n(x) to f(x)$ for all $x$. $frac t 1+tx^2$ is an increasing function of $t$ so $frac n 1+nx^2 sqrt x$ is an increasing sequence of non-negative measurable functions converging at every point to $x^-3/2$. By Monotone Convergence Theorem see that $int_1^infty |f_n(x)-f(x)|dx to 0$ (because $|sin,x | leq 1$). This proves that the integral from $1$ to $infty$ tends to $0$ when $p=1$. For the general case not the simple
Lemma
If $0leq g_n$ and $g_n$ increases to $g$ with $int g^p <infty$ then $int |g_n-g|^p to 0$.
This lemma follows from Dominated Convergence Theorem
For $x <1$ note that $frac n 1+nx^2 sqrt x leq frac 1 2$, so Dominated Convergence Theorem shows that $int_0^1 |f_n(x)-f(x)|^pdx to 0$.
$endgroup$
add a comment |
$begingroup$
Let $f(x)= x^-3/2 sin, x$. Then $f_n(x) to f(x)$ for all $x$. $frac t 1+tx^2$ is an increasing function of $t$ so $frac n 1+nx^2 sqrt x$ is an increasing sequence of non-negative measurable functions converging at every point to $x^-3/2$. By Monotone Convergence Theorem see that $int_1^infty |f_n(x)-f(x)|dx to 0$ (because $|sin,x | leq 1$). This proves that the integral from $1$ to $infty$ tends to $0$ when $p=1$. For the general case not the simple
Lemma
If $0leq g_n$ and $g_n$ increases to $g$ with $int g^p <infty$ then $int |g_n-g|^p to 0$.
This lemma follows from Dominated Convergence Theorem
For $x <1$ note that $frac n 1+nx^2 sqrt x leq frac 1 2$, so Dominated Convergence Theorem shows that $int_0^1 |f_n(x)-f(x)|^pdx to 0$.
$endgroup$
Let $f(x)= x^-3/2 sin, x$. Then $f_n(x) to f(x)$ for all $x$. $frac t 1+tx^2$ is an increasing function of $t$ so $frac n 1+nx^2 sqrt x$ is an increasing sequence of non-negative measurable functions converging at every point to $x^-3/2$. By Monotone Convergence Theorem see that $int_1^infty |f_n(x)-f(x)|dx to 0$ (because $|sin,x | leq 1$). This proves that the integral from $1$ to $infty$ tends to $0$ when $p=1$. For the general case not the simple
Lemma
If $0leq g_n$ and $g_n$ increases to $g$ with $int g^p <infty$ then $int |g_n-g|^p to 0$.
This lemma follows from Dominated Convergence Theorem
For $x <1$ note that $frac n 1+nx^2 sqrt x leq frac 1 2$, so Dominated Convergence Theorem shows that $int_0^1 |f_n(x)-f(x)|^pdx to 0$.
edited Mar 16 at 23:39
answered Mar 16 at 23:30
Kavi Rama MurthyKavi Rama Murthy
69.9k53170
69.9k53170
add a comment |
add a comment |
$begingroup$
There is a small mistake in your calculation:
$$ n x^1/2 - x^-3/2 (1+nx^2) = n x^1/2 - x^-3/2 colorred- n x^colorred+ 1/2 = - x^-3/2 .$$
Therefore, the integral you actually end up with is
$$ int limits_0^infty fracmathrmdxx^3p/2 (1+nx^2)^p , $$
which is divergent at the lower limit. This is because the estimate $lvertsin(x)rvertleq 1$ is not good enough. Instead we should use $lvertsin(x)rvertleq x$, which is accurate at the lower limit. It is of course terribly bad for large $x$, but that is irrelevant since convergence at infinity is ensured by the additional $x^-2p$ term anyway.
With these changes we find
$$ lVert f_n - f rVert_p^p leq int limits_0^infty fracmathrmdxx^p/2 (1+nx^2)^p stackrelsqrtn x = t= n^-frac2-p4 int limits_0^infty fracmathrmdtt^p/2 (1+t^2)^p, .$$
While the remaining integral can be computed explicitly, it is of course sufficient to check that it converges.
$endgroup$
add a comment |
$begingroup$
There is a small mistake in your calculation:
$$ n x^1/2 - x^-3/2 (1+nx^2) = n x^1/2 - x^-3/2 colorred- n x^colorred+ 1/2 = - x^-3/2 .$$
Therefore, the integral you actually end up with is
$$ int limits_0^infty fracmathrmdxx^3p/2 (1+nx^2)^p , $$
which is divergent at the lower limit. This is because the estimate $lvertsin(x)rvertleq 1$ is not good enough. Instead we should use $lvertsin(x)rvertleq x$, which is accurate at the lower limit. It is of course terribly bad for large $x$, but that is irrelevant since convergence at infinity is ensured by the additional $x^-2p$ term anyway.
With these changes we find
$$ lVert f_n - f rVert_p^p leq int limits_0^infty fracmathrmdxx^p/2 (1+nx^2)^p stackrelsqrtn x = t= n^-frac2-p4 int limits_0^infty fracmathrmdtt^p/2 (1+t^2)^p, .$$
While the remaining integral can be computed explicitly, it is of course sufficient to check that it converges.
$endgroup$
add a comment |
$begingroup$
There is a small mistake in your calculation:
$$ n x^1/2 - x^-3/2 (1+nx^2) = n x^1/2 - x^-3/2 colorred- n x^colorred+ 1/2 = - x^-3/2 .$$
Therefore, the integral you actually end up with is
$$ int limits_0^infty fracmathrmdxx^3p/2 (1+nx^2)^p , $$
which is divergent at the lower limit. This is because the estimate $lvertsin(x)rvertleq 1$ is not good enough. Instead we should use $lvertsin(x)rvertleq x$, which is accurate at the lower limit. It is of course terribly bad for large $x$, but that is irrelevant since convergence at infinity is ensured by the additional $x^-2p$ term anyway.
With these changes we find
$$ lVert f_n - f rVert_p^p leq int limits_0^infty fracmathrmdxx^p/2 (1+nx^2)^p stackrelsqrtn x = t= n^-frac2-p4 int limits_0^infty fracmathrmdtt^p/2 (1+t^2)^p, .$$
While the remaining integral can be computed explicitly, it is of course sufficient to check that it converges.
$endgroup$
There is a small mistake in your calculation:
$$ n x^1/2 - x^-3/2 (1+nx^2) = n x^1/2 - x^-3/2 colorred- n x^colorred+ 1/2 = - x^-3/2 .$$
Therefore, the integral you actually end up with is
$$ int limits_0^infty fracmathrmdxx^3p/2 (1+nx^2)^p , $$
which is divergent at the lower limit. This is because the estimate $lvertsin(x)rvertleq 1$ is not good enough. Instead we should use $lvertsin(x)rvertleq x$, which is accurate at the lower limit. It is of course terribly bad for large $x$, but that is irrelevant since convergence at infinity is ensured by the additional $x^-2p$ term anyway.
With these changes we find
$$ lVert f_n - f rVert_p^p leq int limits_0^infty fracmathrmdxx^p/2 (1+nx^2)^p stackrelsqrtn x = t= n^-frac2-p4 int limits_0^infty fracmathrmdtt^p/2 (1+t^2)^p, .$$
While the remaining integral can be computed explicitly, it is of course sufficient to check that it converges.
edited Mar 17 at 9:08
answered Mar 17 at 8:54
ComplexYetTrivialComplexYetTrivial
4,9682631
4,9682631
add a comment |
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.
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%2f3150949%2fhint-showing-f-nx-fracn-sqrtx-sinx1nx2-converges-in-l%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$
The very defintion of $L^p$ involves measure theory. It is very difficult to prove this result without measure theory. DCT and MCT are basic tools used to prove a result like this. Merely writing down $int |f_n-f|^p$ does not lead to a solution. (You surely don't hope to compute the integral explicitly, do you?). @SABOY
$endgroup$
– Kavi Rama Murthy
Mar 17 at 4:57
$begingroup$
The second integral you wrote equals $infty,$ so not much help.
$endgroup$
– zhw.
Mar 18 at 0:31