About the optimal constant in the parabolic Harnack inequality
up vote
0
down vote
favorite
For the heat equation $partial_t u = Delta u$ there exists the following version of the harnack inequality. Given $0<t_1<t_2$ and $x_1,x_2 in mathbb{R}^d$ it holds that
$$u(t_1,x_1) le u(t_2,x_2) left( frac{t_2}{t_1}right) ^{frac{d}{2}} exp left( frac{|x_2-x_1|_2^2}{4(t_2-t_1)} right). $$
For many authors it is a well known fact that this is sharp. Some argue that for the heat kernel
$$u(t,x) = left( frac{1}{4pi t}right) ^{frac{d}{2}} exp left( frac{-|x|_2^2}{4t} right)$$
above inequality is an equality. When trying to verify that i get stuck at
$$ exp left( frac{|x_2-x_1|_2^2}{4(t_2-t_1)} - frac{|x_2|_2^2}{4t_2} +frac{|x_1|_2^2}{4t_1} right) overset{!}{=} 1$$ which clearly doesn't hold. So my question is how is it to be understand that above Harnack inequality is sharp?
heat-equation
asked Nov 10 at 8:22
user33
12
add a comment |
up vote
0
down vote
favorite
For the heat equation $partial_t u = Delta u$ there exists the following version of the harnack inequality. Given $0<t_1<t_2$ and $x_1,x_2 in mathbb{R}^d$ it holds that
$$u(t_1,x_1) le u(t_2,x_2) left( frac{t_2}{t_1}right) ^{frac{d}{2}} exp left( frac{|x_2-x_1|_2^2}{4(t_2-t_1)} right). $$
For many authors it is a well known fact that this is sharp. Some argue that for the heat kernel
$$u(t,x) = left( frac{1}{4pi t}right) ^{frac{d}{2}} exp left( frac{-|x|_2^2}{4t} right)$$
above inequality is an equality. When trying to verify that i get stuck at
$$ exp left( frac{|x_2-x_1|_2^2}{4(t_2-t_1)} - frac{|x_2|_2^2}{4t_2} +frac{|x_1|_2^2}{4t_1} right) overset{!}{=} 1$$ which clearly doesn't hold. So my question is how is it to be understand that above Harnack inequality is sharp?
heat-equation
asked Nov 10 at 8:22
user33
12
add a comment |
up vote
0
down vote
favorite
up vote
0
down vote
favorite
For the heat equation $partial_t u = Delta u$ there exists the following version of the harnack inequality. Given $0<t_1<t_2$ and $x_1,x_2 in mathbb{R}^d$ it holds that
$$u(t_1,x_1) le u(t_2,x_2) left( frac{t_2}{t_1}right) ^{frac{d}{2}} exp left( frac{|x_2-x_1|_2^2}{4(t_2-t_1)} right). $$
For many authors it is a well known fact that this is sharp. Some argue that for the heat kernel
$$u(t,x) = left( frac{1}{4pi t}right) ^{frac{d}{2}} exp left( frac{-|x|_2^2}{4t} right)$$
above inequality is an equality. When trying to verify that i get stuck at
$$ exp left( frac{|x_2-x_1|_2^2}{4(t_2-t_1)} - frac{|x_2|_2^2}{4t_2} +frac{|x_1|_2^2}{4t_1} right) overset{!}{=} 1$$ which clearly doesn't hold. So my question is how is it to be understand that above Harnack inequality is sharp?
heat-equation
asked Nov 10 at 8:22
user33
12
For the heat equation $partial_t u = Delta u$ there exists the following version of the harnack inequality. Given $0<t_1<t_2$ and $x_1,x_2 in mathbb{R}^d$ it holds that
$$u(t_1,x_1) le u(t_2,x_2) left( frac{t_2}{t_1}right) ^{frac{d}{2}} exp left( frac{|x_2-x_1|_2^2}{4(t_2-t_1)} right). $$
For many authors it is a well known fact that this is sharp. Some argue that for the heat kernel
$$u(t,x) = left( frac{1}{4pi t}right) ^{frac{d}{2}} exp left( frac{-|x|_2^2}{4t} right)$$
above inequality is an equality. When trying to verify that i get stuck at
$$ exp left( frac{|x_2-x_1|_2^2}{4(t_2-t_1)} - frac{|x_2|_2^2}{4t_2} +frac{|x_1|_2^2}{4t_1} right) overset{!}{=} 1$$ which clearly doesn't hold. So my question is how is it to be understand that above Harnack inequality is sharp?
heat-equation
heat-equation
asked Nov 10 at 8:22
user33
12
asked Nov 10 at 8:22
user33
12
edited 2 days ago
asked Nov 10 at 8:22
user33
12
asked Nov 10 at 8:22
user33
12
asked Nov 10 at 8:22
user33
12
12
add a comment |
add a comment |
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
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%2f2992364%2fabout-the-optimal-constant-in-the-parabolic-harnack-inequality%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
