Integral Inequality with L-2 Norm
up vote
1
down vote
favorite
On page 135 of The Mathematical Theory of Finite Element Methods (Brenner and Scott), I encountered the following inequality:
$left | int_{Gamma} overline{v} - v , ds right | leq |Gamma |^{1/2} || overline{v} - v ||_{L^2(Gamma)},$.
The mean $overline{v}$ is defined as
$overline{v} = frac{1}{text{meas}(Omega)} int_{Omega} v(x) , dx ,$
and $Gamma = partial Omega$.
The inequality is part of a proof that the bilinear form for the Poisson equation with Dirichlet boundary conditions is coercive.
My question is: could I replace the $overline{v}-v$ on both sides of the inequality with some (more general) function? If so, what would the restrictions on the function be? I'm not sure where the inequality comes from.
functional-analysis integral-inequality
New contributor
add a comment |
up vote
1
down vote
favorite
On page 135 of The Mathematical Theory of Finite Element Methods (Brenner and Scott), I encountered the following inequality:
$left | int_{Gamma} overline{v} - v , ds right | leq |Gamma |^{1/2} || overline{v} - v ||_{L^2(Gamma)},$.
The mean $overline{v}$ is defined as
$overline{v} = frac{1}{text{meas}(Omega)} int_{Omega} v(x) , dx ,$
and $Gamma = partial Omega$.
The inequality is part of a proof that the bilinear form for the Poisson equation with Dirichlet boundary conditions is coercive.
My question is: could I replace the $overline{v}-v$ on both sides of the inequality with some (more general) function? If so, what would the restrictions on the function be? I'm not sure where the inequality comes from.
functional-analysis integral-inequality
New contributor
add a comment |
up vote
1
down vote
favorite
up vote
1
down vote
favorite
On page 135 of The Mathematical Theory of Finite Element Methods (Brenner and Scott), I encountered the following inequality:
$left | int_{Gamma} overline{v} - v , ds right | leq |Gamma |^{1/2} || overline{v} - v ||_{L^2(Gamma)},$.
The mean $overline{v}$ is defined as
$overline{v} = frac{1}{text{meas}(Omega)} int_{Omega} v(x) , dx ,$
and $Gamma = partial Omega$.
The inequality is part of a proof that the bilinear form for the Poisson equation with Dirichlet boundary conditions is coercive.
My question is: could I replace the $overline{v}-v$ on both sides of the inequality with some (more general) function? If so, what would the restrictions on the function be? I'm not sure where the inequality comes from.
functional-analysis integral-inequality
New contributor
On page 135 of The Mathematical Theory of Finite Element Methods (Brenner and Scott), I encountered the following inequality:
$left | int_{Gamma} overline{v} - v , ds right | leq |Gamma |^{1/2} || overline{v} - v ||_{L^2(Gamma)},$.
The mean $overline{v}$ is defined as
$overline{v} = frac{1}{text{meas}(Omega)} int_{Omega} v(x) , dx ,$
and $Gamma = partial Omega$.
The inequality is part of a proof that the bilinear form for the Poisson equation with Dirichlet boundary conditions is coercive.
My question is: could I replace the $overline{v}-v$ on both sides of the inequality with some (more general) function? If so, what would the restrictions on the function be? I'm not sure where the inequality comes from.
functional-analysis integral-inequality
functional-analysis integral-inequality
New contributor
New contributor
edited yesterday
New contributor
asked yesterday
rainbowgigi
62
62
New contributor
New contributor
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
up vote
1
down vote
This is just Hoelder inequality. Let me denote $w:=bar v -v$. Then
$$
|int_Gamma w ds| le int_Gamma |w|cdot 1 ds le |1|_{L^2(Gamma)} |w|_{L^2(Gamma)} = |Gamma|^{1/2}|w|_{L^2(Gamma)}.
$$
This works if $win L^2(Gamma)$ and $|Gamma|<+infty$.
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
This is just Hoelder inequality. Let me denote $w:=bar v -v$. Then
$$
|int_Gamma w ds| le int_Gamma |w|cdot 1 ds le |1|_{L^2(Gamma)} |w|_{L^2(Gamma)} = |Gamma|^{1/2}|w|_{L^2(Gamma)}.
$$
This works if $win L^2(Gamma)$ and $|Gamma|<+infty$.
add a comment |
up vote
1
down vote
This is just Hoelder inequality. Let me denote $w:=bar v -v$. Then
$$
|int_Gamma w ds| le int_Gamma |w|cdot 1 ds le |1|_{L^2(Gamma)} |w|_{L^2(Gamma)} = |Gamma|^{1/2}|w|_{L^2(Gamma)}.
$$
This works if $win L^2(Gamma)$ and $|Gamma|<+infty$.
add a comment |
up vote
1
down vote
up vote
1
down vote
This is just Hoelder inequality. Let me denote $w:=bar v -v$. Then
$$
|int_Gamma w ds| le int_Gamma |w|cdot 1 ds le |1|_{L^2(Gamma)} |w|_{L^2(Gamma)} = |Gamma|^{1/2}|w|_{L^2(Gamma)}.
$$
This works if $win L^2(Gamma)$ and $|Gamma|<+infty$.
This is just Hoelder inequality. Let me denote $w:=bar v -v$. Then
$$
|int_Gamma w ds| le int_Gamma |w|cdot 1 ds le |1|_{L^2(Gamma)} |w|_{L^2(Gamma)} = |Gamma|^{1/2}|w|_{L^2(Gamma)}.
$$
This works if $win L^2(Gamma)$ and $|Gamma|<+infty$.
answered yesterday
daw
23.6k1544
23.6k1544
add a comment |
add a comment |
rainbowgigi is a new contributor. Be nice, and check out our Code of Conduct.
rainbowgigi is a new contributor. Be nice, and check out our Code of Conduct.
rainbowgigi is a new contributor. Be nice, and check out our Code of Conduct.
rainbowgigi 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%2f2999221%2fintegral-inequality-with-l-2-norm%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