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

Biblatex bibliography style without URLs when DOI exists (in Overleaf with Zotero bibliography)

ComboBox Display Member on multiple fields

Is it possible to collect Nectar points via Trainline?