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
New contributor
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
New contributor
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
New contributor
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
New contributor
New contributor
edited yesterday
New contributor
asked Nov 10 at 8:22
user33
11
11
New contributor
New contributor
add a comment |
add a comment |
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
user33 is a new contributor. Be nice, and check out our Code of Conduct.
user33 is a new contributor. Be nice, and check out our Code of Conduct.
user33 is a new contributor. Be nice, and check out our Code of Conduct.
user33 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%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