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
distribution-theory dirac-delta
add a comment |
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
distribution-theory dirac-delta
add a comment |
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
distribution-theory dirac-delta
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
distribution-theory dirac-delta
edited Nov 15 at 11:32
asked Nov 15 at 10:58
Fareed AF
31411
31411
add a comment |
add a comment |
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)$.
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
add a comment |
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)$.
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
add a comment |
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)$.
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
add a comment |
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)$.
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)$.
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
add a comment |
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
add a comment |
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2999532%2fa-function-in-textitd-mathbbr%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown