On the construction of orthogonal polynomials
$begingroup$
In the following proof, argument goes on based on considering $C_n$ to be nonzero then it finishes the proof for $C_n=0$ :
Also if we set $C_n=0$ in Eq. (6.10) then must $m=0,1,2,...,n- 2$ in Eq. (6.12). In either case the proof fails. Am I right? If so, how to finish the proof, that is showing $Delta_n ne 0$?
real-analysis ordinary-differential-equations proof-explanation orthogonality orthogonal-polynomials
$endgroup$
add a comment |
$begingroup$
In the following proof, argument goes on based on considering $C_n$ to be nonzero then it finishes the proof for $C_n=0$ :
Also if we set $C_n=0$ in Eq. (6.10) then must $m=0,1,2,...,n- 2$ in Eq. (6.12). In either case the proof fails. Am I right? If so, how to finish the proof, that is showing $Delta_n ne 0$?
real-analysis ordinary-differential-equations proof-explanation orthogonality orthogonal-polynomials
$endgroup$
$begingroup$
Why did you exclude $m=n-1$?
$endgroup$
– metamorphy
Dec 20 '18 at 9:34
$begingroup$
@metamorphy, when $C_n ne 0$ (implicitly $C_{n+1} = 0$), $m=0,...,n-1$ so when $C_n = 0$ and $C_{n-1} ne 0$ so the argument reduces by $1$ less i.e.: $m=0,...,(n-1)-1$.
$endgroup$
– 72D
Dec 20 '18 at 9:38
add a comment |
$begingroup$
In the following proof, argument goes on based on considering $C_n$ to be nonzero then it finishes the proof for $C_n=0$ :
Also if we set $C_n=0$ in Eq. (6.10) then must $m=0,1,2,...,n- 2$ in Eq. (6.12). In either case the proof fails. Am I right? If so, how to finish the proof, that is showing $Delta_n ne 0$?
real-analysis ordinary-differential-equations proof-explanation orthogonality orthogonal-polynomials
$endgroup$
In the following proof, argument goes on based on considering $C_n$ to be nonzero then it finishes the proof for $C_n=0$ :
Also if we set $C_n=0$ in Eq. (6.10) then must $m=0,1,2,...,n- 2$ in Eq. (6.12). In either case the proof fails. Am I right? If so, how to finish the proof, that is showing $Delta_n ne 0$?
real-analysis ordinary-differential-equations proof-explanation orthogonality orthogonal-polynomials
real-analysis ordinary-differential-equations proof-explanation orthogonality orthogonal-polynomials
asked Dec 20 '18 at 9:23
72D72D
531116
531116
$begingroup$
Why did you exclude $m=n-1$?
$endgroup$
– metamorphy
Dec 20 '18 at 9:34
$begingroup$
@metamorphy, when $C_n ne 0$ (implicitly $C_{n+1} = 0$), $m=0,...,n-1$ so when $C_n = 0$ and $C_{n-1} ne 0$ so the argument reduces by $1$ less i.e.: $m=0,...,(n-1)-1$.
$endgroup$
– 72D
Dec 20 '18 at 9:38
add a comment |
$begingroup$
Why did you exclude $m=n-1$?
$endgroup$
– metamorphy
Dec 20 '18 at 9:34
$begingroup$
@metamorphy, when $C_n ne 0$ (implicitly $C_{n+1} = 0$), $m=0,...,n-1$ so when $C_n = 0$ and $C_{n-1} ne 0$ so the argument reduces by $1$ less i.e.: $m=0,...,(n-1)-1$.
$endgroup$
– 72D
Dec 20 '18 at 9:38
$begingroup$
Why did you exclude $m=n-1$?
$endgroup$
– metamorphy
Dec 20 '18 at 9:34
$begingroup$
Why did you exclude $m=n-1$?
$endgroup$
– metamorphy
Dec 20 '18 at 9:34
$begingroup$
@metamorphy, when $C_n ne 0$ (implicitly $C_{n+1} = 0$), $m=0,...,n-1$ so when $C_n = 0$ and $C_{n-1} ne 0$ so the argument reduces by $1$ less i.e.: $m=0,...,(n-1)-1$.
$endgroup$
– 72D
Dec 20 '18 at 9:38
$begingroup$
@metamorphy, when $C_n ne 0$ (implicitly $C_{n+1} = 0$), $m=0,...,n-1$ so when $C_n = 0$ and $C_{n-1} ne 0$ so the argument reduces by $1$ less i.e.: $m=0,...,(n-1)-1$.
$endgroup$
– 72D
Dec 20 '18 at 9:38
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
You exclude $m=n-1$ for no reason. The proof proceeds by showing that $(6.10)$ has solutions $C_0,ldots,C_n$ with $C_nneq 0$. This amounts to proving $Delta_nneq 0$. If we assume the contrary, the same system with $C_n=0$ (consisting of $n$ equations, not $n-1$) has nontrivial solutions $C_0,ldots,C_{n-1}$. This corresponds to $(6.12)$ with the allowed values of $m$ exactly as specified there.
$endgroup$
$begingroup$
We want to prove $Delta_nneq 0$ so we suppose the contrary $Delta_n = 0$. This is OK. However, $C_n ne 0$ was required from beginning and this assumption can't be changed otherwise it will be other argument from the beginning so (6.10) can't be used. For new argument I supposed $n-2$ the last $m$; for old one $C_n ne 0$.
$endgroup$
– 72D
Dec 20 '18 at 9:52
1
$begingroup$
Maybe you get it this way: if $Delta_n=0$ then the system $$begin{align}M_0 C_0&+M_1 C_1+ldots+M_{n-1}C_{n-1}&=&color{red}{0}\M_1 C_0&+M_2 C_1+ldots+M_{n}C_{n-1}&=&color{red}{0}\ ldots\M_{n-1} C_0&+M_n C_1+ldots+M_{2n-2}C_{n-1}&=&color{red}{0}end{align}$$ has solutions in $C_0,ldots,C_{n-1}$ not all zero.
$endgroup$
– metamorphy
Dec 20 '18 at 10:02
$begingroup$
No I say that $C_n=0$ is not allowed even if $Δ_n=0$. When forming (6.10) we assumed $C_n ne 0$.
$endgroup$
– 72D
Dec 20 '18 at 10:09
1
$begingroup$
Forget your $C_n$! Do you agree with the statement in my last comment as written? (If you don't, tell me why.)
$endgroup$
– metamorphy
Dec 20 '18 at 10:11
$begingroup$
Yes, I totally agree with all of your last comment. Let me re-read the proof again...
$endgroup$
– 72D
Dec 20 '18 at 10:23
|
show 2 more comments
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%2f3047337%2fon-the-construction-of-orthogonal-polynomials%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
$begingroup$
You exclude $m=n-1$ for no reason. The proof proceeds by showing that $(6.10)$ has solutions $C_0,ldots,C_n$ with $C_nneq 0$. This amounts to proving $Delta_nneq 0$. If we assume the contrary, the same system with $C_n=0$ (consisting of $n$ equations, not $n-1$) has nontrivial solutions $C_0,ldots,C_{n-1}$. This corresponds to $(6.12)$ with the allowed values of $m$ exactly as specified there.
$endgroup$
$begingroup$
We want to prove $Delta_nneq 0$ so we suppose the contrary $Delta_n = 0$. This is OK. However, $C_n ne 0$ was required from beginning and this assumption can't be changed otherwise it will be other argument from the beginning so (6.10) can't be used. For new argument I supposed $n-2$ the last $m$; for old one $C_n ne 0$.
$endgroup$
– 72D
Dec 20 '18 at 9:52
1
$begingroup$
Maybe you get it this way: if $Delta_n=0$ then the system $$begin{align}M_0 C_0&+M_1 C_1+ldots+M_{n-1}C_{n-1}&=&color{red}{0}\M_1 C_0&+M_2 C_1+ldots+M_{n}C_{n-1}&=&color{red}{0}\ ldots\M_{n-1} C_0&+M_n C_1+ldots+M_{2n-2}C_{n-1}&=&color{red}{0}end{align}$$ has solutions in $C_0,ldots,C_{n-1}$ not all zero.
$endgroup$
– metamorphy
Dec 20 '18 at 10:02
$begingroup$
No I say that $C_n=0$ is not allowed even if $Δ_n=0$. When forming (6.10) we assumed $C_n ne 0$.
$endgroup$
– 72D
Dec 20 '18 at 10:09
1
$begingroup$
Forget your $C_n$! Do you agree with the statement in my last comment as written? (If you don't, tell me why.)
$endgroup$
– metamorphy
Dec 20 '18 at 10:11
$begingroup$
Yes, I totally agree with all of your last comment. Let me re-read the proof again...
$endgroup$
– 72D
Dec 20 '18 at 10:23
|
show 2 more comments
$begingroup$
You exclude $m=n-1$ for no reason. The proof proceeds by showing that $(6.10)$ has solutions $C_0,ldots,C_n$ with $C_nneq 0$. This amounts to proving $Delta_nneq 0$. If we assume the contrary, the same system with $C_n=0$ (consisting of $n$ equations, not $n-1$) has nontrivial solutions $C_0,ldots,C_{n-1}$. This corresponds to $(6.12)$ with the allowed values of $m$ exactly as specified there.
$endgroup$
$begingroup$
We want to prove $Delta_nneq 0$ so we suppose the contrary $Delta_n = 0$. This is OK. However, $C_n ne 0$ was required from beginning and this assumption can't be changed otherwise it will be other argument from the beginning so (6.10) can't be used. For new argument I supposed $n-2$ the last $m$; for old one $C_n ne 0$.
$endgroup$
– 72D
Dec 20 '18 at 9:52
1
$begingroup$
Maybe you get it this way: if $Delta_n=0$ then the system $$begin{align}M_0 C_0&+M_1 C_1+ldots+M_{n-1}C_{n-1}&=&color{red}{0}\M_1 C_0&+M_2 C_1+ldots+M_{n}C_{n-1}&=&color{red}{0}\ ldots\M_{n-1} C_0&+M_n C_1+ldots+M_{2n-2}C_{n-1}&=&color{red}{0}end{align}$$ has solutions in $C_0,ldots,C_{n-1}$ not all zero.
$endgroup$
– metamorphy
Dec 20 '18 at 10:02
$begingroup$
No I say that $C_n=0$ is not allowed even if $Δ_n=0$. When forming (6.10) we assumed $C_n ne 0$.
$endgroup$
– 72D
Dec 20 '18 at 10:09
1
$begingroup$
Forget your $C_n$! Do you agree with the statement in my last comment as written? (If you don't, tell me why.)
$endgroup$
– metamorphy
Dec 20 '18 at 10:11
$begingroup$
Yes, I totally agree with all of your last comment. Let me re-read the proof again...
$endgroup$
– 72D
Dec 20 '18 at 10:23
|
show 2 more comments
$begingroup$
You exclude $m=n-1$ for no reason. The proof proceeds by showing that $(6.10)$ has solutions $C_0,ldots,C_n$ with $C_nneq 0$. This amounts to proving $Delta_nneq 0$. If we assume the contrary, the same system with $C_n=0$ (consisting of $n$ equations, not $n-1$) has nontrivial solutions $C_0,ldots,C_{n-1}$. This corresponds to $(6.12)$ with the allowed values of $m$ exactly as specified there.
$endgroup$
You exclude $m=n-1$ for no reason. The proof proceeds by showing that $(6.10)$ has solutions $C_0,ldots,C_n$ with $C_nneq 0$. This amounts to proving $Delta_nneq 0$. If we assume the contrary, the same system with $C_n=0$ (consisting of $n$ equations, not $n-1$) has nontrivial solutions $C_0,ldots,C_{n-1}$. This corresponds to $(6.12)$ with the allowed values of $m$ exactly as specified there.
answered Dec 20 '18 at 9:47
metamorphymetamorphy
3,6821621
3,6821621
$begingroup$
We want to prove $Delta_nneq 0$ so we suppose the contrary $Delta_n = 0$. This is OK. However, $C_n ne 0$ was required from beginning and this assumption can't be changed otherwise it will be other argument from the beginning so (6.10) can't be used. For new argument I supposed $n-2$ the last $m$; for old one $C_n ne 0$.
$endgroup$
– 72D
Dec 20 '18 at 9:52
1
$begingroup$
Maybe you get it this way: if $Delta_n=0$ then the system $$begin{align}M_0 C_0&+M_1 C_1+ldots+M_{n-1}C_{n-1}&=&color{red}{0}\M_1 C_0&+M_2 C_1+ldots+M_{n}C_{n-1}&=&color{red}{0}\ ldots\M_{n-1} C_0&+M_n C_1+ldots+M_{2n-2}C_{n-1}&=&color{red}{0}end{align}$$ has solutions in $C_0,ldots,C_{n-1}$ not all zero.
$endgroup$
– metamorphy
Dec 20 '18 at 10:02
$begingroup$
No I say that $C_n=0$ is not allowed even if $Δ_n=0$. When forming (6.10) we assumed $C_n ne 0$.
$endgroup$
– 72D
Dec 20 '18 at 10:09
1
$begingroup$
Forget your $C_n$! Do you agree with the statement in my last comment as written? (If you don't, tell me why.)
$endgroup$
– metamorphy
Dec 20 '18 at 10:11
$begingroup$
Yes, I totally agree with all of your last comment. Let me re-read the proof again...
$endgroup$
– 72D
Dec 20 '18 at 10:23
|
show 2 more comments
$begingroup$
We want to prove $Delta_nneq 0$ so we suppose the contrary $Delta_n = 0$. This is OK. However, $C_n ne 0$ was required from beginning and this assumption can't be changed otherwise it will be other argument from the beginning so (6.10) can't be used. For new argument I supposed $n-2$ the last $m$; for old one $C_n ne 0$.
$endgroup$
– 72D
Dec 20 '18 at 9:52
1
$begingroup$
Maybe you get it this way: if $Delta_n=0$ then the system $$begin{align}M_0 C_0&+M_1 C_1+ldots+M_{n-1}C_{n-1}&=&color{red}{0}\M_1 C_0&+M_2 C_1+ldots+M_{n}C_{n-1}&=&color{red}{0}\ ldots\M_{n-1} C_0&+M_n C_1+ldots+M_{2n-2}C_{n-1}&=&color{red}{0}end{align}$$ has solutions in $C_0,ldots,C_{n-1}$ not all zero.
$endgroup$
– metamorphy
Dec 20 '18 at 10:02
$begingroup$
No I say that $C_n=0$ is not allowed even if $Δ_n=0$. When forming (6.10) we assumed $C_n ne 0$.
$endgroup$
– 72D
Dec 20 '18 at 10:09
1
$begingroup$
Forget your $C_n$! Do you agree with the statement in my last comment as written? (If you don't, tell me why.)
$endgroup$
– metamorphy
Dec 20 '18 at 10:11
$begingroup$
Yes, I totally agree with all of your last comment. Let me re-read the proof again...
$endgroup$
– 72D
Dec 20 '18 at 10:23
$begingroup$
We want to prove $Delta_nneq 0$ so we suppose the contrary $Delta_n = 0$. This is OK. However, $C_n ne 0$ was required from beginning and this assumption can't be changed otherwise it will be other argument from the beginning so (6.10) can't be used. For new argument I supposed $n-2$ the last $m$; for old one $C_n ne 0$.
$endgroup$
– 72D
Dec 20 '18 at 9:52
$begingroup$
We want to prove $Delta_nneq 0$ so we suppose the contrary $Delta_n = 0$. This is OK. However, $C_n ne 0$ was required from beginning and this assumption can't be changed otherwise it will be other argument from the beginning so (6.10) can't be used. For new argument I supposed $n-2$ the last $m$; for old one $C_n ne 0$.
$endgroup$
– 72D
Dec 20 '18 at 9:52
1
1
$begingroup$
Maybe you get it this way: if $Delta_n=0$ then the system $$begin{align}M_0 C_0&+M_1 C_1+ldots+M_{n-1}C_{n-1}&=&color{red}{0}\M_1 C_0&+M_2 C_1+ldots+M_{n}C_{n-1}&=&color{red}{0}\ ldots\M_{n-1} C_0&+M_n C_1+ldots+M_{2n-2}C_{n-1}&=&color{red}{0}end{align}$$ has solutions in $C_0,ldots,C_{n-1}$ not all zero.
$endgroup$
– metamorphy
Dec 20 '18 at 10:02
$begingroup$
Maybe you get it this way: if $Delta_n=0$ then the system $$begin{align}M_0 C_0&+M_1 C_1+ldots+M_{n-1}C_{n-1}&=&color{red}{0}\M_1 C_0&+M_2 C_1+ldots+M_{n}C_{n-1}&=&color{red}{0}\ ldots\M_{n-1} C_0&+M_n C_1+ldots+M_{2n-2}C_{n-1}&=&color{red}{0}end{align}$$ has solutions in $C_0,ldots,C_{n-1}$ not all zero.
$endgroup$
– metamorphy
Dec 20 '18 at 10:02
$begingroup$
No I say that $C_n=0$ is not allowed even if $Δ_n=0$. When forming (6.10) we assumed $C_n ne 0$.
$endgroup$
– 72D
Dec 20 '18 at 10:09
$begingroup$
No I say that $C_n=0$ is not allowed even if $Δ_n=0$. When forming (6.10) we assumed $C_n ne 0$.
$endgroup$
– 72D
Dec 20 '18 at 10:09
1
1
$begingroup$
Forget your $C_n$! Do you agree with the statement in my last comment as written? (If you don't, tell me why.)
$endgroup$
– metamorphy
Dec 20 '18 at 10:11
$begingroup$
Forget your $C_n$! Do you agree with the statement in my last comment as written? (If you don't, tell me why.)
$endgroup$
– metamorphy
Dec 20 '18 at 10:11
$begingroup$
Yes, I totally agree with all of your last comment. Let me re-read the proof again...
$endgroup$
– 72D
Dec 20 '18 at 10:23
$begingroup$
Yes, I totally agree with all of your last comment. Let me re-read the proof again...
$endgroup$
– 72D
Dec 20 '18 at 10:23
|
show 2 more comments
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%2f3047337%2fon-the-construction-of-orthogonal-polynomials%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$
Why did you exclude $m=n-1$?
$endgroup$
– metamorphy
Dec 20 '18 at 9:34
$begingroup$
@metamorphy, when $C_n ne 0$ (implicitly $C_{n+1} = 0$), $m=0,...,n-1$ so when $C_n = 0$ and $C_{n-1} ne 0$ so the argument reduces by $1$ less i.e.: $m=0,...,(n-1)-1$.
$endgroup$
– 72D
Dec 20 '18 at 9:38