To verify Lipschitz continuity of the given function $f$.
up vote
2
down vote
favorite
Consider the function
$$f(x,vec{v}):=g(I_t+nablacdot(Ivec{v}))$$
where $I=I(x,t)$ is the image intensity function, $g:mathbb{R}to[0,infty)$ is continuous and non negative, $vec{v}in H^1(Omega)times H^1(Omega)$. It is assumed that $I_tin L^2(Omega),I_x,I_yin L^infty(Omega)$. I have to show that $f$ is Lipschitz wrt $vec{v}$ provided $g$ is uniformly Lipschitz in every closed ball of radius $r$, $bar{B(r)}subseteqmathbb{R}$ with Lipschitz constant $L_r$. This is what I have tried so far.
begin{align*}
|f(x,vec{v})-f(x,vec{v}_0)|&=|g(I_t+nablacdot(Ivec{v}))-g(I_t+nablacdot(I:vec{v}_0))|\
&le L_r|I_t+nablacdot(Ivec{v})-I_t+nablacdot(Ivec{v}_0)|\
&le L_r|nablacdot{I(vec{v}-vec{v}_0)}|\
&le L_r|nabla Icdot(vec{v}-vec{v}_0))|+L_r|Inablacdot(vec{v}-vec{v}_0))|
end{align*}
Using the given hypothesis, we can show that that the first part satisfies the bounds
$$|nabla Icdot(vec{v}-vec{v}_0))|lesqrt 2CL_r|vec{v}-vec{v}_0|$$
where $C=max{|I_x|^2,|I_y|^2}$. I am stuck with the second part. How to get the required bound for the second part ? Do we need any additional requirement for $I$ ? Any help will be appreciated. Thank You.
real-analysis functional-analysis lipschitz-functions
add a comment |
up vote
2
down vote
favorite
Consider the function
$$f(x,vec{v}):=g(I_t+nablacdot(Ivec{v}))$$
where $I=I(x,t)$ is the image intensity function, $g:mathbb{R}to[0,infty)$ is continuous and non negative, $vec{v}in H^1(Omega)times H^1(Omega)$. It is assumed that $I_tin L^2(Omega),I_x,I_yin L^infty(Omega)$. I have to show that $f$ is Lipschitz wrt $vec{v}$ provided $g$ is uniformly Lipschitz in every closed ball of radius $r$, $bar{B(r)}subseteqmathbb{R}$ with Lipschitz constant $L_r$. This is what I have tried so far.
begin{align*}
|f(x,vec{v})-f(x,vec{v}_0)|&=|g(I_t+nablacdot(Ivec{v}))-g(I_t+nablacdot(I:vec{v}_0))|\
&le L_r|I_t+nablacdot(Ivec{v})-I_t+nablacdot(Ivec{v}_0)|\
&le L_r|nablacdot{I(vec{v}-vec{v}_0)}|\
&le L_r|nabla Icdot(vec{v}-vec{v}_0))|+L_r|Inablacdot(vec{v}-vec{v}_0))|
end{align*}
Using the given hypothesis, we can show that that the first part satisfies the bounds
$$|nabla Icdot(vec{v}-vec{v}_0))|lesqrt 2CL_r|vec{v}-vec{v}_0|$$
where $C=max{|I_x|^2,|I_y|^2}$. I am stuck with the second part. How to get the required bound for the second part ? Do we need any additional requirement for $I$ ? Any help will be appreciated. Thank You.
real-analysis functional-analysis lipschitz-functions
Lipschitz from which space to which space? The map is unbounded from $H^1$ to itself. It's Lipschitz from $H^1$ to $L^2$ - just estimate the second term in your last line.
– Hans Engler
6 hours ago
@HansEngler, I didn't get you exactly. To get the last line I used $nablacdot (Ivec{w})=nabla Icdotvec{w}+Inablacdotvec{w}$ and used triangle inequality.
– Hirak
6 hours ago
1
What is the norm $| cdot |$ on the right hand side of your last equation?
– Hans Engler
6 hours ago
@HansEngler I think $L^2$ norm.
– Hirak
6 hours ago
There also ought to be a norm on the left hand side of the inequality. What is that norm?
– Hans Engler
4 hours ago
add a comment |
up vote
2
down vote
favorite
up vote
2
down vote
favorite
Consider the function
$$f(x,vec{v}):=g(I_t+nablacdot(Ivec{v}))$$
where $I=I(x,t)$ is the image intensity function, $g:mathbb{R}to[0,infty)$ is continuous and non negative, $vec{v}in H^1(Omega)times H^1(Omega)$. It is assumed that $I_tin L^2(Omega),I_x,I_yin L^infty(Omega)$. I have to show that $f$ is Lipschitz wrt $vec{v}$ provided $g$ is uniformly Lipschitz in every closed ball of radius $r$, $bar{B(r)}subseteqmathbb{R}$ with Lipschitz constant $L_r$. This is what I have tried so far.
begin{align*}
|f(x,vec{v})-f(x,vec{v}_0)|&=|g(I_t+nablacdot(Ivec{v}))-g(I_t+nablacdot(I:vec{v}_0))|\
&le L_r|I_t+nablacdot(Ivec{v})-I_t+nablacdot(Ivec{v}_0)|\
&le L_r|nablacdot{I(vec{v}-vec{v}_0)}|\
&le L_r|nabla Icdot(vec{v}-vec{v}_0))|+L_r|Inablacdot(vec{v}-vec{v}_0))|
end{align*}
Using the given hypothesis, we can show that that the first part satisfies the bounds
$$|nabla Icdot(vec{v}-vec{v}_0))|lesqrt 2CL_r|vec{v}-vec{v}_0|$$
where $C=max{|I_x|^2,|I_y|^2}$. I am stuck with the second part. How to get the required bound for the second part ? Do we need any additional requirement for $I$ ? Any help will be appreciated. Thank You.
real-analysis functional-analysis lipschitz-functions
Consider the function
$$f(x,vec{v}):=g(I_t+nablacdot(Ivec{v}))$$
where $I=I(x,t)$ is the image intensity function, $g:mathbb{R}to[0,infty)$ is continuous and non negative, $vec{v}in H^1(Omega)times H^1(Omega)$. It is assumed that $I_tin L^2(Omega),I_x,I_yin L^infty(Omega)$. I have to show that $f$ is Lipschitz wrt $vec{v}$ provided $g$ is uniformly Lipschitz in every closed ball of radius $r$, $bar{B(r)}subseteqmathbb{R}$ with Lipschitz constant $L_r$. This is what I have tried so far.
begin{align*}
|f(x,vec{v})-f(x,vec{v}_0)|&=|g(I_t+nablacdot(Ivec{v}))-g(I_t+nablacdot(I:vec{v}_0))|\
&le L_r|I_t+nablacdot(Ivec{v})-I_t+nablacdot(Ivec{v}_0)|\
&le L_r|nablacdot{I(vec{v}-vec{v}_0)}|\
&le L_r|nabla Icdot(vec{v}-vec{v}_0))|+L_r|Inablacdot(vec{v}-vec{v}_0))|
end{align*}
Using the given hypothesis, we can show that that the first part satisfies the bounds
$$|nabla Icdot(vec{v}-vec{v}_0))|lesqrt 2CL_r|vec{v}-vec{v}_0|$$
where $C=max{|I_x|^2,|I_y|^2}$. I am stuck with the second part. How to get the required bound for the second part ? Do we need any additional requirement for $I$ ? Any help will be appreciated. Thank You.
real-analysis functional-analysis lipschitz-functions
real-analysis functional-analysis lipschitz-functions
asked 7 hours ago
Hirak
2,53411336
2,53411336
Lipschitz from which space to which space? The map is unbounded from $H^1$ to itself. It's Lipschitz from $H^1$ to $L^2$ - just estimate the second term in your last line.
– Hans Engler
6 hours ago
@HansEngler, I didn't get you exactly. To get the last line I used $nablacdot (Ivec{w})=nabla Icdotvec{w}+Inablacdotvec{w}$ and used triangle inequality.
– Hirak
6 hours ago
1
What is the norm $| cdot |$ on the right hand side of your last equation?
– Hans Engler
6 hours ago
@HansEngler I think $L^2$ norm.
– Hirak
6 hours ago
There also ought to be a norm on the left hand side of the inequality. What is that norm?
– Hans Engler
4 hours ago
add a comment |
Lipschitz from which space to which space? The map is unbounded from $H^1$ to itself. It's Lipschitz from $H^1$ to $L^2$ - just estimate the second term in your last line.
– Hans Engler
6 hours ago
@HansEngler, I didn't get you exactly. To get the last line I used $nablacdot (Ivec{w})=nabla Icdotvec{w}+Inablacdotvec{w}$ and used triangle inequality.
– Hirak
6 hours ago
1
What is the norm $| cdot |$ on the right hand side of your last equation?
– Hans Engler
6 hours ago
@HansEngler I think $L^2$ norm.
– Hirak
6 hours ago
There also ought to be a norm on the left hand side of the inequality. What is that norm?
– Hans Engler
4 hours ago
Lipschitz from which space to which space? The map is unbounded from $H^1$ to itself. It's Lipschitz from $H^1$ to $L^2$ - just estimate the second term in your last line.
– Hans Engler
6 hours ago
Lipschitz from which space to which space? The map is unbounded from $H^1$ to itself. It's Lipschitz from $H^1$ to $L^2$ - just estimate the second term in your last line.
– Hans Engler
6 hours ago
@HansEngler, I didn't get you exactly. To get the last line I used $nablacdot (Ivec{w})=nabla Icdotvec{w}+Inablacdotvec{w}$ and used triangle inequality.
– Hirak
6 hours ago
@HansEngler, I didn't get you exactly. To get the last line I used $nablacdot (Ivec{w})=nabla Icdotvec{w}+Inablacdotvec{w}$ and used triangle inequality.
– Hirak
6 hours ago
1
1
What is the norm $| cdot |$ on the right hand side of your last equation?
– Hans Engler
6 hours ago
What is the norm $| cdot |$ on the right hand side of your last equation?
– Hans Engler
6 hours ago
@HansEngler I think $L^2$ norm.
– Hirak
6 hours ago
@HansEngler I think $L^2$ norm.
– Hirak
6 hours ago
There also ought to be a norm on the left hand side of the inequality. What is that norm?
– Hans Engler
4 hours ago
There also ought to be a norm on the left hand side of the inequality. What is that norm?
– Hans Engler
4 hours ago
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
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2995467%2fto-verify-lipschitz-continuity-of-the-given-function-f%23new-answer', 'question_page');
}
);
Post as a guest
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
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
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
Lipschitz from which space to which space? The map is unbounded from $H^1$ to itself. It's Lipschitz from $H^1$ to $L^2$ - just estimate the second term in your last line.
– Hans Engler
6 hours ago
@HansEngler, I didn't get you exactly. To get the last line I used $nablacdot (Ivec{w})=nabla Icdotvec{w}+Inablacdotvec{w}$ and used triangle inequality.
– Hirak
6 hours ago
1
What is the norm $| cdot |$ on the right hand side of your last equation?
– Hans Engler
6 hours ago
@HansEngler I think $L^2$ norm.
– Hirak
6 hours ago
There also ought to be a norm on the left hand side of the inequality. What is that norm?
– Hans Engler
4 hours ago