Variational problem of Laplace equation
up vote
1
down vote
favorite
We know that:
$Delta u=-f, inOmega$
$u=0$ ,on $partialOmega$
Is equivalent to this variational problem:
find the minimum of $J(u)$ in $C^2(Omega)cap C^1(barOmega)$, where $J(u)=int_Omega[frac{1}{2}(u_x^2+u_y^2)-uf]dxdy$.
My question is:
why we need u belongs to $C^2(Omega)cap C^1(barOmega)$? specifically, why we need $u,Du$ continuos up to the boundary of $Omega$? Why can't we just use $uin C^2(Omega)cap C^1(Omega)$?
functional-analysis pde sobolev-spaces
New contributor
add a comment |
up vote
1
down vote
favorite
We know that:
$Delta u=-f, inOmega$
$u=0$ ,on $partialOmega$
Is equivalent to this variational problem:
find the minimum of $J(u)$ in $C^2(Omega)cap C^1(barOmega)$, where $J(u)=int_Omega[frac{1}{2}(u_x^2+u_y^2)-uf]dxdy$.
My question is:
why we need u belongs to $C^2(Omega)cap C^1(barOmega)$? specifically, why we need $u,Du$ continuos up to the boundary of $Omega$? Why can't we just use $uin C^2(Omega)cap C^1(Omega)$?
functional-analysis pde sobolev-spaces
New contributor
add a comment |
up vote
1
down vote
favorite
up vote
1
down vote
favorite
We know that:
$Delta u=-f, inOmega$
$u=0$ ,on $partialOmega$
Is equivalent to this variational problem:
find the minimum of $J(u)$ in $C^2(Omega)cap C^1(barOmega)$, where $J(u)=int_Omega[frac{1}{2}(u_x^2+u_y^2)-uf]dxdy$.
My question is:
why we need u belongs to $C^2(Omega)cap C^1(barOmega)$? specifically, why we need $u,Du$ continuos up to the boundary of $Omega$? Why can't we just use $uin C^2(Omega)cap C^1(Omega)$?
functional-analysis pde sobolev-spaces
New contributor
We know that:
$Delta u=-f, inOmega$
$u=0$ ,on $partialOmega$
Is equivalent to this variational problem:
find the minimum of $J(u)$ in $C^2(Omega)cap C^1(barOmega)$, where $J(u)=int_Omega[frac{1}{2}(u_x^2+u_y^2)-uf]dxdy$.
My question is:
why we need u belongs to $C^2(Omega)cap C^1(barOmega)$? specifically, why we need $u,Du$ continuos up to the boundary of $Omega$? Why can't we just use $uin C^2(Omega)cap C^1(Omega)$?
functional-analysis pde sobolev-spaces
functional-analysis pde sobolev-spaces
New contributor
New contributor
edited yesterday
Mefitico
829117
829117
New contributor
asked yesterday
chloe hj
535
535
New contributor
New contributor
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
up vote
2
down vote
Typically the requirement is $uin C^2(Omega)cap C^0(bar{Omega})$ if you want a classical solution; you need this because you have boundary conditions and you want u to be continuous on the boundary (otherwise you could just find a solution without BC in the interior and define it as $0$ on the boundary). The (stronger) requirement $uin C^2(Omega)cap C^1(bar{Omega})$ is a bit weird actually, I've never heard about it, but it guarantees continuity at $partialOmega$ . However it may be useless.
add a comment |
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
2
down vote
Typically the requirement is $uin C^2(Omega)cap C^0(bar{Omega})$ if you want a classical solution; you need this because you have boundary conditions and you want u to be continuous on the boundary (otherwise you could just find a solution without BC in the interior and define it as $0$ on the boundary). The (stronger) requirement $uin C^2(Omega)cap C^1(bar{Omega})$ is a bit weird actually, I've never heard about it, but it guarantees continuity at $partialOmega$ . However it may be useless.
add a comment |
up vote
2
down vote
Typically the requirement is $uin C^2(Omega)cap C^0(bar{Omega})$ if you want a classical solution; you need this because you have boundary conditions and you want u to be continuous on the boundary (otherwise you could just find a solution without BC in the interior and define it as $0$ on the boundary). The (stronger) requirement $uin C^2(Omega)cap C^1(bar{Omega})$ is a bit weird actually, I've never heard about it, but it guarantees continuity at $partialOmega$ . However it may be useless.
add a comment |
up vote
2
down vote
up vote
2
down vote
Typically the requirement is $uin C^2(Omega)cap C^0(bar{Omega})$ if you want a classical solution; you need this because you have boundary conditions and you want u to be continuous on the boundary (otherwise you could just find a solution without BC in the interior and define it as $0$ on the boundary). The (stronger) requirement $uin C^2(Omega)cap C^1(bar{Omega})$ is a bit weird actually, I've never heard about it, but it guarantees continuity at $partialOmega$ . However it may be useless.
Typically the requirement is $uin C^2(Omega)cap C^0(bar{Omega})$ if you want a classical solution; you need this because you have boundary conditions and you want u to be continuous on the boundary (otherwise you could just find a solution without BC in the interior and define it as $0$ on the boundary). The (stronger) requirement $uin C^2(Omega)cap C^1(bar{Omega})$ is a bit weird actually, I've never heard about it, but it guarantees continuity at $partialOmega$ . However it may be useless.
answered 22 hours ago
Marco
1908
1908
add a comment |
add a comment |
chloe hj is a new contributor. Be nice, and check out our Code of Conduct.
chloe hj is a new contributor. Be nice, and check out our Code of Conduct.
chloe hj is a new contributor. Be nice, and check out our Code of Conduct.
chloe hj is a new contributor. Be nice, and check out our Code of Conduct.
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%2f3004898%2fvariational-problem-of-laplace-equation%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