To verify Lipschitz continuity of the given function $f$.

Multi tool use
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
Post as a guest
tUAGCSQkA aK
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