If $u$ is a solution to the wave equation (Cauchy) then $|u(x,t)|le A/t$ for some $A$
up vote
1
down vote
favorite
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
add a comment |
up vote
1
down vote
favorite
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
add a comment |
up vote
1
down vote
favorite
up vote
1
down vote
favorite
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
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
edited Dec 3 at 19:04
asked Nov 27 at 19:33
Lucas Zanella
92311330
92311330
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
up vote
2
down vote
accepted
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$.
What is $mathcal H^2$?
– Lucas Zanella
Dec 3 at 19:19
Two-dimensional Hausdorff measure. The surface area
– Federico
Dec 3 at 19:20
Why is $C$, that is, $S_t(x)$ in my example, contained in $B_R$? I thought it was not necessairy contained
– Lucas Zanella
Dec 3 at 19:22
Read carefully. Where did I say that $S_x(t)subset B_R$?
– Federico
Dec 3 at 19:23
I thought $C$ was $S_x(t)$
– Lucas Zanella
Dec 3 at 19:23
|
show 1 more comment
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
2
down vote
accepted
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$.
What is $mathcal H^2$?
– Lucas Zanella
Dec 3 at 19:19
Two-dimensional Hausdorff measure. The surface area
– Federico
Dec 3 at 19:20
Why is $C$, that is, $S_t(x)$ in my example, contained in $B_R$? I thought it was not necessairy contained
– Lucas Zanella
Dec 3 at 19:22
Read carefully. Where did I say that $S_x(t)subset B_R$?
– Federico
Dec 3 at 19:23
I thought $C$ was $S_x(t)$
– Lucas Zanella
Dec 3 at 19:23
|
show 1 more comment
up vote
2
down vote
accepted
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$.
What is $mathcal H^2$?
– Lucas Zanella
Dec 3 at 19:19
Two-dimensional Hausdorff measure. The surface area
– Federico
Dec 3 at 19:20
Why is $C$, that is, $S_t(x)$ in my example, contained in $B_R$? I thought it was not necessairy contained
– Lucas Zanella
Dec 3 at 19:22
Read carefully. Where did I say that $S_x(t)subset B_R$?
– Federico
Dec 3 at 19:23
I thought $C$ was $S_x(t)$
– Lucas Zanella
Dec 3 at 19:23
|
show 1 more comment
up vote
2
down vote
accepted
up vote
2
down vote
accepted
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$.
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$.
edited Dec 3 at 19:25
answered Dec 3 at 19:18
Federico
4,068512
4,068512
What is $mathcal H^2$?
– Lucas Zanella
Dec 3 at 19:19
Two-dimensional Hausdorff measure. The surface area
– Federico
Dec 3 at 19:20
Why is $C$, that is, $S_t(x)$ in my example, contained in $B_R$? I thought it was not necessairy contained
– Lucas Zanella
Dec 3 at 19:22
Read carefully. Where did I say that $S_x(t)subset B_R$?
– Federico
Dec 3 at 19:23
I thought $C$ was $S_x(t)$
– Lucas Zanella
Dec 3 at 19:23
|
show 1 more comment
What is $mathcal H^2$?
– Lucas Zanella
Dec 3 at 19:19
Two-dimensional Hausdorff measure. The surface area
– Federico
Dec 3 at 19:20
Why is $C$, that is, $S_t(x)$ in my example, contained in $B_R$? I thought it was not necessairy contained
– Lucas Zanella
Dec 3 at 19:22
Read carefully. Where did I say that $S_x(t)subset B_R$?
– Federico
Dec 3 at 19:23
I thought $C$ was $S_x(t)$
– Lucas Zanella
Dec 3 at 19:23
What is $mathcal H^2$?
– Lucas Zanella
Dec 3 at 19:19
What is $mathcal H^2$?
– Lucas Zanella
Dec 3 at 19:19
Two-dimensional Hausdorff measure. The surface area
– Federico
Dec 3 at 19:20
Two-dimensional Hausdorff measure. The surface area
– Federico
Dec 3 at 19:20
Why is $C$, that is, $S_t(x)$ in my example, contained in $B_R$? I thought it was not necessairy contained
– Lucas Zanella
Dec 3 at 19:22
Why is $C$, that is, $S_t(x)$ in my example, contained in $B_R$? I thought it was not necessairy contained
– Lucas Zanella
Dec 3 at 19:22
Read carefully. Where did I say that $S_x(t)subset B_R$?
– Federico
Dec 3 at 19:23
Read carefully. Where did I say that $S_x(t)subset B_R$?
– Federico
Dec 3 at 19:23
I thought $C$ was $S_x(t)$
– Lucas Zanella
Dec 3 at 19:23
I thought $C$ was $S_x(t)$
– Lucas Zanella
Dec 3 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.
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%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