Discuss the existence and uniqueness of the following operator equation
$begingroup$
The question says
Let $A:X to Y$ where $X,Y$ are normed spaces.
$(i)$ Discuss the uniqueness and existence of a solution of the operator equation $Ax=y$ where $x in X$ and $y in Y$ for different operators $A$
$(ii)$ Discuss for the different values of $lambda$ the existence and uniqueness of this operator equation $Ax=lambda x -y$
I think for $(i)$ the only way for the solution $x$ to exist is that $A$ becomes bijective in order to have an inverse st $x=A^{-1}y$ and in this case the solution is unique. I don't seem to have any other ideas concerning $(i)$.
for $(ii)$ I think we can never discuss it unless $A:X to X$. Moreover, I assumed the following about $A$
if $A in L(X)$ where $L(X)$ is the space of linear bounded operators and $|A| leq lambda$ then we can re-write the equation as $(Ilambda - A)x=-y$
where $x= -frac{1}{lambda} sum_{n=0}^{infty} frac{A^n}{lambda^n}(y)$ this proves the existence and for every choice of $lambda$ we get a new solution.
I don't have any other ideas.
(**Note. I did not study compact operators **)
real-analysis functional-analysis proof-verification proof-writing operator-theory
$endgroup$
add a comment |
$begingroup$
The question says
Let $A:X to Y$ where $X,Y$ are normed spaces.
$(i)$ Discuss the uniqueness and existence of a solution of the operator equation $Ax=y$ where $x in X$ and $y in Y$ for different operators $A$
$(ii)$ Discuss for the different values of $lambda$ the existence and uniqueness of this operator equation $Ax=lambda x -y$
I think for $(i)$ the only way for the solution $x$ to exist is that $A$ becomes bijective in order to have an inverse st $x=A^{-1}y$ and in this case the solution is unique. I don't seem to have any other ideas concerning $(i)$.
for $(ii)$ I think we can never discuss it unless $A:X to X$. Moreover, I assumed the following about $A$
if $A in L(X)$ where $L(X)$ is the space of linear bounded operators and $|A| leq lambda$ then we can re-write the equation as $(Ilambda - A)x=-y$
where $x= -frac{1}{lambda} sum_{n=0}^{infty} frac{A^n}{lambda^n}(y)$ this proves the existence and for every choice of $lambda$ we get a new solution.
I don't have any other ideas.
(**Note. I did not study compact operators **)
real-analysis functional-analysis proof-verification proof-writing operator-theory
$endgroup$
1
$begingroup$
Note that for (i) existence would follow from surjectivity of $A$ and uniqueness from injectivity. Both together follow from bijectivity but it is not necessary for $A$ to have a continuous inverse. For (ii) as you note correctly the expression $lambda x - y$ needs to make sense. So you need to be able to add vectors of $X$ with vectors of $Y$, which means either $Y$ is a subspace of $X$ or $X$ is a subspace of $Y$. At any rate as you note you are essentially asking the question from before for $(lambda - A)x=y$, so apply the results from before here.
$endgroup$
– s.harp
Jan 8 at 13:58
add a comment |
$begingroup$
The question says
Let $A:X to Y$ where $X,Y$ are normed spaces.
$(i)$ Discuss the uniqueness and existence of a solution of the operator equation $Ax=y$ where $x in X$ and $y in Y$ for different operators $A$
$(ii)$ Discuss for the different values of $lambda$ the existence and uniqueness of this operator equation $Ax=lambda x -y$
I think for $(i)$ the only way for the solution $x$ to exist is that $A$ becomes bijective in order to have an inverse st $x=A^{-1}y$ and in this case the solution is unique. I don't seem to have any other ideas concerning $(i)$.
for $(ii)$ I think we can never discuss it unless $A:X to X$. Moreover, I assumed the following about $A$
if $A in L(X)$ where $L(X)$ is the space of linear bounded operators and $|A| leq lambda$ then we can re-write the equation as $(Ilambda - A)x=-y$
where $x= -frac{1}{lambda} sum_{n=0}^{infty} frac{A^n}{lambda^n}(y)$ this proves the existence and for every choice of $lambda$ we get a new solution.
I don't have any other ideas.
(**Note. I did not study compact operators **)
real-analysis functional-analysis proof-verification proof-writing operator-theory
$endgroup$
The question says
Let $A:X to Y$ where $X,Y$ are normed spaces.
$(i)$ Discuss the uniqueness and existence of a solution of the operator equation $Ax=y$ where $x in X$ and $y in Y$ for different operators $A$
$(ii)$ Discuss for the different values of $lambda$ the existence and uniqueness of this operator equation $Ax=lambda x -y$
I think for $(i)$ the only way for the solution $x$ to exist is that $A$ becomes bijective in order to have an inverse st $x=A^{-1}y$ and in this case the solution is unique. I don't seem to have any other ideas concerning $(i)$.
for $(ii)$ I think we can never discuss it unless $A:X to X$. Moreover, I assumed the following about $A$
if $A in L(X)$ where $L(X)$ is the space of linear bounded operators and $|A| leq lambda$ then we can re-write the equation as $(Ilambda - A)x=-y$
where $x= -frac{1}{lambda} sum_{n=0}^{infty} frac{A^n}{lambda^n}(y)$ this proves the existence and for every choice of $lambda$ we get a new solution.
I don't have any other ideas.
(**Note. I did not study compact operators **)
real-analysis functional-analysis proof-verification proof-writing operator-theory
real-analysis functional-analysis proof-verification proof-writing operator-theory
edited Jan 6 at 16:54
Dreamer123
asked Jan 6 at 12:59


Dreamer123Dreamer123
27629
27629
1
$begingroup$
Note that for (i) existence would follow from surjectivity of $A$ and uniqueness from injectivity. Both together follow from bijectivity but it is not necessary for $A$ to have a continuous inverse. For (ii) as you note correctly the expression $lambda x - y$ needs to make sense. So you need to be able to add vectors of $X$ with vectors of $Y$, which means either $Y$ is a subspace of $X$ or $X$ is a subspace of $Y$. At any rate as you note you are essentially asking the question from before for $(lambda - A)x=y$, so apply the results from before here.
$endgroup$
– s.harp
Jan 8 at 13:58
add a comment |
1
$begingroup$
Note that for (i) existence would follow from surjectivity of $A$ and uniqueness from injectivity. Both together follow from bijectivity but it is not necessary for $A$ to have a continuous inverse. For (ii) as you note correctly the expression $lambda x - y$ needs to make sense. So you need to be able to add vectors of $X$ with vectors of $Y$, which means either $Y$ is a subspace of $X$ or $X$ is a subspace of $Y$. At any rate as you note you are essentially asking the question from before for $(lambda - A)x=y$, so apply the results from before here.
$endgroup$
– s.harp
Jan 8 at 13:58
1
1
$begingroup$
Note that for (i) existence would follow from surjectivity of $A$ and uniqueness from injectivity. Both together follow from bijectivity but it is not necessary for $A$ to have a continuous inverse. For (ii) as you note correctly the expression $lambda x - y$ needs to make sense. So you need to be able to add vectors of $X$ with vectors of $Y$, which means either $Y$ is a subspace of $X$ or $X$ is a subspace of $Y$. At any rate as you note you are essentially asking the question from before for $(lambda - A)x=y$, so apply the results from before here.
$endgroup$
– s.harp
Jan 8 at 13:58
$begingroup$
Note that for (i) existence would follow from surjectivity of $A$ and uniqueness from injectivity. Both together follow from bijectivity but it is not necessary for $A$ to have a continuous inverse. For (ii) as you note correctly the expression $lambda x - y$ needs to make sense. So you need to be able to add vectors of $X$ with vectors of $Y$, which means either $Y$ is a subspace of $X$ or $X$ is a subspace of $Y$. At any rate as you note you are essentially asking the question from before for $(lambda - A)x=y$, so apply the results from before here.
$endgroup$
– s.harp
Jan 8 at 13:58
add a comment |
0
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',
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
});
}
});
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
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3063830%2fdiscuss-the-existence-and-uniqueness-of-the-following-operator-equation%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
0
active
oldest
votes
0
active
oldest
votes
active
oldest
votes
active
oldest
votes
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.
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
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3063830%2fdiscuss-the-existence-and-uniqueness-of-the-following-operator-equation%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
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
Required, but never shown
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
Required, but never shown
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
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
1
$begingroup$
Note that for (i) existence would follow from surjectivity of $A$ and uniqueness from injectivity. Both together follow from bijectivity but it is not necessary for $A$ to have a continuous inverse. For (ii) as you note correctly the expression $lambda x - y$ needs to make sense. So you need to be able to add vectors of $X$ with vectors of $Y$, which means either $Y$ is a subspace of $X$ or $X$ is a subspace of $Y$. At any rate as you note you are essentially asking the question from before for $(lambda - A)x=y$, so apply the results from before here.
$endgroup$
– s.harp
Jan 8 at 13:58