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

                      Solar Wings Breeze Design and development Specifications (Breeze) References Navigation menu1368-485X"Hang glider: Breeze (Solar Wings)"e

                      Kathakali Contents Etymology and nomenclature History Repertoire Songs and musical instruments Traditional plays Styles: Sampradayam Training centers and awards Relationship to other dance forms See also Notes References External links Navigation menueThe Illustrated Encyclopedia of Hinduism: A-MSouth Asian Folklore: An EncyclopediaRoutledge International Encyclopedia of Women: Global Women's Issues and KnowledgeKathakali Dance-drama: Where Gods and Demons Come to PlayKathakali Dance-drama: Where Gods and Demons Come to PlayKathakali Dance-drama: Where Gods and Demons Come to Play10.1353/atj.2005.0004The Illustrated Encyclopedia of Hinduism: A-MEncyclopedia of HinduismKathakali Dance-drama: Where Gods and Demons Come to PlaySonic Liturgy: Ritual and Music in Hindu Tradition"The Mirror of Gesture"Kathakali Dance-drama: Where Gods and Demons Come to Play"Kathakali"Indian Theatre: Traditions of PerformanceIndian Theatre: Traditions of PerformanceIndian Theatre: Traditions of PerformanceIndian Theatre: Traditions of PerformanceMedieval Indian Literature: An AnthologyThe Oxford Companion to Indian TheatreSouth Asian Folklore: An Encyclopedia : Afghanistan, Bangladesh, India, Nepal, Pakistan, Sri LankaThe Rise of Performance Studies: Rethinking Richard Schechner's Broad SpectrumIndian Theatre: Traditions of PerformanceModern Asian Theatre and Performance 1900-2000Critical Theory and PerformanceBetween Theater and AnthropologyKathakali603847011Indian Theatre: Traditions of PerformanceIndian Theatre: Traditions of PerformanceIndian Theatre: Traditions of PerformanceBetween Theater and AnthropologyBetween Theater and AnthropologyNambeesan Smaraka AwardsArchivedThe Cambridge Guide to TheatreRoutledge International Encyclopedia of Women: Global Women's Issues and KnowledgeThe Garland Encyclopedia of World Music: South Asia : the Indian subcontinentThe Ethos of Noh: Actors and Their Art10.2307/1145740By Means of Performance: Intercultural Studies of Theatre and Ritual10.1017/s204912550000100xReconceiving the Renaissance: A Critical ReaderPerformance TheoryListening to Theatre: The Aural Dimension of Beijing Opera10.2307/1146013Kathakali: The Art of the Non-WorldlyOn KathakaliKathakali, the dance theatreThe Kathakali Complex: Performance & StructureKathakali Dance-Drama: Where Gods and Demons Come to Play10.1093/obo/9780195399318-0071Drama and Ritual of Early Hinduism"In the Shadow of Hollywood Orientalism: Authentic East Indian Dancing"10.1080/08949460490274013Sanskrit Play Production in Ancient IndiaIndian Music: History and StructureBharata, the Nāṭyaśāstra233639306Table of Contents2238067286469807Dance In Indian Painting10.2307/32047833204783Kathakali Dance-Theatre: A Visual Narrative of Sacred Indian MimeIndian Classical Dance: The Renaissance and BeyondKathakali: an indigenous art-form of Keralaeee

                      Method to test if a number is a perfect power? Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 23, 2019 at 00:00UTC (8:00pm US/Eastern)Detecting perfect squares faster than by extracting square rooteffective way to get the integer sequence A181392 from oeisA rarely mentioned fact about perfect powersHow many numbers such $n$ are there that $n<100,lfloorsqrtn rfloor mid n$Check perfect squareness by modulo division against multiple basesFor what pair of integers $(a,b)$ is $3^a + 7^b$ a perfect square.Do there exist any positive integers $n$ such that $lfloore^nrfloor$ is a perfect power? What is the probability that one exists?finding perfect power factors of an integerProve that the sequence contains a perfect square for any natural number $m $ in the domain of $f$ .Counting Perfect Powers