If $u$ is a solution to the wave equation (Cauchy) then $|u(x,t)|le A/t$ for some $A$
$begingroup$
Let $u(x,t)$ be a solution for the Cauchy Problem
$$u_{tt}-Delta_xu = 0mbox{ in $mathbb{R}^3times mathbb{R}$}$$
$$u(x,0) = f(x)mbox{ in $mathbb{R}^3$}$$ $$u_t(x,0) = g(x) mbox{in
$mathbb{R}^3$}$$
where $f$ and $g$ are of class $C^3$ and $C^2$ respectively in
$mathbb{R}^3$ which are null in the complementar of a compact. Show
that there exists a constant $A$ such that
$$|u(x,t)|le A/t, xinmathbb{R}^3, tge 1$$
Find, also, an estimative for the constant $A$ in terms of $f$ and
$g$.
UPDATE:
I've found the solution 
but I need to understand why the intersection with the support is at most $4pi R^2$. As I understand, the support of the data is the support of $f$. The intersection of $S_t(x)$ with this support should be what?
I'm trying to imagine the complement of the ball $B(0,R)$ which contains the support of $f$ (is the support $g$ necessary?). I must take the intersection with $S_x(t)$ but I do not know what to do
real-analysis integration pde wave-equation
asked Nov 27 '18 at 19:33
Lucas ZanellaLucas Zanella
92411330
$endgroup$
add a comment |
$begingroup$
Let $u(x,t)$ be a solution for the Cauchy Problem
$$u_{tt}-Delta_xu = 0mbox{ in $mathbb{R}^3times mathbb{R}$}$$
$$u(x,0) = f(x)mbox{ in $mathbb{R}^3$}$$ $$u_t(x,0) = g(x) mbox{in
$mathbb{R}^3$}$$
where $f$ and $g$ are of class $C^3$ and $C^2$ respectively in
$mathbb{R}^3$ which are null in the complementar of a compact. Show
that there exists a constant $A$ such that
$$|u(x,t)|le A/t, xinmathbb{R}^3, tge 1$$
Find, also, an estimative for the constant $A$ in terms of $f$ and
$g$.
UPDATE:
I've found the solution
but I need to understand why the intersection with the support is at most $4pi R^2$. As I understand, the support of the data is the support of $f$. The intersection of $S_t(x)$ with this support should be what?
I'm trying to imagine the complement of the ball $B(0,R)$ which contains the support of $f$ (is the support $g$ necessary?). I must take the intersection with $S_x(t)$ but I do not know what to do
real-analysis integration pde wave-equation
asked Nov 27 '18 at 19:33
Lucas ZanellaLucas Zanella
92411330
$endgroup$
add a comment |
$begingroup$
Let $u(x,t)$ be a solution for the Cauchy Problem
$$u_{tt}-Delta_xu = 0mbox{ in $mathbb{R}^3times mathbb{R}$}$$
$$u(x,0) = f(x)mbox{ in $mathbb{R}^3$}$$ $$u_t(x,0) = g(x) mbox{in
$mathbb{R}^3$}$$
where $f$ and $g$ are of class $C^3$ and $C^2$ respectively in
$mathbb{R}^3$ which are null in the complementar of a compact. Show
that there exists a constant $A$ such that
$$|u(x,t)|le A/t, xinmathbb{R}^3, tge 1$$
Find, also, an estimative for the constant $A$ in terms of $f$ and
$g$.
UPDATE:
I've found the solution
but I need to understand why the intersection with the support is at most $4pi R^2$. As I understand, the support of the data is the support of $f$. The intersection of $S_t(x)$ with this support should be what?
I'm trying to imagine the complement of the ball $B(0,R)$ which contains the support of $f$ (is the support $g$ necessary?). I must take the intersection with $S_x(t)$ but I do not know what to do
real-analysis integration pde wave-equation
asked Nov 27 '18 at 19:33
Lucas ZanellaLucas Zanella
92411330
$endgroup$
Let $u(x,t)$ be a solution for the Cauchy Problem
$$u_{tt}-Delta_xu = 0mbox{ in $mathbb{R}^3times mathbb{R}$}$$
$$u(x,0) = f(x)mbox{ in $mathbb{R}^3$}$$ $$u_t(x,0) = g(x) mbox{in
$mathbb{R}^3$}$$
where $f$ and $g$ are of class $C^3$ and $C^2$ respectively in
$mathbb{R}^3$ which are null in the complementar of a compact. Show
that there exists a constant $A$ such that
$$|u(x,t)|le A/t, xinmathbb{R}^3, tge 1$$
Find, also, an estimative for the constant $A$ in terms of $f$ and
$g$.
UPDATE:
I've found the solution
but I need to understand why the intersection with the support is at most $4pi R^2$. As I understand, the support of the data is the support of $f$. The intersection of $S_t(x)$ with this support should be what?
I'm trying to imagine the complement of the ball $B(0,R)$ which contains the support of $f$ (is the support $g$ necessary?). I must take the intersection with $S_x(t)$ but I do not know what to do
real-analysis integration pde wave-equation
real-analysis integration pde wave-equation
asked Nov 27 '18 at 19:33
Lucas ZanellaLucas Zanella
92411330
asked Nov 27 '18 at 19:33
Lucas ZanellaLucas Zanella
92411330
edited Dec 3 '18 at 19:04
Lucas Zanella
asked Nov 27 '18 at 19:33
Lucas ZanellaLucas Zanella
92411330
asked Nov 27 '18 at 19:33
Lucas ZanellaLucas Zanella
92411330
asked Nov 27 '18 at 19:33
Lucas ZanellaLucas Zanella
92411330
92411330
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
We use the following fact.
- If $Csubsetmathbb R^3$ is a convex set contained in a ball $B_R$, then $mathcal H^2(partial C)leq mathcal H^2(partial B_R)=4pi R^2$.
With your notation, let $E_x(t)$ be the ball bounded by $S_x(t)$ and let $B_R$ the ball that contains $mathrm{supp}(f)$ and $mathrm{supp}(g)$. Then $E_x(t)cap B_R$ is convex and contained in $B_R$. Its surface is composed of two pieces, one of which is $partial E_x(t)cap B_R = S_x(t)cap B_R$. Therefore
$$
mathcal H^2bigl(S_x(t)cap B_Rbigr)
leq mathcal H^2bigl(partial(E_x(t)cap B_R)bigr)
leq mathcal H^2(partial B_R)=4pi R^2 .
$$
Edit
Obviously, I applied the initial fact with $C=E_x(t)cap B_R$.
answered Dec 3 '18 at 19:18
FedericoFederico
5,004514
$endgroup$
$begingroup$
What is $mathcal H^2$?
$endgroup$
– Lucas Zanella
Dec 3 '18 at 19:19
$begingroup$
Two-dimensional Hausdorff measure. The surface area
$endgroup$
– Federico
Dec 3 '18 at 19:20
$begingroup$
Why is $C$, that is, $S_t(x)$ in my example, contained in $B_R$? I thought it was not necessairy contained
$endgroup$
– Lucas Zanella
Dec 3 '18 at 19:22
$begingroup$
Read carefully. Where did I say that $S_x(t)subset B_R$?
$endgroup$
– Federico
Dec 3 '18 at 19:23
$begingroup$
I thought $C$ was $S_x(t)$
$endgroup$
– Lucas Zanella
Dec 3 '18 at 19:23
|
show 1 more 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%2f3016212%2fif-u-is-a-solution-to-the-wave-equation-cauchy-then-ux-t-le-a-t-for-so%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
$begingroup$
We use the following fact.
- If $Csubsetmathbb R^3$ is a convex set contained in a ball $B_R$, then $mathcal H^2(partial C)leq mathcal H^2(partial B_R)=4pi R^2$.
With your notation, let $E_x(t)$ be the ball bounded by $S_x(t)$ and let $B_R$ the ball that contains $mathrm{supp}(f)$ and $mathrm{supp}(g)$. Then $E_x(t)cap B_R$ is convex and contained in $B_R$. Its surface is composed of two pieces, one of which is $partial E_x(t)cap B_R = S_x(t)cap B_R$. Therefore
$$
mathcal H^2bigl(S_x(t)cap B_Rbigr)
leq mathcal H^2bigl(partial(E_x(t)cap B_R)bigr)
leq mathcal H^2(partial B_R)=4pi R^2 .
$$
Edit
Obviously, I applied the initial fact with $C=E_x(t)cap B_R$.
answered Dec 3 '18 at 19:18
FedericoFederico
5,004514
$endgroup$
$begingroup$
What is $mathcal H^2$?
$endgroup$
– Lucas Zanella
Dec 3 '18 at 19:19
$begingroup$
Two-dimensional Hausdorff measure. The surface area
$endgroup$
– Federico
Dec 3 '18 at 19:20
$begingroup$
Why is $C$, that is, $S_t(x)$ in my example, contained in $B_R$? I thought it was not necessairy contained
$endgroup$
– Lucas Zanella
Dec 3 '18 at 19:22
$begingroup$
Read carefully. Where did I say that $S_x(t)subset B_R$?
$endgroup$
– Federico
Dec 3 '18 at 19:23
$begingroup$
I thought $C$ was $S_x(t)$
$endgroup$
– Lucas Zanella
Dec 3 '18 at 19:23
|
show 1 more comment
$begingroup$
We use the following fact.
- If $Csubsetmathbb R^3$ is a convex set contained in a ball $B_R$, then $mathcal H^2(partial C)leq mathcal H^2(partial B_R)=4pi R^2$.
With your notation, let $E_x(t)$ be the ball bounded by $S_x(t)$ and let $B_R$ the ball that contains $mathrm{supp}(f)$ and $mathrm{supp}(g)$. Then $E_x(t)cap B_R$ is convex and contained in $B_R$. Its surface is composed of two pieces, one of which is $partial E_x(t)cap B_R = S_x(t)cap B_R$. Therefore
$$
mathcal H^2bigl(S_x(t)cap B_Rbigr)
leq mathcal H^2bigl(partial(E_x(t)cap B_R)bigr)
leq mathcal H^2(partial B_R)=4pi R^2 .
$$
Edit
Obviously, I applied the initial fact with $C=E_x(t)cap B_R$.
answered Dec 3 '18 at 19:18
FedericoFederico
5,004514
$endgroup$
$begingroup$
What is $mathcal H^2$?
$endgroup$
– Lucas Zanella
Dec 3 '18 at 19:19
$begingroup$
Two-dimensional Hausdorff measure. The surface area
$endgroup$
– Federico
Dec 3 '18 at 19:20
$begingroup$
Why is $C$, that is, $S_t(x)$ in my example, contained in $B_R$? I thought it was not necessairy contained
$endgroup$
– Lucas Zanella
Dec 3 '18 at 19:22
$begingroup$
Read carefully. Where did I say that $S_x(t)subset B_R$?
$endgroup$
– Federico
Dec 3 '18 at 19:23
$begingroup$
I thought $C$ was $S_x(t)$
$endgroup$
– Lucas Zanella
Dec 3 '18 at 19:23
|
show 1 more comment
$begingroup$
We use the following fact.
- If $Csubsetmathbb R^3$ is a convex set contained in a ball $B_R$, then $mathcal H^2(partial C)leq mathcal H^2(partial B_R)=4pi R^2$.
With your notation, let $E_x(t)$ be the ball bounded by $S_x(t)$ and let $B_R$ the ball that contains $mathrm{supp}(f)$ and $mathrm{supp}(g)$. Then $E_x(t)cap B_R$ is convex and contained in $B_R$. Its surface is composed of two pieces, one of which is $partial E_x(t)cap B_R = S_x(t)cap B_R$. Therefore
$$
mathcal H^2bigl(S_x(t)cap B_Rbigr)
leq mathcal H^2bigl(partial(E_x(t)cap B_R)bigr)
leq mathcal H^2(partial B_R)=4pi R^2 .
$$
Edit
Obviously, I applied the initial fact with $C=E_x(t)cap B_R$.
answered Dec 3 '18 at 19:18
FedericoFederico
5,004514
$endgroup$
We use the following fact.
- If $Csubsetmathbb R^3$ is a convex set contained in a ball $B_R$, then $mathcal H^2(partial C)leq mathcal H^2(partial B_R)=4pi R^2$.
With your notation, let $E_x(t)$ be the ball bounded by $S_x(t)$ and let $B_R$ the ball that contains $mathrm{supp}(f)$ and $mathrm{supp}(g)$. Then $E_x(t)cap B_R$ is convex and contained in $B_R$. Its surface is composed of two pieces, one of which is $partial E_x(t)cap B_R = S_x(t)cap B_R$. Therefore
$$
mathcal H^2bigl(S_x(t)cap B_Rbigr)
leq mathcal H^2bigl(partial(E_x(t)cap B_R)bigr)
leq mathcal H^2(partial B_R)=4pi R^2 .
$$
Edit
Obviously, I applied the initial fact with $C=E_x(t)cap B_R$.
answered Dec 3 '18 at 19:18
FedericoFederico
5,004514
edited Dec 3 '18 at 19:25
answered Dec 3 '18 at 19:18
FedericoFederico
5,004514
answered Dec 3 '18 at 19:18
FedericoFederico
5,004514
answered Dec 3 '18 at 19:18
FedericoFederico
5,004514
5,004514
$begingroup$
What is $mathcal H^2$?
$endgroup$
– Lucas Zanella
Dec 3 '18 at 19:19
$begingroup$
Two-dimensional Hausdorff measure. The surface area
$endgroup$
– Federico
Dec 3 '18 at 19:20
$begingroup$
Why is $C$, that is, $S_t(x)$ in my example, contained in $B_R$? I thought it was not necessairy contained
$endgroup$
– Lucas Zanella
Dec 3 '18 at 19:22
$begingroup$
Read carefully. Where did I say that $S_x(t)subset B_R$?
$endgroup$
– Federico
Dec 3 '18 at 19:23
$begingroup$
I thought $C$ was $S_x(t)$
$endgroup$
– Lucas Zanella
Dec 3 '18 at 19:23
|
show 1 more comment
$begingroup$
What is $mathcal H^2$?
$endgroup$
– Lucas Zanella
Dec 3 '18 at 19:19
$begingroup$
Two-dimensional Hausdorff measure. The surface area
$endgroup$
– Federico
Dec 3 '18 at 19:20
$begingroup$
Why is $C$, that is, $S_t(x)$ in my example, contained in $B_R$? I thought it was not necessairy contained
$endgroup$
– Lucas Zanella
Dec 3 '18 at 19:22
$begingroup$
Read carefully. Where did I say that $S_x(t)subset B_R$?
$endgroup$
– Federico
Dec 3 '18 at 19:23
$begingroup$
I thought $C$ was $S_x(t)$
$endgroup$
– Lucas Zanella
Dec 3 '18 at 19:23
$begingroup$
What is $mathcal H^2$?
$endgroup$
– Lucas Zanella
Dec 3 '18 at 19:19
$begingroup$
What is $mathcal H^2$?
$endgroup$
– Lucas Zanella
Dec 3 '18 at 19:19
$begingroup$
Two-dimensional Hausdorff measure. The surface area
$endgroup$
– Federico
Dec 3 '18 at 19:20
$begingroup$
Two-dimensional Hausdorff measure. The surface area
$endgroup$
– Federico
Dec 3 '18 at 19:20
$begingroup$
Why is $C$, that is, $S_t(x)$ in my example, contained in $B_R$? I thought it was not necessairy contained
$endgroup$
– Lucas Zanella
Dec 3 '18 at 19:22
$begingroup$
Why is $C$, that is, $S_t(x)$ in my example, contained in $B_R$? I thought it was not necessairy contained
$endgroup$
– Lucas Zanella
Dec 3 '18 at 19:22
$begingroup$
Read carefully. Where did I say that $S_x(t)subset B_R$?
$endgroup$
– Federico
Dec 3 '18 at 19:23
$begingroup$
Read carefully. Where did I say that $S_x(t)subset B_R$?
$endgroup$
– Federico
Dec 3 '18 at 19:23
$begingroup$
I thought $C$ was $S_x(t)$
$endgroup$
– Lucas Zanella
Dec 3 '18 at 19:23
$begingroup$
I thought $C$ was $S_x(t)$
$endgroup$
– Lucas Zanella
Dec 3 '18 at 19:23
|
show 1 more 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.
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%2f3016212%2fif-u-is-a-solution-to-the-wave-equation-cauchy-then-ux-t-le-a-t-for-so%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
