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$













2












$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?










share|cite|improve this question











$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















2












$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?










share|cite|improve this question











$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













2












2








2





$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?










share|cite|improve this question











$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






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








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
















  • $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










3 Answers
3






active

oldest

votes


















2












$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$$






share|cite|improve this answer









$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


















1












$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$.






share|cite|improve this answer











$endgroup$




















    1












    $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.






    share|cite|improve this answer











    $endgroup$












      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%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









      2












      $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$$






      share|cite|improve this answer









      $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















      2












      $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$$






      share|cite|improve this answer









      $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













      2












      2








      2





      $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$$






      share|cite|improve this answer









      $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$$







      share|cite|improve this answer












      share|cite|improve this answer



      share|cite|improve this answer










      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
















      • $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











      1












      $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$.






      share|cite|improve this answer











      $endgroup$

















        1












        $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$.






        share|cite|improve this answer











        $endgroup$















          1












          1








          1





          $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$.






          share|cite|improve this answer











          $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$.







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited Mar 16 at 23:39

























          answered Mar 16 at 23:30









          Kavi Rama MurthyKavi Rama Murthy

          69.9k53170




          69.9k53170





















              1












              $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.






              share|cite|improve this answer











              $endgroup$

















                1












                $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.






                share|cite|improve this answer











                $endgroup$















                  1












                  1








                  1





                  $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.






                  share|cite|improve this answer











                  $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.







                  share|cite|improve this answer














                  share|cite|improve this answer



                  share|cite|improve this answer








                  edited Mar 17 at 9:08

























                  answered Mar 17 at 8:54









                  ComplexYetTrivialComplexYetTrivial

                  4,9682631




                  4,9682631



























                      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%2f3150949%2fhint-showing-f-nx-fracn-sqrtx-sinx1nx2-converges-in-l%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

                      Lowndes Grove History Architecture References Navigation menu32°48′6″N 79°57′58″W / 32.80167°N 79.96611°W / 32.80167; -79.9661132°48′6″N 79°57′58″W / 32.80167°N 79.96611°W / 32.80167; -79.9661178002500"National Register Information System"Historic houses of South Carolina"Lowndes Grove""+32° 48' 6.00", −79° 57' 58.00""Lowndes Grove, Charleston County (260 St. Margaret St., Charleston)""Lowndes Grove"The Charleston ExpositionIt Happened in South Carolina"Lowndes Grove (House), Saint Margaret Street & Sixth Avenue, Charleston, Charleston County, SC(Photographs)"Plantations of the Carolina Low Countrye

                      random experiment with two different functions on unit interval Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 23, 2019 at 00:00UTC (8:00pm US/Eastern)Random variable and probability space notionsRandom Walk with EdgesFinding functions where the increase over a random interval is Poisson distributedNumber of days until dayCan an observed event in fact be of zero probability?Unit random processmodels of coins and uniform distributionHow to get the number of successes given $n$ trials , probability $P$ and a random variable $X$Absorbing Markov chain in a computer. Is “almost every” turned into always convergence in computer executions?Stopped random walk is not uniformly integrable

                      How should I support this large drywall patch? Planned maintenance scheduled April 23, 2019 at 00:00UTC (8:00pm US/Eastern) Announcing the arrival of Valued Associate #679: Cesar Manara Unicorn Meta Zoo #1: Why another podcast?How do I cover large gaps in drywall?How do I keep drywall around a patch from crumbling?Can I glue a second layer of drywall?How to patch long strip on drywall?Large drywall patch: how to avoid bulging seams?Drywall Mesh Patch vs. Bulge? To remove or not to remove?How to fix this drywall job?Prep drywall before backsplashWhat's the best way to fix this horrible drywall patch job?Drywall patching using 3M Patch Plus Primer