Mixing
$u(x,t)=left(f*mathcal{H}_{t}^{(n)}right)(x)$ is solution to the n-dimensional heat equation
Consider the time-dependent heat equation in $mathbb{R^{n}}$:
$$displaystylefrac{partial u}{partial t}=frac{partial^{2}u}{partial x_{1}^{2}}+cdots+frac{partial^{2}u}{partial x_{n}^{2}},quadtextrm{where};t>0 $$
with boundary values $u(x,0)=f(x)in mathcal{S}(mathbb{R}^{n})$ (i.e. $f$ belongs to Schwartz space of $mathbb{R}^{n})$.
Define the n-dimensional heat kernel by
$$displaystylemathcal{H}_{t}^{(n)}(x):=frac{1}{(4pi t)^{n/2}}e^{|x|^2/4t}=int_{mathbb{R}^{n}}e^{-4pi^{2}t|xi|^{2}}e^{2pi i xcdot xi}dxi, $$
where $|cdot|$ is the euclidian norm in $mathbb{R}^{n}$.
I need to prove three statements about $u(x,t)=left(f*mathcal{H}_{t}^{(n)}right)(x)$.
(1) $u$ is indefinitely differentiable when $xinmathbb{R}^{n}$ and $t>0.$
(2) $u$ solves the heat equation above
(3) $u$ is continuous up to the boundary $t=0$ with $u(x,0)=f(x).$
By definition,
$$u(x,t)=underbrace{int_{-infty}^{infty}cdotsint_{-infty}^{infty}}_{n;textrm{times}}frac{f(y)}{(4pi t)^{n/2}}e^{-frac{left[(x_{1}-y_{1})^{2}+cdots+(x_{n}-y_{n})^{2}right]^{1/2}}{4t}}dx_{1}dots dx_{n}$$
That's all I got. I really want some tips (I don't want the solution ifself)
pde fourier-analysis improper-integrals convolution heat-equation
asked Nov 21 '18 at 17:54
Mateus RochaMateus Rocha
824117
add a comment |
Consider the time-dependent heat equation in $mathbb{R^{n}}$:
$$displaystylefrac{partial u}{partial t}=frac{partial^{2}u}{partial x_{1}^{2}}+cdots+frac{partial^{2}u}{partial x_{n}^{2}},quadtextrm{where};t>0 $$
with boundary values $u(x,0)=f(x)in mathcal{S}(mathbb{R}^{n})$ (i.e. $f$ belongs to Schwartz space of $mathbb{R}^{n})$.
Define the n-dimensional heat kernel by
$$displaystylemathcal{H}_{t}^{(n)}(x):=frac{1}{(4pi t)^{n/2}}e^{|x|^2/4t}=int_{mathbb{R}^{n}}e^{-4pi^{2}t|xi|^{2}}e^{2pi i xcdot xi}dxi, $$
where $|cdot|$ is the euclidian norm in $mathbb{R}^{n}$.
I need to prove three statements about $u(x,t)=left(f*mathcal{H}_{t}^{(n)}right)(x)$.
(1) $u$ is indefinitely differentiable when $xinmathbb{R}^{n}$ and $t>0.$
(2) $u$ solves the heat equation above
(3) $u$ is continuous up to the boundary $t=0$ with $u(x,0)=f(x).$
By definition,
$$u(x,t)=underbrace{int_{-infty}^{infty}cdotsint_{-infty}^{infty}}_{n;textrm{times}}frac{f(y)}{(4pi t)^{n/2}}e^{-frac{left[(x_{1}-y_{1})^{2}+cdots+(x_{n}-y_{n})^{2}right]^{1/2}}{4t}}dx_{1}dots dx_{n}$$
That's all I got. I really want some tips (I don't want the solution ifself)
pde fourier-analysis improper-integrals convolution heat-equation
asked Nov 21 '18 at 17:54
Mateus RochaMateus Rocha
824117
(1) is standard theory about convolution; nothing to prove there.
– Federico
Nov 21 '18 at 18:03
(2) have you done some computation of the partial derivatives? Again, some facts about the convolution might help
– Federico
Nov 21 '18 at 18:04
(3) ever seen convolutions with a rescaled kernel? They approximate the identity...
– Federico
Nov 21 '18 at 18:05
I would suggest using vector calculus computations to simplify things..it’ll make your life easier
– DaveNine
Nov 21 '18 at 19:49
add a comment |
Consider the time-dependent heat equation in $mathbb{R^{n}}$:
$$displaystylefrac{partial u}{partial t}=frac{partial^{2}u}{partial x_{1}^{2}}+cdots+frac{partial^{2}u}{partial x_{n}^{2}},quadtextrm{where};t>0 $$
with boundary values $u(x,0)=f(x)in mathcal{S}(mathbb{R}^{n})$ (i.e. $f$ belongs to Schwartz space of $mathbb{R}^{n})$.
Define the n-dimensional heat kernel by
$$displaystylemathcal{H}_{t}^{(n)}(x):=frac{1}{(4pi t)^{n/2}}e^{|x|^2/4t}=int_{mathbb{R}^{n}}e^{-4pi^{2}t|xi|^{2}}e^{2pi i xcdot xi}dxi, $$
where $|cdot|$ is the euclidian norm in $mathbb{R}^{n}$.
I need to prove three statements about $u(x,t)=left(f*mathcal{H}_{t}^{(n)}right)(x)$.
(1) $u$ is indefinitely differentiable when $xinmathbb{R}^{n}$ and $t>0.$
(2) $u$ solves the heat equation above
(3) $u$ is continuous up to the boundary $t=0$ with $u(x,0)=f(x).$
By definition,
$$u(x,t)=underbrace{int_{-infty}^{infty}cdotsint_{-infty}^{infty}}_{n;textrm{times}}frac{f(y)}{(4pi t)^{n/2}}e^{-frac{left[(x_{1}-y_{1})^{2}+cdots+(x_{n}-y_{n})^{2}right]^{1/2}}{4t}}dx_{1}dots dx_{n}$$
That's all I got. I really want some tips (I don't want the solution ifself)
pde fourier-analysis improper-integrals convolution heat-equation
asked Nov 21 '18 at 17:54
Mateus RochaMateus Rocha
824117
Consider the time-dependent heat equation in $mathbb{R^{n}}$:
$$displaystylefrac{partial u}{partial t}=frac{partial^{2}u}{partial x_{1}^{2}}+cdots+frac{partial^{2}u}{partial x_{n}^{2}},quadtextrm{where};t>0 $$
with boundary values $u(x,0)=f(x)in mathcal{S}(mathbb{R}^{n})$ (i.e. $f$ belongs to Schwartz space of $mathbb{R}^{n})$.
Define the n-dimensional heat kernel by
$$displaystylemathcal{H}_{t}^{(n)}(x):=frac{1}{(4pi t)^{n/2}}e^{|x|^2/4t}=int_{mathbb{R}^{n}}e^{-4pi^{2}t|xi|^{2}}e^{2pi i xcdot xi}dxi, $$
where $|cdot|$ is the euclidian norm in $mathbb{R}^{n}$.
I need to prove three statements about $u(x,t)=left(f*mathcal{H}_{t}^{(n)}right)(x)$.
(1) $u$ is indefinitely differentiable when $xinmathbb{R}^{n}$ and $t>0.$
(2) $u$ solves the heat equation above
(3) $u$ is continuous up to the boundary $t=0$ with $u(x,0)=f(x).$
By definition,
$$u(x,t)=underbrace{int_{-infty}^{infty}cdotsint_{-infty}^{infty}}_{n;textrm{times}}frac{f(y)}{(4pi t)^{n/2}}e^{-frac{left[(x_{1}-y_{1})^{2}+cdots+(x_{n}-y_{n})^{2}right]^{1/2}}{4t}}dx_{1}dots dx_{n}$$
That's all I got. I really want some tips (I don't want the solution ifself)
pde fourier-analysis improper-integrals convolution heat-equation
pde fourier-analysis improper-integrals convolution heat-equation
asked Nov 21 '18 at 17:54
Mateus RochaMateus Rocha
824117
asked Nov 21 '18 at 17:54
Mateus RochaMateus Rocha
824117
asked Nov 21 '18 at 17:54
Mateus RochaMateus Rocha
824117
asked Nov 21 '18 at 17:54
Mateus RochaMateus Rocha
824117
asked Nov 21 '18 at 17:54
Mateus RochaMateus Rocha
824117
824117
(1) is standard theory about convolution; nothing to prove there.
– Federico
Nov 21 '18 at 18:03
(2) have you done some computation of the partial derivatives? Again, some facts about the convolution might help
– Federico
Nov 21 '18 at 18:04
(3) ever seen convolutions with a rescaled kernel? They approximate the identity...
– Federico
Nov 21 '18 at 18:05
I would suggest using vector calculus computations to simplify things..it’ll make your life easier
– DaveNine
Nov 21 '18 at 19:49
add a comment |
(1) is standard theory about convolution; nothing to prove there.
– Federico
Nov 21 '18 at 18:03
(2) have you done some computation of the partial derivatives? Again, some facts about the convolution might help
– Federico
Nov 21 '18 at 18:04
(3) ever seen convolutions with a rescaled kernel? They approximate the identity...
– Federico
Nov 21 '18 at 18:05
I would suggest using vector calculus computations to simplify things..it’ll make your life easier
– DaveNine
Nov 21 '18 at 19:49
(1) is standard theory about convolution; nothing to prove there.
– Federico
Nov 21 '18 at 18:03
(1) is standard theory about convolution; nothing to prove there.
– Federico
Nov 21 '18 at 18:03
(2) have you done some computation of the partial derivatives? Again, some facts about the convolution might help
– Federico
Nov 21 '18 at 18:04
(2) have you done some computation of the partial derivatives? Again, some facts about the convolution might help
– Federico
Nov 21 '18 at 18:04
(3) ever seen convolutions with a rescaled kernel? They approximate the identity...
– Federico
Nov 21 '18 at 18:05
(3) ever seen convolutions with a rescaled kernel? They approximate the identity...
– Federico
Nov 21 '18 at 18:05
I would suggest using vector calculus computations to simplify things..it’ll make your life easier
– DaveNine
Nov 21 '18 at 19:49
I would suggest using vector calculus computations to simplify things..it’ll make your life easier
– DaveNine
Nov 21 '18 at 19:49
add a comment |
1 Answer
1
active
oldest
votes
This is an easy consequence of the fact that $f'*g = f*g'$ for any $f$ and $g$, as well as the fact that the heat kernel is $C^{infty}$ for $t>0$.
This can be shown with the above fact also, namely we have that $$(partial_t-Delta)u = f*((partial_t-Deltamathcal){H}) = f*0=0$$ since the heat kernel is a solution to the homogenous heat equation.
This is pretty tough to prove and the difficulty varies depending on space $f$ lies in. I will try to sketch a proof. You are trying to show that $lim_{tto0}u(x,t) = f(x)$. The way this typically goes is you divide up the region into an $varepsilon$-ball centered at $x$ and its compliment then show that as $tto 0$, the integral of the outer part goes to $0$ and the interior approaches $f(x)$. For the outer part, use the fact that the integral converges (i.e. the heat kernel decreases rapidly) and the fact that $f$ is rapidly decreasing (Schwartz). For the inner part, you can use some the continuity of $f$ to relate the value of $f$ in this region to $f(x)$. You will use the fact that the heat kernel integrates to 1 at this point somewhere.
answered Nov 21 '18 at 22:55
whpowell96whpowell96
53115
add a comment |
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
});
}
});
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%2f3008096%2fux-t-leftf-mathcalh-tn-rightx-is-solution-to-the-n-dimensiona%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
This is an easy consequence of the fact that $f'*g = f*g'$ for any $f$ and $g$, as well as the fact that the heat kernel is $C^{infty}$ for $t>0$.
This can be shown with the above fact also, namely we have that $$(partial_t-Delta)u = f*((partial_t-Deltamathcal){H}) = f*0=0$$ since the heat kernel is a solution to the homogenous heat equation.
This is pretty tough to prove and the difficulty varies depending on space $f$ lies in. I will try to sketch a proof. You are trying to show that $lim_{tto0}u(x,t) = f(x)$. The way this typically goes is you divide up the region into an $varepsilon$-ball centered at $x$ and its compliment then show that as $tto 0$, the integral of the outer part goes to $0$ and the interior approaches $f(x)$. For the outer part, use the fact that the integral converges (i.e. the heat kernel decreases rapidly) and the fact that $f$ is rapidly decreasing (Schwartz). For the inner part, you can use some the continuity of $f$ to relate the value of $f$ in this region to $f(x)$. You will use the fact that the heat kernel integrates to 1 at this point somewhere.
answered Nov 21 '18 at 22:55
whpowell96whpowell96
53115
add a comment |
This is an easy consequence of the fact that $f'*g = f*g'$ for any $f$ and $g$, as well as the fact that the heat kernel is $C^{infty}$ for $t>0$.
This can be shown with the above fact also, namely we have that $$(partial_t-Delta)u = f*((partial_t-Deltamathcal){H}) = f*0=0$$ since the heat kernel is a solution to the homogenous heat equation.
This is pretty tough to prove and the difficulty varies depending on space $f$ lies in. I will try to sketch a proof. You are trying to show that $lim_{tto0}u(x,t) = f(x)$. The way this typically goes is you divide up the region into an $varepsilon$-ball centered at $x$ and its compliment then show that as $tto 0$, the integral of the outer part goes to $0$ and the interior approaches $f(x)$. For the outer part, use the fact that the integral converges (i.e. the heat kernel decreases rapidly) and the fact that $f$ is rapidly decreasing (Schwartz). For the inner part, you can use some the continuity of $f$ to relate the value of $f$ in this region to $f(x)$. You will use the fact that the heat kernel integrates to 1 at this point somewhere.
answered Nov 21 '18 at 22:55
whpowell96whpowell96
53115
add a comment |
This is an easy consequence of the fact that $f'*g = f*g'$ for any $f$ and $g$, as well as the fact that the heat kernel is $C^{infty}$ for $t>0$.
This can be shown with the above fact also, namely we have that $$(partial_t-Delta)u = f*((partial_t-Deltamathcal){H}) = f*0=0$$ since the heat kernel is a solution to the homogenous heat equation.
This is pretty tough to prove and the difficulty varies depending on space $f$ lies in. I will try to sketch a proof. You are trying to show that $lim_{tto0}u(x,t) = f(x)$. The way this typically goes is you divide up the region into an $varepsilon$-ball centered at $x$ and its compliment then show that as $tto 0$, the integral of the outer part goes to $0$ and the interior approaches $f(x)$. For the outer part, use the fact that the integral converges (i.e. the heat kernel decreases rapidly) and the fact that $f$ is rapidly decreasing (Schwartz). For the inner part, you can use some the continuity of $f$ to relate the value of $f$ in this region to $f(x)$. You will use the fact that the heat kernel integrates to 1 at this point somewhere.
answered Nov 21 '18 at 22:55
whpowell96whpowell96
53115
This is an easy consequence of the fact that $f'*g = f*g'$ for any $f$ and $g$, as well as the fact that the heat kernel is $C^{infty}$ for $t>0$.
This can be shown with the above fact also, namely we have that $$(partial_t-Delta)u = f*((partial_t-Deltamathcal){H}) = f*0=0$$ since the heat kernel is a solution to the homogenous heat equation.
This is pretty tough to prove and the difficulty varies depending on space $f$ lies in. I will try to sketch a proof. You are trying to show that $lim_{tto0}u(x,t) = f(x)$. The way this typically goes is you divide up the region into an $varepsilon$-ball centered at $x$ and its compliment then show that as $tto 0$, the integral of the outer part goes to $0$ and the interior approaches $f(x)$. For the outer part, use the fact that the integral converges (i.e. the heat kernel decreases rapidly) and the fact that $f$ is rapidly decreasing (Schwartz). For the inner part, you can use some the continuity of $f$ to relate the value of $f$ in this region to $f(x)$. You will use the fact that the heat kernel integrates to 1 at this point somewhere.
answered Nov 21 '18 at 22:55
whpowell96whpowell96
53115
answered Nov 21 '18 at 22:55
whpowell96whpowell96
53115
answered Nov 21 '18 at 22:55
whpowell96whpowell96
53115
answered Nov 21 '18 at 22:55
whpowell96whpowell96
53115
53115
add a comment |
add a comment |
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.
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%2f3008096%2fux-t-leftf-mathcalh-tn-rightx-is-solution-to-the-n-dimensiona%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
(1) is standard theory about convolution; nothing to prove there.
– Federico
Nov 21 '18 at 18:03
(2) have you done some computation of the partial derivatives? Again, some facts about the convolution might help
– Federico
Nov 21 '18 at 18:04
(3) ever seen convolutions with a rescaled kernel? They approximate the identity...
– Federico
Nov 21 '18 at 18:05
I would suggest using vector calculus computations to simplify things..it’ll make your life easier
– DaveNine
Nov 21 '18 at 19:49