Proving a distribution limit with a non-integrable part in its integrand without Riemann-Lebesgue's lemmaCalculating $lim_lambda rightarrow infty T_fracsin(lambda x)x$ in $mathcalD'(mathbbR)$principal value as distribution, written as integral over singularityProof that limit goes to zero without Riemann-Lebesgue lemma$ lim_ varepsilon rightarrow 0^+ int_ frac varphi(x) xdx = - int_-infty^infty phi'(x) ln(|x|) dx$Why Dirac's Delta is not an ordinary function?The difference between Riemann integrable function and Lebesgue integrable functionEquations in D' (the space of distributions)Existence of the Dirac δ-function defined as a distribution?Density of tensor product of test functionsProving $f$ is not Riemann integrable but is Lesbesgue with definition involving simple step functionsCalculate $lim_lambda int_mathbbRf(x)|sin(lambda x)|dx $

Is it illegal in Germany to take sick leave if you caused your own illness with food?

If the Captain's screens are out, does he switch seats with the co-pilot?

Silly Sally's Movie

Counter-example to the existence of left Bousfield localization of combinatorial model category

US to Europe trip with Canada layover- is 52 minutes enough?

Latest web browser compatible with Windows 98

Why don't MCU characters ever seem to have language issues?

Is it ok to include an epilogue dedicated to colleagues who passed away in the end of the manuscript?

"However" used in a conditional clause?

Playing ONE triplet (not three)

Unreachable code, but reachable with exception

Is it true that real estate prices mainly go up?

Does Linux have system calls to access all the features of the file systems it supports?

Making a sword in the stone, in a medieval world without magic

Can "semicircle" be used to refer to a part-circle that is not a exact half-circle?

Can the druid cantrip Thorn Whip really defeat a water weird this easily?

Excess Zinc in garden soil

Sword in the Stone story where the sword was held in place by electromagnets

Do f-stop and exposure time perfectly cancel?

Provisioning profile doesn't include the application-identifier and keychain-access-groups entitlements

Is going from continuous data to categorical always wrong?

Good allowance savings plan?

Who is our nearest neighbor

Humans have energy, but not water. What happens?



Proving a distribution limit with a non-integrable part in its integrand without Riemann-Lebesgue's lemma


Calculating $lim_lambda rightarrow infty T_fracsin(lambda x)x$ in $mathcalD'(mathbbR)$principal value as distribution, written as integral over singularityProof that limit goes to zero without Riemann-Lebesgue lemma$ lim_ varepsilon rightarrow 0^+ int_x frac varphi(x) xdx = - int_-infty^infty phi'(x) ln(|x|) dx$Why Dirac's Delta is not an ordinary function?The difference between Riemann integrable function and Lebesgue integrable functionEquations in D' (the space of distributions)Existence of the Dirac δ-function defined as a distribution?Density of tensor product of test functionsProving $f$ is not Riemann integrable but is Lesbesgue with definition involving simple step functionsCalculate $lim_lambda int_mathbbRf(x)|sin(lambda x)|dx $













2












$begingroup$


Let $f_t(x) = fracsin txx$ and $varepsilon>0$. Further, consider a test function $varphi in C_0^infty(mathbb R)$ with $operatornamesupp varphi subseteq [-R, R]$ for some $R>0.$



I have proved that $$displaystyle int_mathbb Rsetminus[-varepsilon, varepsilon] f_t(x) ; mathrm dx to 0$$ when considering the limit $tto infty$. I want to prove $$displaystyle int_mathbb Rsetminus[-varepsilon, varepsilon] f_t(x) varphi(x) ; mathrm dx to 0$$ from this.



The problem is that $f_t notto 0$, so dominated convergence doesn't work. Moreover; $f_t$ is not absolutely integrable and, even more so, the integral $displaystyleint_mathbb R f_t(x) ; mathrm dx$ only exists in a generalized Riemann sense (with an undefined Lebesgue integral).



Can I prove this without using Riemann-Lebesgue's lemma (as they do here), if the limit $displaystyle int_mathbb Rsetminus[-varepsilon, varepsilon] f_t(x) ; mathrm dx to 0$ is known?






real-analysis functional-analysis limits distribution-theory







share|cite|improve this question









$endgroup$
















    2












    $begingroup$


    Let $f_t(x) = fracsin txx$ and $varepsilon>0$. Further, consider a test function $varphi in C_0^infty(mathbb R)$ with $operatornamesupp varphi subseteq [-R, R]$ for some $R>0.$



    I have proved that $$displaystyle int_mathbb Rsetminus[-varepsilon, varepsilon] f_t(x) ; mathrm dx to 0$$ when considering the limit $tto infty$. I want to prove $$displaystyle int_mathbb Rsetminus[-varepsilon, varepsilon] f_t(x) varphi(x) ; mathrm dx to 0$$ from this.



    The problem is that $f_t notto 0$, so dominated convergence doesn't work. Moreover; $f_t$ is not absolutely integrable and, even more so, the integral $displaystyleint_mathbb R f_t(x) ; mathrm dx$ only exists in a generalized Riemann sense (with an undefined Lebesgue integral).



    Can I prove this without using Riemann-Lebesgue's lemma (as they do here), if the limit $displaystyle int_mathbb Rsetminus[-varepsilon, varepsilon] f_t(x) ; mathrm dx to 0$ is known?






    real-analysis functional-analysis limits distribution-theory







    share|cite|improve this question









    $endgroup$














      2












      2








      2





      $begingroup$


      Let $f_t(x) = fracsin txx$ and $varepsilon>0$. Further, consider a test function $varphi in C_0^infty(mathbb R)$ with $operatornamesupp varphi subseteq [-R, R]$ for some $R>0.$



      I have proved that $$displaystyle int_mathbb Rsetminus[-varepsilon, varepsilon] f_t(x) ; mathrm dx to 0$$ when considering the limit $tto infty$. I want to prove $$displaystyle int_mathbb Rsetminus[-varepsilon, varepsilon] f_t(x) varphi(x) ; mathrm dx to 0$$ from this.



      The problem is that $f_t notto 0$, so dominated convergence doesn't work. Moreover; $f_t$ is not absolutely integrable and, even more so, the integral $displaystyleint_mathbb R f_t(x) ; mathrm dx$ only exists in a generalized Riemann sense (with an undefined Lebesgue integral).



      Can I prove this without using Riemann-Lebesgue's lemma (as they do here), if the limit $displaystyle int_mathbb Rsetminus[-varepsilon, varepsilon] f_t(x) ; mathrm dx to 0$ is known?






      real-analysis functional-analysis limits distribution-theory







      share|cite|improve this question









      $endgroup$




      Let $f_t(x) = fracsin txx$ and $varepsilon>0$. Further, consider a test function $varphi in C_0^infty(mathbb R)$ with $operatornamesupp varphi subseteq [-R, R]$ for some $R>0.$



      I have proved that $$displaystyle int_mathbb Rsetminus[-varepsilon, varepsilon] f_t(x) ; mathrm dx to 0$$ when considering the limit $tto infty$. I want to prove $$displaystyle int_mathbb Rsetminus[-varepsilon, varepsilon] f_t(x) varphi(x) ; mathrm dx to 0$$ from this.



      The problem is that $f_t notto 0$, so dominated convergence doesn't work. Moreover; $f_t$ is not absolutely integrable and, even more so, the integral $displaystyleint_mathbb R f_t(x) ; mathrm dx$ only exists in a generalized Riemann sense (with an undefined Lebesgue integral).



      Can I prove this without using Riemann-Lebesgue's lemma (as they do here), if the limit $displaystyle int_mathbb Rsetminus[-varepsilon, varepsilon] f_t(x) ; mathrm dx to 0$ is known?






      real-analysis functional-analysis limits distribution-theory




      real-analysis functional-analysis limits distribution-theory






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked Mar 10 at 19:25









      Markus KlyverMarkus Klyver

      407414




      407414




















          1 Answer
          1






          active

          oldest

          votes


















          1












          $begingroup$

          You can get the result integrating by parts. For $varepsilon<R$
          $$
          int_mathbb Rsetminus[-varepsilon, varepsilon] f_t(x), varphi(x) , mathrm dx =int_-R^-varepsilonf_t(x), varphi(x),mathrm dx+int_
          varepsilon^Rf_t(x,) varphi(x),mathrm dx.
          $$
          Now
          beginalign
          int_
          varepsilon^Rf_t(x), varphi(x),mathrm dx&=int_varepsilon^Rfracvarphi(x)x,sin(t,x),mathrm dx\
          &=-fracvarphi(x)x,fraccos(t,x)tBigr|_varepsilon^R+int_varepsilon^RBigl(fracvarphi(x)xBigr)'fraccos(t,x)t,mathrm dx.
          endalign






          share|cite|improve this answer









          $endgroup$












          • $begingroup$
            Can you generalize this to the case you don't know what $f_t$ is, i.e. just knowing $displaystyle int_mathbb Rsetminus[-varepsilon, varepsilon] f_t(x) ; mathrm dx to 0$?
            $endgroup$
            – Markus Klyver
            2 days ago






          • 1




            $begingroup$
            No without further conditions. Consider for instance $f_t(x)=tsin xchi_[-pi,pi](x)$. Then $int_mathbb Rsetminus[-varepsilon, varepsilon] f_t(x), mathrm dx=0$ for all $t$, but nothing can be said about $lim_ttoinftyint_mathbb Rsetminus[-varepsilon, varepsilon] f_t(x), varphi(x) , mathrm dx$.
            $endgroup$
            – Julián Aguirre
            yesterday










          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%2f3142766%2fproving-a-distribution-limit-with-a-non-integrable-part-in-its-integrand-without%23new-answer', 'question_page');

          );

          Post as a guest















          Required, but never shown

























          1 Answer
          1






          active

          oldest

          votes








          1 Answer
          1






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes









          1












          $begingroup$

          You can get the result integrating by parts. For $varepsilon<R$
          $$
          int_mathbb Rsetminus[-varepsilon, varepsilon] f_t(x), varphi(x) , mathrm dx =int_-R^-varepsilonf_t(x), varphi(x),mathrm dx+int_
          varepsilon^Rf_t(x,) varphi(x),mathrm dx.
          $$
          Now
          beginalign
          int_
          varepsilon^Rf_t(x), varphi(x),mathrm dx&=int_varepsilon^Rfracvarphi(x)x,sin(t,x),mathrm dx\
          &=-fracvarphi(x)x,fraccos(t,x)tBigr|_varepsilon^R+int_varepsilon^RBigl(fracvarphi(x)xBigr)'fraccos(t,x)t,mathrm dx.
          endalign






          share|cite|improve this answer









          $endgroup$












          • $begingroup$
            Can you generalize this to the case you don't know what $f_t$ is, i.e. just knowing $displaystyle int_mathbb Rsetminus[-varepsilon, varepsilon] f_t(x) ; mathrm dx to 0$?
            $endgroup$
            – Markus Klyver
            2 days ago






          • 1




            $begingroup$
            No without further conditions. Consider for instance $f_t(x)=tsin xchi_[-pi,pi](x)$. Then $int_mathbb Rsetminus[-varepsilon, varepsilon] f_t(x), mathrm dx=0$ for all $t$, but nothing can be said about $lim_ttoinftyint_mathbb Rsetminus[-varepsilon, varepsilon] f_t(x), varphi(x) , mathrm dx$.
            $endgroup$
            – Julián Aguirre
            yesterday















          1












          $begingroup$

          You can get the result integrating by parts. For $varepsilon<R$
          $$
          int_mathbb Rsetminus[-varepsilon, varepsilon] f_t(x), varphi(x) , mathrm dx =int_-R^-varepsilonf_t(x), varphi(x),mathrm dx+int_
          varepsilon^Rf_t(x,) varphi(x),mathrm dx.
          $$
          Now
          beginalign
          int_
          varepsilon^Rf_t(x), varphi(x),mathrm dx&=int_varepsilon^Rfracvarphi(x)x,sin(t,x),mathrm dx\
          &=-fracvarphi(x)x,fraccos(t,x)tBigr|_varepsilon^R+int_varepsilon^RBigl(fracvarphi(x)xBigr)'fraccos(t,x)t,mathrm dx.
          endalign






          share|cite|improve this answer









          $endgroup$












          • $begingroup$
            Can you generalize this to the case you don't know what $f_t$ is, i.e. just knowing $displaystyle int_mathbb Rsetminus[-varepsilon, varepsilon] f_t(x) ; mathrm dx to 0$?
            $endgroup$
            – Markus Klyver
            2 days ago






          • 1




            $begingroup$
            No without further conditions. Consider for instance $f_t(x)=tsin xchi_[-pi,pi](x)$. Then $int_mathbb Rsetminus[-varepsilon, varepsilon] f_t(x), mathrm dx=0$ for all $t$, but nothing can be said about $lim_ttoinftyint_mathbb Rsetminus[-varepsilon, varepsilon] f_t(x), varphi(x) , mathrm dx$.
            $endgroup$
            – Julián Aguirre
            yesterday













          1












          1








          1





          $begingroup$

          You can get the result integrating by parts. For $varepsilon<R$
          $$
          int_mathbb Rsetminus[-varepsilon, varepsilon] f_t(x), varphi(x) , mathrm dx =int_-R^-varepsilonf_t(x), varphi(x),mathrm dx+int_
          varepsilon^Rf_t(x,) varphi(x),mathrm dx.
          $$
          Now
          beginalign
          int_
          varepsilon^Rf_t(x), varphi(x),mathrm dx&=int_varepsilon^Rfracvarphi(x)x,sin(t,x),mathrm dx\
          &=-fracvarphi(x)x,fraccos(t,x)tBigr|_varepsilon^R+int_varepsilon^RBigl(fracvarphi(x)xBigr)'fraccos(t,x)t,mathrm dx.
          endalign






          share|cite|improve this answer









          $endgroup$



          You can get the result integrating by parts. For $varepsilon<R$
          $$
          int_mathbb Rsetminus[-varepsilon, varepsilon] f_t(x), varphi(x) , mathrm dx =int_-R^-varepsilonf_t(x), varphi(x),mathrm dx+int_
          varepsilon^Rf_t(x,) varphi(x),mathrm dx.
          $$
          Now
          beginalign
          int_
          varepsilon^Rf_t(x), varphi(x),mathrm dx&=int_varepsilon^Rfracvarphi(x)x,sin(t,x),mathrm dx\
          &=-fracvarphi(x)x,fraccos(t,x)tBigr|_varepsilon^R+int_varepsilon^RBigl(fracvarphi(x)xBigr)'fraccos(t,x)t,mathrm dx.
          endalign







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered 2 days ago









          Julián AguirreJulián Aguirre

          69.4k24096




          69.4k24096











          • $begingroup$
            Can you generalize this to the case you don't know what $f_t$ is, i.e. just knowing $displaystyle int_mathbb Rsetminus[-varepsilon, varepsilon] f_t(x) ; mathrm dx to 0$?
            $endgroup$
            – Markus Klyver
            2 days ago






          • 1




            $begingroup$
            No without further conditions. Consider for instance $f_t(x)=tsin xchi_[-pi,pi](x)$. Then $int_mathbb Rsetminus[-varepsilon, varepsilon] f_t(x), mathrm dx=0$ for all $t$, but nothing can be said about $lim_ttoinftyint_mathbb Rsetminus[-varepsilon, varepsilon] f_t(x), varphi(x) , mathrm dx$.
            $endgroup$
            – Julián Aguirre
            yesterday
















          • $begingroup$
            Can you generalize this to the case you don't know what $f_t$ is, i.e. just knowing $displaystyle int_mathbb Rsetminus[-varepsilon, varepsilon] f_t(x) ; mathrm dx to 0$?
            $endgroup$
            – Markus Klyver
            2 days ago






          • 1




            $begingroup$
            No without further conditions. Consider for instance $f_t(x)=tsin xchi_[-pi,pi](x)$. Then $int_mathbb Rsetminus[-varepsilon, varepsilon] f_t(x), mathrm dx=0$ for all $t$, but nothing can be said about $lim_ttoinftyint_mathbb Rsetminus[-varepsilon, varepsilon] f_t(x), varphi(x) , mathrm dx$.
            $endgroup$
            – Julián Aguirre
            yesterday















          $begingroup$
          Can you generalize this to the case you don't know what $f_t$ is, i.e. just knowing $displaystyle int_mathbb Rsetminus[-varepsilon, varepsilon] f_t(x) ; mathrm dx to 0$?
          $endgroup$
          – Markus Klyver
          2 days ago




          $begingroup$
          Can you generalize this to the case you don't know what $f_t$ is, i.e. just knowing $displaystyle int_mathbb Rsetminus[-varepsilon, varepsilon] f_t(x) ; mathrm dx to 0$?
          $endgroup$
          – Markus Klyver
          2 days ago




          1




          1




          $begingroup$
          No without further conditions. Consider for instance $f_t(x)=tsin xchi_[-pi,pi](x)$. Then $int_mathbb Rsetminus[-varepsilon, varepsilon] f_t(x), mathrm dx=0$ for all $t$, but nothing can be said about $lim_ttoinftyint_mathbb Rsetminus[-varepsilon, varepsilon] f_t(x), varphi(x) , mathrm dx$.
          $endgroup$
          – Julián Aguirre
          yesterday




          $begingroup$
          No without further conditions. Consider for instance $f_t(x)=tsin xchi_[-pi,pi](x)$. Then $int_mathbb Rsetminus[-varepsilon, varepsilon] f_t(x), mathrm dx=0$ for all $t$, but nothing can be said about $lim_ttoinftyint_mathbb Rsetminus[-varepsilon, varepsilon] f_t(x), varphi(x) , mathrm dx$.
          $endgroup$
          – Julián Aguirre
          yesterday

















          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%2f3142766%2fproving-a-distribution-limit-with-a-non-integrable-part-in-its-integrand-without%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

          Moe incest case Sentencing See also References Navigation menu"'Australian Josef Fritzl' fathered four children by daughter""Small town recoils in horror at 'Australian Fritzl' incest case""Victorian rape allegations echo Fritzl case - Just In (Australian Broadcasting Corporation)""Incest father jailed for 22 years""'Australian Fritzl' sentenced to 22 years in prison for abusing daughter for three decades""RSJ v The Queen"

          2009 crimes in AustraliaPeople convicted of incestRape in AustraliaChild abuse incidents and cases Victoria Police Moe, Victoria, Australiarapedphysically abusedviolencediedallegationsNews LimitedinvestigateMelbournedevelopmental problemsintellectually disabledspeech impedimentbirth certificateschargedsexual abuseDNA testspleadedguiltyincestindecent assaultcommon assaultsentencingimprisonmentparolesex offender registryappeal The Moe incest case emerged in February 2007 when a woman, identified as M for legal reasons, reported to Victoria Police in the town of Moe, Victoria, Australia that her 63-year-old father, RSJ, had raped, [1] [2] physically abused, and kept her a virtual prisoner in her own home between 1977 and 2005. Police had known about the alleged abuse since 2005, when M first came forward, but could not act because she did not want to cooperate after her father threatened violence against her mother and siblings. The J family had been known to authorities for more than ...
          Read more

          Who is our nearest planetary neighbor, on average?Santa Claus flies to the South PoleSeven Spheres of Unequal Mass, a weighing problem with a twistDescribe a large integerFast Mental Calculation of $7.5^7$Math in Space (without the help of celebrities)Find the value of $bigstar$: Puzzle 8 - InequalityWho drinks beer while running anyway?A Crucial DeliveryRanking And AverageHow long will my money last at roulette?

          Image
          How can I create URL shortcuts/redirects for task/diff IDs in Phabricator? What are the rules for concealing thieves' tools (or items in general)? Does convergence of polynomials imply that of its coefficients? Is xar preinstalled on macOS? Single word to change groups Triple Trouble Tribond label a part of commutative diagram What (if any) is the reason to buy in small local stores? TDE Master Key Rotation Do people actually use the word "kaputt" in conversation? If I cast the Enlarge/Reduce spell on an arrow, what weapon could it count as? How can a new country break out from a developed country without war? 10 year ban after applying for a UK student visa Do I need an EFI partition for each 18.04 ubuntu I have on my HD? Norwegian Refugee travel document Why do I have a large white artefact on the rendered image? Print a physical multiplication table Would it be believable to defy demographics in a story? Extraneous elements in "...
          Read more

          Daza language Contents Vocabulary Phonology References External links Navigation menudaza1242Daza"Dazaga"eeee178086576

          Image
          FrenchArabicFrenchAir TamajeqChadian ArabicDazaKaadoTamahaqStandardArabicEnglishDazaDinkaDoniFurKadugliKangaKeigaKrongoTemeinTeseTulishiTumtumZaghawaAcheronAmiraDengebuEbangJomangKatlaKoKwalibLaroLogolLumunMoroNdingNgileShirumbaTagoiTegaliTegemTimaTiroTochoToronaUtoroWarnangBejaDomariSudanese ArabicSudanese Sign LanguagesBertiZaghawa Tebu languagesSaharan languagesLanguages of ChadLanguages of NigerToubou people Nilo-Saharan languageDaza peopleChadGouranDjurab DesertBorkouFaya-LargeauTibesti MountainsChadNigerN'guigmiLibyaSudanOmdurmanJeddahSaudi ArabiaTedaga languageTedaToubou peopleSabhaSaharanKanuri languageKanembu languageTebu languagesZaghawa languageBerti languageFrenchArabicliterary languagebilingualHausaZarmaTuaregromanisation Not to be confused with Dazawa language. "Goran language" redirects here. It is not to be confused with Gorani language (Zaza-Gorani) or Gora dialect. Daza Dazaga Native to Chad, Niger, Sudan, Libya Region Chad, BET Region, bahr el Gazel R...
          Read more