Norm estimate of $(-lambda A+ I)^-1$ for strictly elliptic operatorEigenfunction associated to the smallest eigenvalue of an elliptic operatorNon-regularity of non-elliptic operatorestimations of solutionsright definition of correct space of domain and range for a self-adjoint OperatorProperty matrix elliptic operatorWhat is the square root of the Laplace operator?Bound first order derivative by $L^2$ norm of elliptic elliptic operatorIn what conditions a weak solution is a classical solution?Do elliptic operators $L=-a^ijpartial_ipartial_j+b^ipartial_i+c$ map $H^1(Omega)$ into $H^-1(Omega)$ for $a^ij,b^i,cin L^infty$?Understanding the minimal and maximal closed extensions of Laplace operator
Reversed Sudoku
What's wrong with this bogus proof?
What's the "normal" opposite of flautando?
Why was Goose renamed from Chewie for the Captain Marvel film?
What is the magic ball of every day?
How many characters using PHB rules does it take to be able to have access to any PHB spell at the start of an adventuring day?
Is it "Vierergruppe" or "Viergruppe", or is there a distinction?
Is "conspicuously missing" or "conspicuously" the subject of this sentence?
Is it possible to avoid unpacking when merging Association?
Do f-stop and exposure time perfectly cancel?
Why does Captain Marvel assume the people on this planet know this?
Does the nature of the Apocalypse in The Umbrella Academy change from the first to the last episode?
How do I express some one as a black person?
An alternative proof of an application of Hahn-Banach
Can you reject a postdoc offer after the PI has paid a large sum for flights/accommodation for your visit?
Can one live in the U.S. and not use a credit card?
Accountant/ lawyer will not return my call
PTIJ: Should I kill my computer after installing software?
Why is computing ridge regression with a Cholesky decomposition much quicker than using SVD?
How are showroom/display vehicles prepared?
Difference on montgomery curve equation between EFD and RFC7748
Should I tell my boss the work he did was worthless
Should I take out a loan for a friend to invest on my behalf?
Declaring and defining template, and specialising them
Norm estimate of $(-lambda A+ I)^-1$ for strictly elliptic operator
Eigenfunction associated to the smallest eigenvalue of an elliptic operatorNon-regularity of non-elliptic operatorestimations of solutionsright definition of correct space of domain and range for a self-adjoint OperatorProperty matrix elliptic operatorWhat is the square root of the Laplace operator?Bound first order derivative by $L^2$ norm of elliptic elliptic operatorIn what conditions a weak solution is a classical solution?Do elliptic operators $L=-a^ijpartial_ipartial_j+b^ipartial_i+c$ map $H^1(Omega)$ into $H^-1(Omega)$ for $a^ij,b^i,cin L^infty$?Understanding the minimal and maximal closed extensions of Laplace operator
$begingroup$
Let $Omega$ be a smooth domain in $mathbbR^n$, and $A$ be a strictly elliptic operator
$$
Au=partial_i(a^ij(x)partial_j)u,
$$
where $a^ij$ are bounded functions satisfying
$$
a^ij(x)xi_ixi_jge alpha |xi|^2,quad forall xiin mathbbR^n,,xin mathbbR^n.
$$
Then for any $fin L^2(Omega)$ and $lambda>0$, there exists $uin H^2(Omega)$ such that
$$
-lambda Au+ u=f,quad xin Omega; quad x=0,quad xin partialOmega.
$$
This implies $(-lambda A+I)^-1:L^2(Omega)to H^2(Omega)$ is a bounded operator (we assume zero boundary condition). Is it possible to get a precise estimate for the operator norm $|(-lambda A+I)^-1|_mathcalL(L^2(Omega),H^2(Omega))$ in terms of $lambda$? In particular, I would like to know the behavior of the norm as $lambdato 0$.
Let $Dom(A)=H^2(Omega)cap H^1_0(Omega)$, we know $A$ is a maximal monotone operator on $L^2(Omega)$, hence $ |(-lambda A+I)^-1|_mathcalL(L^2(Omega))le 1$ for all $lambda$. But it does not give the estimate in terms of $H^2$ norm.
functional-analysis sobolev-spaces regularity-theory-of-pdes
$endgroup$
add a comment |
$begingroup$
Let $Omega$ be a smooth domain in $mathbbR^n$, and $A$ be a strictly elliptic operator
$$
Au=partial_i(a^ij(x)partial_j)u,
$$
where $a^ij$ are bounded functions satisfying
$$
a^ij(x)xi_ixi_jge alpha |xi|^2,quad forall xiin mathbbR^n,,xin mathbbR^n.
$$
Then for any $fin L^2(Omega)$ and $lambda>0$, there exists $uin H^2(Omega)$ such that
$$
-lambda Au+ u=f,quad xin Omega; quad x=0,quad xin partialOmega.
$$
This implies $(-lambda A+I)^-1:L^2(Omega)to H^2(Omega)$ is a bounded operator (we assume zero boundary condition). Is it possible to get a precise estimate for the operator norm $|(-lambda A+I)^-1|_mathcalL(L^2(Omega),H^2(Omega))$ in terms of $lambda$? In particular, I would like to know the behavior of the norm as $lambdato 0$.
Let $Dom(A)=H^2(Omega)cap H^1_0(Omega)$, we know $A$ is a maximal monotone operator on $L^2(Omega)$, hence $ |(-lambda A+I)^-1|_mathcalL(L^2(Omega))le 1$ for all $lambda$. But it does not give the estimate in terms of $H^2$ norm.
functional-analysis sobolev-spaces regularity-theory-of-pdes
$endgroup$
$begingroup$
Do you know some form of the spectral theorem? That makes it relatively easy to compute such norms.
$endgroup$
– MaoWao
yesterday
$begingroup$
@MaoWao Thanks. I will check the theorem.
$endgroup$
– John
yesterday
add a comment |
$begingroup$
Let $Omega$ be a smooth domain in $mathbbR^n$, and $A$ be a strictly elliptic operator
$$
Au=partial_i(a^ij(x)partial_j)u,
$$
where $a^ij$ are bounded functions satisfying
$$
a^ij(x)xi_ixi_jge alpha |xi|^2,quad forall xiin mathbbR^n,,xin mathbbR^n.
$$
Then for any $fin L^2(Omega)$ and $lambda>0$, there exists $uin H^2(Omega)$ such that
$$
-lambda Au+ u=f,quad xin Omega; quad x=0,quad xin partialOmega.
$$
This implies $(-lambda A+I)^-1:L^2(Omega)to H^2(Omega)$ is a bounded operator (we assume zero boundary condition). Is it possible to get a precise estimate for the operator norm $|(-lambda A+I)^-1|_mathcalL(L^2(Omega),H^2(Omega))$ in terms of $lambda$? In particular, I would like to know the behavior of the norm as $lambdato 0$.
Let $Dom(A)=H^2(Omega)cap H^1_0(Omega)$, we know $A$ is a maximal monotone operator on $L^2(Omega)$, hence $ |(-lambda A+I)^-1|_mathcalL(L^2(Omega))le 1$ for all $lambda$. But it does not give the estimate in terms of $H^2$ norm.
functional-analysis sobolev-spaces regularity-theory-of-pdes
$endgroup$
Let $Omega$ be a smooth domain in $mathbbR^n$, and $A$ be a strictly elliptic operator
$$
Au=partial_i(a^ij(x)partial_j)u,
$$
where $a^ij$ are bounded functions satisfying
$$
a^ij(x)xi_ixi_jge alpha |xi|^2,quad forall xiin mathbbR^n,,xin mathbbR^n.
$$
Then for any $fin L^2(Omega)$ and $lambda>0$, there exists $uin H^2(Omega)$ such that
$$
-lambda Au+ u=f,quad xin Omega; quad x=0,quad xin partialOmega.
$$
This implies $(-lambda A+I)^-1:L^2(Omega)to H^2(Omega)$ is a bounded operator (we assume zero boundary condition). Is it possible to get a precise estimate for the operator norm $|(-lambda A+I)^-1|_mathcalL(L^2(Omega),H^2(Omega))$ in terms of $lambda$? In particular, I would like to know the behavior of the norm as $lambdato 0$.
Let $Dom(A)=H^2(Omega)cap H^1_0(Omega)$, we know $A$ is a maximal monotone operator on $L^2(Omega)$, hence $ |(-lambda A+I)^-1|_mathcalL(L^2(Omega))le 1$ for all $lambda$. But it does not give the estimate in terms of $H^2$ norm.
functional-analysis sobolev-spaces regularity-theory-of-pdes
functional-analysis sobolev-spaces regularity-theory-of-pdes
edited 2 days ago
John
asked 2 days ago
JohnJohn
9,50411336
9,50411336
$begingroup$
Do you know some form of the spectral theorem? That makes it relatively easy to compute such norms.
$endgroup$
– MaoWao
yesterday
$begingroup$
@MaoWao Thanks. I will check the theorem.
$endgroup$
– John
yesterday
add a comment |
$begingroup$
Do you know some form of the spectral theorem? That makes it relatively easy to compute such norms.
$endgroup$
– MaoWao
yesterday
$begingroup$
@MaoWao Thanks. I will check the theorem.
$endgroup$
– John
yesterday
$begingroup$
Do you know some form of the spectral theorem? That makes it relatively easy to compute such norms.
$endgroup$
– MaoWao
yesterday
$begingroup$
Do you know some form of the spectral theorem? That makes it relatively easy to compute such norms.
$endgroup$
– MaoWao
yesterday
$begingroup$
@MaoWao Thanks. I will check the theorem.
$endgroup$
– John
yesterday
$begingroup$
@MaoWao Thanks. I will check the theorem.
$endgroup$
– John
yesterday
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%2f3141571%2fnorm-estimate-of-lambda-a-i-1-for-strictly-elliptic-operator%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%2f3141571%2fnorm-estimate-of-lambda-a-i-1-for-strictly-elliptic-operator%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
$begingroup$
Do you know some form of the spectral theorem? That makes it relatively easy to compute such norms.
$endgroup$
– MaoWao
yesterday
$begingroup$
@MaoWao Thanks. I will check the theorem.
$endgroup$
– John
yesterday