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.










share|cite|improve this question






















  • 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















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.










share|cite|improve this question






















  • 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













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.










share|cite|improve this question













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






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










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


















  • 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















active

oldest

votes











Your Answer





StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");

StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});

function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});


}
});














 

draft saved


draft discarded


















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





































active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes
















 

draft saved


draft discarded



















































 


draft saved


draft discarded














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




















































































Popular posts from this blog

How to change which sound is reproduced for terminal bell?

Title Spacing in Bjornstrup Chapter, Removing Chapter Number From Contents

Can I use Tabulator js library in my java Spring + Thymeleaf project?