Riesz representation and inverse operator.












2














In class, my professor went through the following construction: Let $Omega$ be a bounded domain and define $X$ to be $H_0^1(Omega)$ or $H^1(Omega)$. We also define $A: X to X^prime$ (where $X^prime$ denotes the dual space of $X$) by the duality pairing
$$
langle Af, grangle = int_Omega nabla f cdot nabla g
$$

We will also view $L^2(Omega)$ as a subspace of $X^prime$. Now, there exists $t_0$ such that for all $t>t_0$,
$$
(cdot, cdot) : Xtimes X to mathbb{R}, quad
(f, g) = langle Af, g rangle + tlangle f, grangle_{L^2(Omega)}
$$

defines an inner product on $X$. For each such $t$, it follows from the Riesz representation theorem that $A+tmathrm{I} : Xto X^prime$ is invertible.



I am very confused as to how the Reisz representation theorem applies here and how one can deduce this. Any input is appreciated.










share|cite|improve this question
























  • Applying the theorem to $A+tI$ you can construct the inverse as it is described in wikipedia
    – Javi
    Nov 26 at 18:00










  • I think you mean $(cdot,cdot)$ defines an inner product on $X$, not $V$.
    – user10354138
    Nov 26 at 18:01
















2














In class, my professor went through the following construction: Let $Omega$ be a bounded domain and define $X$ to be $H_0^1(Omega)$ or $H^1(Omega)$. We also define $A: X to X^prime$ (where $X^prime$ denotes the dual space of $X$) by the duality pairing
$$
langle Af, grangle = int_Omega nabla f cdot nabla g
$$

We will also view $L^2(Omega)$ as a subspace of $X^prime$. Now, there exists $t_0$ such that for all $t>t_0$,
$$
(cdot, cdot) : Xtimes X to mathbb{R}, quad
(f, g) = langle Af, g rangle + tlangle f, grangle_{L^2(Omega)}
$$

defines an inner product on $X$. For each such $t$, it follows from the Riesz representation theorem that $A+tmathrm{I} : Xto X^prime$ is invertible.



I am very confused as to how the Reisz representation theorem applies here and how one can deduce this. Any input is appreciated.










share|cite|improve this question
























  • Applying the theorem to $A+tI$ you can construct the inverse as it is described in wikipedia
    – Javi
    Nov 26 at 18:00










  • I think you mean $(cdot,cdot)$ defines an inner product on $X$, not $V$.
    – user10354138
    Nov 26 at 18:01














2












2








2







In class, my professor went through the following construction: Let $Omega$ be a bounded domain and define $X$ to be $H_0^1(Omega)$ or $H^1(Omega)$. We also define $A: X to X^prime$ (where $X^prime$ denotes the dual space of $X$) by the duality pairing
$$
langle Af, grangle = int_Omega nabla f cdot nabla g
$$

We will also view $L^2(Omega)$ as a subspace of $X^prime$. Now, there exists $t_0$ such that for all $t>t_0$,
$$
(cdot, cdot) : Xtimes X to mathbb{R}, quad
(f, g) = langle Af, g rangle + tlangle f, grangle_{L^2(Omega)}
$$

defines an inner product on $X$. For each such $t$, it follows from the Riesz representation theorem that $A+tmathrm{I} : Xto X^prime$ is invertible.



I am very confused as to how the Reisz representation theorem applies here and how one can deduce this. Any input is appreciated.










share|cite|improve this question















In class, my professor went through the following construction: Let $Omega$ be a bounded domain and define $X$ to be $H_0^1(Omega)$ or $H^1(Omega)$. We also define $A: X to X^prime$ (where $X^prime$ denotes the dual space of $X$) by the duality pairing
$$
langle Af, grangle = int_Omega nabla f cdot nabla g
$$

We will also view $L^2(Omega)$ as a subspace of $X^prime$. Now, there exists $t_0$ such that for all $t>t_0$,
$$
(cdot, cdot) : Xtimes X to mathbb{R}, quad
(f, g) = langle Af, g rangle + tlangle f, grangle_{L^2(Omega)}
$$

defines an inner product on $X$. For each such $t$, it follows from the Riesz representation theorem that $A+tmathrm{I} : Xto X^prime$ is invertible.



I am very confused as to how the Reisz representation theorem applies here and how one can deduce this. Any input is appreciated.







functional-analysis pde sobolev-spaces






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Nov 26 at 18:44

























asked Nov 26 at 17:52









Quoka

1,203212




1,203212












  • Applying the theorem to $A+tI$ you can construct the inverse as it is described in wikipedia
    – Javi
    Nov 26 at 18:00










  • I think you mean $(cdot,cdot)$ defines an inner product on $X$, not $V$.
    – user10354138
    Nov 26 at 18:01


















  • Applying the theorem to $A+tI$ you can construct the inverse as it is described in wikipedia
    – Javi
    Nov 26 at 18:00










  • I think you mean $(cdot,cdot)$ defines an inner product on $X$, not $V$.
    – user10354138
    Nov 26 at 18:01
















Applying the theorem to $A+tI$ you can construct the inverse as it is described in wikipedia
– Javi
Nov 26 at 18:00




Applying the theorem to $A+tI$ you can construct the inverse as it is described in wikipedia
– Javi
Nov 26 at 18:00












I think you mean $(cdot,cdot)$ defines an inner product on $X$, not $V$.
– user10354138
Nov 26 at 18:01




I think you mean $(cdot,cdot)$ defines an inner product on $X$, not $V$.
– user10354138
Nov 26 at 18:01










1 Answer
1






active

oldest

votes


















1














For simplicity take $t = 1$. To prove that $A+I$ is invertible you must show it is one-to-one.



The inner product on $H_0^1(Omega)$ is given by $(f,g) = displaystyle int_Omega nabla f cdot nabla g , dx$.



The operator $A+I : H_0^1(Omega) to H_0^1(Omega)'$ is defined by
$$langle (A + I)f,g rangle = int_Omega nabla f cdot nabla g + fg , dx.$$
The Poincare inequality gives you
$$int_Omega f^2 , dx le C int_Omega |nabla f|^2 , dx$$ for all $f in H_0^1(Omega)$. Consequently for fixed $f$ the functional $Lg = langle (A+I)f,g rangle$ defines a bounded linear functional on $H_0^1(Omega)$. The Riesz representation theorem provides you with a unique function $h in H_0^1(Omega)$ satisfying
$$Lg = (h,g)$$ for all $g in H_0^1(Omega)$. Thus you can regard $A+I$ as a well-defined operator from $H_0^1(Omega)$ to itself, with
$$(A+I)f = h.$$



I think that $A+I$ is clearly linear. To prove that $A+I$ is one-to-one it suffices to show it has a trivial kernel. But if $(A+I)f = 0$ then $langle (A+I)f,g rangle = 0$ for all $g$. In the particular case of $f=g$ you obtain $displaystyle int_Omega |nabla f|^2 + f^2 , dx = 0$, giving you $f=0$.






share|cite|improve this answer





















  • Thanks! I mainly got lost with the notation and it helps to see the steps written out :-)
    – Quoka
    Nov 27 at 0:51











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',
autoActivateHeartbeat: false,
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%2f3014664%2friesz-representation-and-inverse-operator%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown

























1 Answer
1






active

oldest

votes








1 Answer
1






active

oldest

votes









active

oldest

votes






active

oldest

votes









1














For simplicity take $t = 1$. To prove that $A+I$ is invertible you must show it is one-to-one.



The inner product on $H_0^1(Omega)$ is given by $(f,g) = displaystyle int_Omega nabla f cdot nabla g , dx$.



The operator $A+I : H_0^1(Omega) to H_0^1(Omega)'$ is defined by
$$langle (A + I)f,g rangle = int_Omega nabla f cdot nabla g + fg , dx.$$
The Poincare inequality gives you
$$int_Omega f^2 , dx le C int_Omega |nabla f|^2 , dx$$ for all $f in H_0^1(Omega)$. Consequently for fixed $f$ the functional $Lg = langle (A+I)f,g rangle$ defines a bounded linear functional on $H_0^1(Omega)$. The Riesz representation theorem provides you with a unique function $h in H_0^1(Omega)$ satisfying
$$Lg = (h,g)$$ for all $g in H_0^1(Omega)$. Thus you can regard $A+I$ as a well-defined operator from $H_0^1(Omega)$ to itself, with
$$(A+I)f = h.$$



I think that $A+I$ is clearly linear. To prove that $A+I$ is one-to-one it suffices to show it has a trivial kernel. But if $(A+I)f = 0$ then $langle (A+I)f,g rangle = 0$ for all $g$. In the particular case of $f=g$ you obtain $displaystyle int_Omega |nabla f|^2 + f^2 , dx = 0$, giving you $f=0$.






share|cite|improve this answer





















  • Thanks! I mainly got lost with the notation and it helps to see the steps written out :-)
    – Quoka
    Nov 27 at 0:51
















1














For simplicity take $t = 1$. To prove that $A+I$ is invertible you must show it is one-to-one.



The inner product on $H_0^1(Omega)$ is given by $(f,g) = displaystyle int_Omega nabla f cdot nabla g , dx$.



The operator $A+I : H_0^1(Omega) to H_0^1(Omega)'$ is defined by
$$langle (A + I)f,g rangle = int_Omega nabla f cdot nabla g + fg , dx.$$
The Poincare inequality gives you
$$int_Omega f^2 , dx le C int_Omega |nabla f|^2 , dx$$ for all $f in H_0^1(Omega)$. Consequently for fixed $f$ the functional $Lg = langle (A+I)f,g rangle$ defines a bounded linear functional on $H_0^1(Omega)$. The Riesz representation theorem provides you with a unique function $h in H_0^1(Omega)$ satisfying
$$Lg = (h,g)$$ for all $g in H_0^1(Omega)$. Thus you can regard $A+I$ as a well-defined operator from $H_0^1(Omega)$ to itself, with
$$(A+I)f = h.$$



I think that $A+I$ is clearly linear. To prove that $A+I$ is one-to-one it suffices to show it has a trivial kernel. But if $(A+I)f = 0$ then $langle (A+I)f,g rangle = 0$ for all $g$. In the particular case of $f=g$ you obtain $displaystyle int_Omega |nabla f|^2 + f^2 , dx = 0$, giving you $f=0$.






share|cite|improve this answer





















  • Thanks! I mainly got lost with the notation and it helps to see the steps written out :-)
    – Quoka
    Nov 27 at 0:51














1












1








1






For simplicity take $t = 1$. To prove that $A+I$ is invertible you must show it is one-to-one.



The inner product on $H_0^1(Omega)$ is given by $(f,g) = displaystyle int_Omega nabla f cdot nabla g , dx$.



The operator $A+I : H_0^1(Omega) to H_0^1(Omega)'$ is defined by
$$langle (A + I)f,g rangle = int_Omega nabla f cdot nabla g + fg , dx.$$
The Poincare inequality gives you
$$int_Omega f^2 , dx le C int_Omega |nabla f|^2 , dx$$ for all $f in H_0^1(Omega)$. Consequently for fixed $f$ the functional $Lg = langle (A+I)f,g rangle$ defines a bounded linear functional on $H_0^1(Omega)$. The Riesz representation theorem provides you with a unique function $h in H_0^1(Omega)$ satisfying
$$Lg = (h,g)$$ for all $g in H_0^1(Omega)$. Thus you can regard $A+I$ as a well-defined operator from $H_0^1(Omega)$ to itself, with
$$(A+I)f = h.$$



I think that $A+I$ is clearly linear. To prove that $A+I$ is one-to-one it suffices to show it has a trivial kernel. But if $(A+I)f = 0$ then $langle (A+I)f,g rangle = 0$ for all $g$. In the particular case of $f=g$ you obtain $displaystyle int_Omega |nabla f|^2 + f^2 , dx = 0$, giving you $f=0$.






share|cite|improve this answer












For simplicity take $t = 1$. To prove that $A+I$ is invertible you must show it is one-to-one.



The inner product on $H_0^1(Omega)$ is given by $(f,g) = displaystyle int_Omega nabla f cdot nabla g , dx$.



The operator $A+I : H_0^1(Omega) to H_0^1(Omega)'$ is defined by
$$langle (A + I)f,g rangle = int_Omega nabla f cdot nabla g + fg , dx.$$
The Poincare inequality gives you
$$int_Omega f^2 , dx le C int_Omega |nabla f|^2 , dx$$ for all $f in H_0^1(Omega)$. Consequently for fixed $f$ the functional $Lg = langle (A+I)f,g rangle$ defines a bounded linear functional on $H_0^1(Omega)$. The Riesz representation theorem provides you with a unique function $h in H_0^1(Omega)$ satisfying
$$Lg = (h,g)$$ for all $g in H_0^1(Omega)$. Thus you can regard $A+I$ as a well-defined operator from $H_0^1(Omega)$ to itself, with
$$(A+I)f = h.$$



I think that $A+I$ is clearly linear. To prove that $A+I$ is one-to-one it suffices to show it has a trivial kernel. But if $(A+I)f = 0$ then $langle (A+I)f,g rangle = 0$ for all $g$. In the particular case of $f=g$ you obtain $displaystyle int_Omega |nabla f|^2 + f^2 , dx = 0$, giving you $f=0$.







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered Nov 27 at 0:48









Umberto P.

38.5k13064




38.5k13064












  • Thanks! I mainly got lost with the notation and it helps to see the steps written out :-)
    – Quoka
    Nov 27 at 0:51


















  • Thanks! I mainly got lost with the notation and it helps to see the steps written out :-)
    – Quoka
    Nov 27 at 0:51
















Thanks! I mainly got lost with the notation and it helps to see the steps written out :-)
– Quoka
Nov 27 at 0:51




Thanks! I mainly got lost with the notation and it helps to see the steps written out :-)
– Quoka
Nov 27 at 0:51


















draft saved

draft discarded




















































Thanks for contributing an answer to Mathematics Stack Exchange!


  • Please be sure to answer the question. Provide details and share your research!

But avoid



  • Asking for help, clarification, or responding to other answers.

  • Making statements based on opinion; back them up with references or personal experience.


Use MathJax to format equations. MathJax reference.


To learn more, see our tips on writing great answers.





Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


Please pay close attention to the following guidance:


  • Please be sure to answer the question. Provide details and share your research!

But avoid



  • Asking for help, clarification, or responding to other answers.

  • Making statements based on opinion; back them up with references or personal experience.


To learn more, see our tips on writing great answers.




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3014664%2friesz-representation-and-inverse-operator%23new-answer', 'question_page');
}
);

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







Popular posts from this blog

Probability when a professor distributes a quiz and homework assignment to a class of n students.

Aardman Animations

Are they similar matrix