Show that $sum_{k=0}^{N} |P(k)| leq C(N) int_{0} ^{1} |P(t)| dt $.
I’m attending a functional analysis course and I am given to solve this problem as an exercise but I’m a little bit disoriented and I don’t know what tools I can use to get it.
Show that, for each $N in mathbb{N}$ , there exists a constant $C(N) in mathbb{R}^+$ such that if $P$ in a polynomial of degree $N$ with complex coefficients, we have
$$sum_{k=0}^{N} |P(k)| leq C(N) int_{0} ^{1} |P(t)| dt,.$$
Any idea or hint? Thank you all in advance
functional-analysis polynomials norm normed-spaces upper-lower-bounds
add a comment |
I’m attending a functional analysis course and I am given to solve this problem as an exercise but I’m a little bit disoriented and I don’t know what tools I can use to get it.
Show that, for each $N in mathbb{N}$ , there exists a constant $C(N) in mathbb{R}^+$ such that if $P$ in a polynomial of degree $N$ with complex coefficients, we have
$$sum_{k=0}^{N} |P(k)| leq C(N) int_{0} ^{1} |P(t)| dt,.$$
Any idea or hint? Thank you all in advance
functional-analysis polynomials norm normed-spaces upper-lower-bounds
add a comment |
I’m attending a functional analysis course and I am given to solve this problem as an exercise but I’m a little bit disoriented and I don’t know what tools I can use to get it.
Show that, for each $N in mathbb{N}$ , there exists a constant $C(N) in mathbb{R}^+$ such that if $P$ in a polynomial of degree $N$ with complex coefficients, we have
$$sum_{k=0}^{N} |P(k)| leq C(N) int_{0} ^{1} |P(t)| dt,.$$
Any idea or hint? Thank you all in advance
functional-analysis polynomials norm normed-spaces upper-lower-bounds
I’m attending a functional analysis course and I am given to solve this problem as an exercise but I’m a little bit disoriented and I don’t know what tools I can use to get it.
Show that, for each $N in mathbb{N}$ , there exists a constant $C(N) in mathbb{R}^+$ such that if $P$ in a polynomial of degree $N$ with complex coefficients, we have
$$sum_{k=0}^{N} |P(k)| leq C(N) int_{0} ^{1} |P(t)| dt,.$$
Any idea or hint? Thank you all in advance
functional-analysis polynomials norm normed-spaces upper-lower-bounds
functional-analysis polynomials norm normed-spaces upper-lower-bounds
edited Dec 9 at 8:14
Batominovski
33.7k33292
33.7k33292
asked Dec 8 at 23:33
Maggie94
374
374
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
Let $V_N$ be the complex vector space of polynomials in $mathbb{C}[t]$ of degree at most $Ninmathbb{Z}_{geq 0}$. Show that $|_|_1$ and $|_|_2$ defined by
$$|P|_1:=sum_{k=0}^N,big|P(k)big|$$
and
$$|P|_2:=int_0^1,big|P(t)big|,text{d}t$$
for all $Pin V_N$ are norms on $V_N$.
To show that $|_|_1$ is a norm, we note that $|a, P|_1=|a|,|P|_1$ trivially holds for all $ainmathbb{C}$ and $Pin V_N$. If $|P|_1=0$ for some $Pin V_N$, then $P(0)=P(1)=P(2)=ldots=P(N)=0$, so $$P(t)=Q(t),prod_{k=0}^N,(t-k)$$ for some $Q(t)inmathbb{C}[t]$. As $P$ has degree at most $N$, $Q$ must be identically $0$, so $Pequiv 0$. If $P_1,P_2in V_N$, then $P_1+P_2in V_N$, and $$(P_1+P_2)(k)=P_1(k)+P_2(k)text{ for every }kinmathbb{C},,$$ whence $$big|(P_1+P_2)(k)big|=big|P_1(k)+P_2(k)big|leq big|P_1(k)big|+big|P_2(k)big|text{ for every }kinmathbb{C},.$$ Taking the sum over $k=0,1,2,ldots,N$, we get $|P_1+P_2|_1leq |P_1|_1+|P_2|_1$, justifying the triangle inequality condition. Similarly, $|_|_2$ is a norm on $V_N$.
Note that all norms on a finite-dimensional complex vector space are equivalent. That means, there exist $c(N),C(N)inmathbb{R}_{>0}$ such that
$$c(N),|P|_2leq |P|_1leq C(N),|P|_2$$
for all $Pin V_N$.
Thank you! I can observe that the polynomial space I am considering has $N+1$ as dimension because it is generated, for example, by ${x^{N},x^{N-1},...,x,1}$ that has dimension $N+1$, which is finite. Right?
– Maggie94
Dec 10 at 13:03
Yes, you are right.
– Batominovski
Dec 10 at 20:03
add a comment |
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%2f3031807%2fshow-that-sum-k-0n-pk-leq-cn-int-0-1-pt-dt%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
Let $V_N$ be the complex vector space of polynomials in $mathbb{C}[t]$ of degree at most $Ninmathbb{Z}_{geq 0}$. Show that $|_|_1$ and $|_|_2$ defined by
$$|P|_1:=sum_{k=0}^N,big|P(k)big|$$
and
$$|P|_2:=int_0^1,big|P(t)big|,text{d}t$$
for all $Pin V_N$ are norms on $V_N$.
To show that $|_|_1$ is a norm, we note that $|a, P|_1=|a|,|P|_1$ trivially holds for all $ainmathbb{C}$ and $Pin V_N$. If $|P|_1=0$ for some $Pin V_N$, then $P(0)=P(1)=P(2)=ldots=P(N)=0$, so $$P(t)=Q(t),prod_{k=0}^N,(t-k)$$ for some $Q(t)inmathbb{C}[t]$. As $P$ has degree at most $N$, $Q$ must be identically $0$, so $Pequiv 0$. If $P_1,P_2in V_N$, then $P_1+P_2in V_N$, and $$(P_1+P_2)(k)=P_1(k)+P_2(k)text{ for every }kinmathbb{C},,$$ whence $$big|(P_1+P_2)(k)big|=big|P_1(k)+P_2(k)big|leq big|P_1(k)big|+big|P_2(k)big|text{ for every }kinmathbb{C},.$$ Taking the sum over $k=0,1,2,ldots,N$, we get $|P_1+P_2|_1leq |P_1|_1+|P_2|_1$, justifying the triangle inequality condition. Similarly, $|_|_2$ is a norm on $V_N$.
Note that all norms on a finite-dimensional complex vector space are equivalent. That means, there exist $c(N),C(N)inmathbb{R}_{>0}$ such that
$$c(N),|P|_2leq |P|_1leq C(N),|P|_2$$
for all $Pin V_N$.
Thank you! I can observe that the polynomial space I am considering has $N+1$ as dimension because it is generated, for example, by ${x^{N},x^{N-1},...,x,1}$ that has dimension $N+1$, which is finite. Right?
– Maggie94
Dec 10 at 13:03
Yes, you are right.
– Batominovski
Dec 10 at 20:03
add a comment |
Let $V_N$ be the complex vector space of polynomials in $mathbb{C}[t]$ of degree at most $Ninmathbb{Z}_{geq 0}$. Show that $|_|_1$ and $|_|_2$ defined by
$$|P|_1:=sum_{k=0}^N,big|P(k)big|$$
and
$$|P|_2:=int_0^1,big|P(t)big|,text{d}t$$
for all $Pin V_N$ are norms on $V_N$.
To show that $|_|_1$ is a norm, we note that $|a, P|_1=|a|,|P|_1$ trivially holds for all $ainmathbb{C}$ and $Pin V_N$. If $|P|_1=0$ for some $Pin V_N$, then $P(0)=P(1)=P(2)=ldots=P(N)=0$, so $$P(t)=Q(t),prod_{k=0}^N,(t-k)$$ for some $Q(t)inmathbb{C}[t]$. As $P$ has degree at most $N$, $Q$ must be identically $0$, so $Pequiv 0$. If $P_1,P_2in V_N$, then $P_1+P_2in V_N$, and $$(P_1+P_2)(k)=P_1(k)+P_2(k)text{ for every }kinmathbb{C},,$$ whence $$big|(P_1+P_2)(k)big|=big|P_1(k)+P_2(k)big|leq big|P_1(k)big|+big|P_2(k)big|text{ for every }kinmathbb{C},.$$ Taking the sum over $k=0,1,2,ldots,N$, we get $|P_1+P_2|_1leq |P_1|_1+|P_2|_1$, justifying the triangle inequality condition. Similarly, $|_|_2$ is a norm on $V_N$.
Note that all norms on a finite-dimensional complex vector space are equivalent. That means, there exist $c(N),C(N)inmathbb{R}_{>0}$ such that
$$c(N),|P|_2leq |P|_1leq C(N),|P|_2$$
for all $Pin V_N$.
Thank you! I can observe that the polynomial space I am considering has $N+1$ as dimension because it is generated, for example, by ${x^{N},x^{N-1},...,x,1}$ that has dimension $N+1$, which is finite. Right?
– Maggie94
Dec 10 at 13:03
Yes, you are right.
– Batominovski
Dec 10 at 20:03
add a comment |
Let $V_N$ be the complex vector space of polynomials in $mathbb{C}[t]$ of degree at most $Ninmathbb{Z}_{geq 0}$. Show that $|_|_1$ and $|_|_2$ defined by
$$|P|_1:=sum_{k=0}^N,big|P(k)big|$$
and
$$|P|_2:=int_0^1,big|P(t)big|,text{d}t$$
for all $Pin V_N$ are norms on $V_N$.
To show that $|_|_1$ is a norm, we note that $|a, P|_1=|a|,|P|_1$ trivially holds for all $ainmathbb{C}$ and $Pin V_N$. If $|P|_1=0$ for some $Pin V_N$, then $P(0)=P(1)=P(2)=ldots=P(N)=0$, so $$P(t)=Q(t),prod_{k=0}^N,(t-k)$$ for some $Q(t)inmathbb{C}[t]$. As $P$ has degree at most $N$, $Q$ must be identically $0$, so $Pequiv 0$. If $P_1,P_2in V_N$, then $P_1+P_2in V_N$, and $$(P_1+P_2)(k)=P_1(k)+P_2(k)text{ for every }kinmathbb{C},,$$ whence $$big|(P_1+P_2)(k)big|=big|P_1(k)+P_2(k)big|leq big|P_1(k)big|+big|P_2(k)big|text{ for every }kinmathbb{C},.$$ Taking the sum over $k=0,1,2,ldots,N$, we get $|P_1+P_2|_1leq |P_1|_1+|P_2|_1$, justifying the triangle inequality condition. Similarly, $|_|_2$ is a norm on $V_N$.
Note that all norms on a finite-dimensional complex vector space are equivalent. That means, there exist $c(N),C(N)inmathbb{R}_{>0}$ such that
$$c(N),|P|_2leq |P|_1leq C(N),|P|_2$$
for all $Pin V_N$.
Let $V_N$ be the complex vector space of polynomials in $mathbb{C}[t]$ of degree at most $Ninmathbb{Z}_{geq 0}$. Show that $|_|_1$ and $|_|_2$ defined by
$$|P|_1:=sum_{k=0}^N,big|P(k)big|$$
and
$$|P|_2:=int_0^1,big|P(t)big|,text{d}t$$
for all $Pin V_N$ are norms on $V_N$.
To show that $|_|_1$ is a norm, we note that $|a, P|_1=|a|,|P|_1$ trivially holds for all $ainmathbb{C}$ and $Pin V_N$. If $|P|_1=0$ for some $Pin V_N$, then $P(0)=P(1)=P(2)=ldots=P(N)=0$, so $$P(t)=Q(t),prod_{k=0}^N,(t-k)$$ for some $Q(t)inmathbb{C}[t]$. As $P$ has degree at most $N$, $Q$ must be identically $0$, so $Pequiv 0$. If $P_1,P_2in V_N$, then $P_1+P_2in V_N$, and $$(P_1+P_2)(k)=P_1(k)+P_2(k)text{ for every }kinmathbb{C},,$$ whence $$big|(P_1+P_2)(k)big|=big|P_1(k)+P_2(k)big|leq big|P_1(k)big|+big|P_2(k)big|text{ for every }kinmathbb{C},.$$ Taking the sum over $k=0,1,2,ldots,N$, we get $|P_1+P_2|_1leq |P_1|_1+|P_2|_1$, justifying the triangle inequality condition. Similarly, $|_|_2$ is a norm on $V_N$.
Note that all norms on a finite-dimensional complex vector space are equivalent. That means, there exist $c(N),C(N)inmathbb{R}_{>0}$ such that
$$c(N),|P|_2leq |P|_1leq C(N),|P|_2$$
for all $Pin V_N$.
edited Dec 9 at 8:08
answered Dec 8 at 23:54
Batominovski
33.7k33292
33.7k33292
Thank you! I can observe that the polynomial space I am considering has $N+1$ as dimension because it is generated, for example, by ${x^{N},x^{N-1},...,x,1}$ that has dimension $N+1$, which is finite. Right?
– Maggie94
Dec 10 at 13:03
Yes, you are right.
– Batominovski
Dec 10 at 20:03
add a comment |
Thank you! I can observe that the polynomial space I am considering has $N+1$ as dimension because it is generated, for example, by ${x^{N},x^{N-1},...,x,1}$ that has dimension $N+1$, which is finite. Right?
– Maggie94
Dec 10 at 13:03
Yes, you are right.
– Batominovski
Dec 10 at 20:03
Thank you! I can observe that the polynomial space I am considering has $N+1$ as dimension because it is generated, for example, by ${x^{N},x^{N-1},...,x,1}$ that has dimension $N+1$, which is finite. Right?
– Maggie94
Dec 10 at 13:03
Thank you! I can observe that the polynomial space I am considering has $N+1$ as dimension because it is generated, for example, by ${x^{N},x^{N-1},...,x,1}$ that has dimension $N+1$, which is finite. Right?
– Maggie94
Dec 10 at 13:03
Yes, you are right.
– Batominovski
Dec 10 at 20:03
Yes, you are right.
– Batominovski
Dec 10 at 20:03
add a comment |
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.
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%2f3031807%2fshow-that-sum-k-0n-pk-leq-cn-int-0-1-pt-dt%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