A function in $textit{D}(mathbb{R})$











up vote
0
down vote

favorite












I was solving an exercise and I faced these 2 parts
1) Prove that there exist a function $gamma in D(mathbb{R})$ such that $gamma(0)=0$ and $gamma'(0)=1$.



I tried for this part the function $$gamma(x)= mathbb{1}_{[-a,a]}(x)xe^x$$ but then I thought that its not continuous over $mathbb{R}$, so is there any other function that have these characteristics? And can I edit mine so that it belongs to $D(mathbb{R})$



2)Let $f in C^{infty}(mathbb{R})$
Prove the following equivalence :



$f delta_0'=0$ in $D^*(mathbb{R}) iff$
$exists g in C^{infty}(mathbb{R})$ such that $f(x)=x^2g(x)$



I think that the sufficient condition is easy, but I didn't know how to prove the sufficient condition.



Can anyone help please? Thank you










share|cite|improve this question




























    up vote
    0
    down vote

    favorite












    I was solving an exercise and I faced these 2 parts
    1) Prove that there exist a function $gamma in D(mathbb{R})$ such that $gamma(0)=0$ and $gamma'(0)=1$.



    I tried for this part the function $$gamma(x)= mathbb{1}_{[-a,a]}(x)xe^x$$ but then I thought that its not continuous over $mathbb{R}$, so is there any other function that have these characteristics? And can I edit mine so that it belongs to $D(mathbb{R})$



    2)Let $f in C^{infty}(mathbb{R})$
    Prove the following equivalence :



    $f delta_0'=0$ in $D^*(mathbb{R}) iff$
    $exists g in C^{infty}(mathbb{R})$ such that $f(x)=x^2g(x)$



    I think that the sufficient condition is easy, but I didn't know how to prove the sufficient condition.



    Can anyone help please? Thank you










    share|cite|improve this question


























      up vote
      0
      down vote

      favorite









      up vote
      0
      down vote

      favorite











      I was solving an exercise and I faced these 2 parts
      1) Prove that there exist a function $gamma in D(mathbb{R})$ such that $gamma(0)=0$ and $gamma'(0)=1$.



      I tried for this part the function $$gamma(x)= mathbb{1}_{[-a,a]}(x)xe^x$$ but then I thought that its not continuous over $mathbb{R}$, so is there any other function that have these characteristics? And can I edit mine so that it belongs to $D(mathbb{R})$



      2)Let $f in C^{infty}(mathbb{R})$
      Prove the following equivalence :



      $f delta_0'=0$ in $D^*(mathbb{R}) iff$
      $exists g in C^{infty}(mathbb{R})$ such that $f(x)=x^2g(x)$



      I think that the sufficient condition is easy, but I didn't know how to prove the sufficient condition.



      Can anyone help please? Thank you










      share|cite|improve this question















      I was solving an exercise and I faced these 2 parts
      1) Prove that there exist a function $gamma in D(mathbb{R})$ such that $gamma(0)=0$ and $gamma'(0)=1$.



      I tried for this part the function $$gamma(x)= mathbb{1}_{[-a,a]}(x)xe^x$$ but then I thought that its not continuous over $mathbb{R}$, so is there any other function that have these characteristics? And can I edit mine so that it belongs to $D(mathbb{R})$



      2)Let $f in C^{infty}(mathbb{R})$
      Prove the following equivalence :



      $f delta_0'=0$ in $D^*(mathbb{R}) iff$
      $exists g in C^{infty}(mathbb{R})$ such that $f(x)=x^2g(x)$



      I think that the sufficient condition is easy, but I didn't know how to prove the sufficient condition.



      Can anyone help please? Thank you







      distribution-theory dirac-delta






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Nov 15 at 11:32

























      asked Nov 15 at 10:58









      Fareed AF

      36711




      36711






















          1 Answer
          1






          active

          oldest

          votes

















          up vote
          1
          down vote













          For the first part, you should start with mollifiers. By a convolution of $mathbb 1_{[-1,1]}$ with a well-chosen mollifier $psi$ you will get a function $barpsi in D(Bbb R)$ with a good property that $exists a>0$ such that $bar psibig|_{[-a,a]}equiv Bbb 1_{[-a,a]}$. The final step is to consider the product $xbar psi(x)$.



          For the second part we can write by definition



          $$0=fdelta_0'iff forall phi in Dquad langle fdelta_0',phirangle=0 iff$$



          $$forall phi in Dquad 0=langledelta_0',fphirangle iff forall phi in Dquad 0=f'(0)phi(0)+f(0)phi'(0).$$



          Now, using the first part of your question, put $phi in D$ such that $phi'(0)=1$ and $phi(0)=0$ to obtain $f(0)=0$; similarly, if $phi'(0)=0$ and $phi(0)=1$ you will get $f'(0)=0$.



          By this time you definitely saw an exercise allowing you to show that $f(0)=0=f'(0)$ implies the existence of $gin C^infty$ such that $f(x)=x^2 g(x)$.






          share|cite|improve this answer





















          • Yes I did saw some, we can use taylor expansion I think to get to the result. Thank you @TZakrevskiy
            – Fareed AF
            Nov 15 at 15:46











          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',
          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%2f2999532%2fa-function-in-textitd-mathbbr%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








          up vote
          1
          down vote













          For the first part, you should start with mollifiers. By a convolution of $mathbb 1_{[-1,1]}$ with a well-chosen mollifier $psi$ you will get a function $barpsi in D(Bbb R)$ with a good property that $exists a>0$ such that $bar psibig|_{[-a,a]}equiv Bbb 1_{[-a,a]}$. The final step is to consider the product $xbar psi(x)$.



          For the second part we can write by definition



          $$0=fdelta_0'iff forall phi in Dquad langle fdelta_0',phirangle=0 iff$$



          $$forall phi in Dquad 0=langledelta_0',fphirangle iff forall phi in Dquad 0=f'(0)phi(0)+f(0)phi'(0).$$



          Now, using the first part of your question, put $phi in D$ such that $phi'(0)=1$ and $phi(0)=0$ to obtain $f(0)=0$; similarly, if $phi'(0)=0$ and $phi(0)=1$ you will get $f'(0)=0$.



          By this time you definitely saw an exercise allowing you to show that $f(0)=0=f'(0)$ implies the existence of $gin C^infty$ such that $f(x)=x^2 g(x)$.






          share|cite|improve this answer





















          • Yes I did saw some, we can use taylor expansion I think to get to the result. Thank you @TZakrevskiy
            – Fareed AF
            Nov 15 at 15:46















          up vote
          1
          down vote













          For the first part, you should start with mollifiers. By a convolution of $mathbb 1_{[-1,1]}$ with a well-chosen mollifier $psi$ you will get a function $barpsi in D(Bbb R)$ with a good property that $exists a>0$ such that $bar psibig|_{[-a,a]}equiv Bbb 1_{[-a,a]}$. The final step is to consider the product $xbar psi(x)$.



          For the second part we can write by definition



          $$0=fdelta_0'iff forall phi in Dquad langle fdelta_0',phirangle=0 iff$$



          $$forall phi in Dquad 0=langledelta_0',fphirangle iff forall phi in Dquad 0=f'(0)phi(0)+f(0)phi'(0).$$



          Now, using the first part of your question, put $phi in D$ such that $phi'(0)=1$ and $phi(0)=0$ to obtain $f(0)=0$; similarly, if $phi'(0)=0$ and $phi(0)=1$ you will get $f'(0)=0$.



          By this time you definitely saw an exercise allowing you to show that $f(0)=0=f'(0)$ implies the existence of $gin C^infty$ such that $f(x)=x^2 g(x)$.






          share|cite|improve this answer





















          • Yes I did saw some, we can use taylor expansion I think to get to the result. Thank you @TZakrevskiy
            – Fareed AF
            Nov 15 at 15:46













          up vote
          1
          down vote










          up vote
          1
          down vote









          For the first part, you should start with mollifiers. By a convolution of $mathbb 1_{[-1,1]}$ with a well-chosen mollifier $psi$ you will get a function $barpsi in D(Bbb R)$ with a good property that $exists a>0$ such that $bar psibig|_{[-a,a]}equiv Bbb 1_{[-a,a]}$. The final step is to consider the product $xbar psi(x)$.



          For the second part we can write by definition



          $$0=fdelta_0'iff forall phi in Dquad langle fdelta_0',phirangle=0 iff$$



          $$forall phi in Dquad 0=langledelta_0',fphirangle iff forall phi in Dquad 0=f'(0)phi(0)+f(0)phi'(0).$$



          Now, using the first part of your question, put $phi in D$ such that $phi'(0)=1$ and $phi(0)=0$ to obtain $f(0)=0$; similarly, if $phi'(0)=0$ and $phi(0)=1$ you will get $f'(0)=0$.



          By this time you definitely saw an exercise allowing you to show that $f(0)=0=f'(0)$ implies the existence of $gin C^infty$ such that $f(x)=x^2 g(x)$.






          share|cite|improve this answer












          For the first part, you should start with mollifiers. By a convolution of $mathbb 1_{[-1,1]}$ with a well-chosen mollifier $psi$ you will get a function $barpsi in D(Bbb R)$ with a good property that $exists a>0$ such that $bar psibig|_{[-a,a]}equiv Bbb 1_{[-a,a]}$. The final step is to consider the product $xbar psi(x)$.



          For the second part we can write by definition



          $$0=fdelta_0'iff forall phi in Dquad langle fdelta_0',phirangle=0 iff$$



          $$forall phi in Dquad 0=langledelta_0',fphirangle iff forall phi in Dquad 0=f'(0)phi(0)+f(0)phi'(0).$$



          Now, using the first part of your question, put $phi in D$ such that $phi'(0)=1$ and $phi(0)=0$ to obtain $f(0)=0$; similarly, if $phi'(0)=0$ and $phi(0)=1$ you will get $f'(0)=0$.



          By this time you definitely saw an exercise allowing you to show that $f(0)=0=f'(0)$ implies the existence of $gin C^infty$ such that $f(x)=x^2 g(x)$.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Nov 15 at 14:46









          TZakrevskiy

          20k12354




          20k12354












          • Yes I did saw some, we can use taylor expansion I think to get to the result. Thank you @TZakrevskiy
            – Fareed AF
            Nov 15 at 15:46


















          • Yes I did saw some, we can use taylor expansion I think to get to the result. Thank you @TZakrevskiy
            – Fareed AF
            Nov 15 at 15:46
















          Yes I did saw some, we can use taylor expansion I think to get to the result. Thank you @TZakrevskiy
          – Fareed AF
          Nov 15 at 15:46




          Yes I did saw some, we can use taylor expansion I think to get to the result. Thank you @TZakrevskiy
          – Fareed AF
          Nov 15 at 15:46


















          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.





          Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


          Please pay close attention to the following guidance:


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


          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%2f2999532%2fa-function-in-textitd-mathbbr%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

          Biblatex bibliography style without URLs when DOI exists (in Overleaf with Zotero bibliography)

          ComboBox Display Member on multiple fields

          Is it possible to collect Nectar points via Trainline?