Demonstration problem on orthogonal polynomials Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 23, 2019 at 23:30 UTC (7:30pm US/Eastern)why must orthogonal polynomials each have distinct roots?functions orthogonal to the exponential Bell polynomialsIs there a representation of an inner product where monomials are orthogonal?$L^2$ product of Chebyshev polynomials and Legendre polynomialsBuild polynomial orthogonal to set of other pre-defined polynomialsAre linearly independent harmonic polynomials orthogonal upon integration over the sphere?finding generating function of orthogonal polynomials through their momentsPolynomials on n-sphere as a reproducing kernel Hilbert SpaceOrthonormal basis of polynomial space wrt $langle f, grangle = int_0^1 f(x)g(x) dx$Is there something like “associated” Chebyshev polynomials?
If something is halfway in a bag of holding... what happens to it?
Why do C and C++ allow the expression (int) + 4*5?
Why does BitLocker not use RSA?
How do I find my Spellcasting Ability for my D&D character?
Is a copyright notice with a non-existent name be invalid?
Do British people often use the word lightning conductor?
Can gravitational waves pass through a black hole?
Is there night in Alpha Complex?
Can two people see the same photon?
How to name indistinguishable henchmen in a screenplay?
The Nth Gryphon Number
malloc in main() or malloc in another function: allocating memory for a struct and its members
My mentor says to set image to Fine instead of RAW — how is this different from JPG?
Can I take recommendation from someone I met at a conference?
Magento 2 Editing phtml files in Production Mode
Why not use the yoke to control yaw, as well as pitch and roll?
Why did Israel vote against lifting the American embargo on Cuba?
calculator's angle answer for trig ratios that can work in more than 1 quadrant on the unit circle
What should one know about term logic before studying propositional and predicate logic?
Why are two-digit numbers in Jonathan Swift's "Gulliver's Travels" (1726) written in "German style"?
tikz: drawing arrow
Why did Bronn offer to be Tyrion Lannister's champion in trial by combat?
Maximum rotation made by a symmetric positive definite matrix?
Draw a pulley system
Demonstration problem on orthogonal polynomials
Announcing the arrival of Valued Associate #679: Cesar Manara
Planned maintenance scheduled April 23, 2019 at 23:30 UTC (7:30pm US/Eastern)why must orthogonal polynomials each have distinct roots?functions orthogonal to the exponential Bell polynomialsIs there a representation of an inner product where monomials are orthogonal?$L^2$ product of Chebyshev polynomials and Legendre polynomialsBuild polynomial orthogonal to set of other pre-defined polynomialsAre linearly independent harmonic polynomials orthogonal upon integration over the sphere?finding generating function of orthogonal polynomials through their momentsPolynomials on n-sphere as a reproducing kernel Hilbert SpaceOrthonormal basis of polynomial space wrt $langle f, grangle = int_0^1 f(x)g(x) dx$Is there something like “associated” Chebyshev polynomials?
$begingroup$
Consider the set of polynomials $phi_n$built using the Gramm-Schmidt method with respect to the inner product:
$$(f,g) = int_a^b f(x)g(x)w(x)dx$$
with $w(x)>0$.
Prove that if $x_0$ is a zero of $phi_n$, then:
(1)
$$x_0 = fracint_a^bx[fracphi_nx-x_o]^2 w(x)dxint_a^b[fracphi_nx-x_o]^2 w(x)dx(1)$$
From that,I've got to this:
$$int_a^b phi_n(x)frac phi_n(x)x-x_0w(x)dx = 0$$
I suspect this is the solution but I don't know how to argue it. The second term inside the integral is of one degree less than $phi_n$, by the properties of the polynomials, would that make it orthogonal to $phi_n$?.
Also, the problem then says: find an analogue formula for $x_0^2$ pertaining to (1), which I don't understand, maybe someone gets it.
orthogonal-polynomials
$endgroup$
add a comment |
$begingroup$
Consider the set of polynomials $phi_n$built using the Gramm-Schmidt method with respect to the inner product:
$$(f,g) = int_a^b f(x)g(x)w(x)dx$$
with $w(x)>0$.
Prove that if $x_0$ is a zero of $phi_n$, then:
(1)
$$x_0 = fracint_a^bx[fracphi_nx-x_o]^2 w(x)dxint_a^b[fracphi_nx-x_o]^2 w(x)dx(1)$$
From that,I've got to this:
$$int_a^b phi_n(x)frac phi_n(x)x-x_0w(x)dx = 0$$
I suspect this is the solution but I don't know how to argue it. The second term inside the integral is of one degree less than $phi_n$, by the properties of the polynomials, would that make it orthogonal to $phi_n$?.
Also, the problem then says: find an analogue formula for $x_0^2$ pertaining to (1), which I don't understand, maybe someone gets it.
orthogonal-polynomials
$endgroup$
$begingroup$
The polynomial $phi_n$ is indeed orthogonal to all polynomials of lesser degree; this follows from the properties of the Gram-Schmidt construction.
$endgroup$
– Giuseppe Negro
Apr 2 at 18:41
add a comment |
$begingroup$
Consider the set of polynomials $phi_n$built using the Gramm-Schmidt method with respect to the inner product:
$$(f,g) = int_a^b f(x)g(x)w(x)dx$$
with $w(x)>0$.
Prove that if $x_0$ is a zero of $phi_n$, then:
(1)
$$x_0 = fracint_a^bx[fracphi_nx-x_o]^2 w(x)dxint_a^b[fracphi_nx-x_o]^2 w(x)dx(1)$$
From that,I've got to this:
$$int_a^b phi_n(x)frac phi_n(x)x-x_0w(x)dx = 0$$
I suspect this is the solution but I don't know how to argue it. The second term inside the integral is of one degree less than $phi_n$, by the properties of the polynomials, would that make it orthogonal to $phi_n$?.
Also, the problem then says: find an analogue formula for $x_0^2$ pertaining to (1), which I don't understand, maybe someone gets it.
orthogonal-polynomials
$endgroup$
Consider the set of polynomials $phi_n$built using the Gramm-Schmidt method with respect to the inner product:
$$(f,g) = int_a^b f(x)g(x)w(x)dx$$
with $w(x)>0$.
Prove that if $x_0$ is a zero of $phi_n$, then:
(1)
$$x_0 = fracint_a^bx[fracphi_nx-x_o]^2 w(x)dxint_a^b[fracphi_nx-x_o]^2 w(x)dx(1)$$
From that,I've got to this:
$$int_a^b phi_n(x)frac phi_n(x)x-x_0w(x)dx = 0$$
I suspect this is the solution but I don't know how to argue it. The second term inside the integral is of one degree less than $phi_n$, by the properties of the polynomials, would that make it orthogonal to $phi_n$?.
Also, the problem then says: find an analogue formula for $x_0^2$ pertaining to (1), which I don't understand, maybe someone gets it.
orthogonal-polynomials
orthogonal-polynomials
edited Apr 2 at 18:11
bajotupie
asked Apr 2 at 17:58
bajotupiebajotupie
595
595
$begingroup$
The polynomial $phi_n$ is indeed orthogonal to all polynomials of lesser degree; this follows from the properties of the Gram-Schmidt construction.
$endgroup$
– Giuseppe Negro
Apr 2 at 18:41
add a comment |
$begingroup$
The polynomial $phi_n$ is indeed orthogonal to all polynomials of lesser degree; this follows from the properties of the Gram-Schmidt construction.
$endgroup$
– Giuseppe Negro
Apr 2 at 18:41
$begingroup$
The polynomial $phi_n$ is indeed orthogonal to all polynomials of lesser degree; this follows from the properties of the Gram-Schmidt construction.
$endgroup$
– Giuseppe Negro
Apr 2 at 18:41
$begingroup$
The polynomial $phi_n$ is indeed orthogonal to all polynomials of lesser degree; this follows from the properties of the Gram-Schmidt construction.
$endgroup$
– Giuseppe Negro
Apr 2 at 18:41
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
You are on the right track. All you need to say is that $fracphi_nx-x_0$ is a polynomial of degree $n-1$. Since $x_0$ is a root, you have $phi_n(x)=(x-x_0)P_n-1(x)$. Now we can write $P_n-1$ in terms of the orthogonal basis, and we only need the polynomials with degree less or equal to $n-1$:$$P_n-1(x)=sum_j^n-1c_jphi_j(x)$$Here $c_j$ are just some constants. When you plug in this expression into the left hand side of your last formula, you get $$sum_j^n-1c_jint_a^bphi_n(x)phi_j(x)w(x)dx$$
Since the $phi_n$ polynomials are orthogonal and $jne n$, the last integral is always $0$.
Now for the last question, you want to find a formula for $x_0^2$. Start from your last formula.
$$int_a^b phi_n(x)frac phi_n(x)x-x_0w(x)dx = 0$$
Now multiply and divide by $(x-x_0)^2=x^2-2xx_0+x_0^2$:
$$int_a^b phi_n(x)frac phi_n(x)(x-x_0)^3(x^2-2xx_0+x_0^2)w(x)dx = 0$$
Expanding the parentheses, and moving the $x_0^2$ part to the other side, we get
$$x_0^2int_a^bphi_n(x)frac phi_n(x)(x-x_0)^3w(x)dx=int_a^b(2xx_0-x^2)phi_n(x)frac phi_n(x)(x-x_0)^3w(x)dx$$
Now use $2xx_0-x^2=x^2-2x(x-x_0)$, and you get
$$x_0^2int_a^bphi_n(x)frac phi_n(x)(x-x_0)^3w(x)dx=int_a^bx^2phi_n(x)frac phi_n(x)(x-x_0)^3w(x)dx-2int_a^bxphi_n(x)frac phi_n(x)(x-x_0)^2w(x)dx$$
$endgroup$
add a comment |
Your Answer
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%2f3172183%2fdemonstration-problem-on-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 are on the right track. All you need to say is that $fracphi_nx-x_0$ is a polynomial of degree $n-1$. Since $x_0$ is a root, you have $phi_n(x)=(x-x_0)P_n-1(x)$. Now we can write $P_n-1$ in terms of the orthogonal basis, and we only need the polynomials with degree less or equal to $n-1$:$$P_n-1(x)=sum_j^n-1c_jphi_j(x)$$Here $c_j$ are just some constants. When you plug in this expression into the left hand side of your last formula, you get $$sum_j^n-1c_jint_a^bphi_n(x)phi_j(x)w(x)dx$$
Since the $phi_n$ polynomials are orthogonal and $jne n$, the last integral is always $0$.
Now for the last question, you want to find a formula for $x_0^2$. Start from your last formula.
$$int_a^b phi_n(x)frac phi_n(x)x-x_0w(x)dx = 0$$
Now multiply and divide by $(x-x_0)^2=x^2-2xx_0+x_0^2$:
$$int_a^b phi_n(x)frac phi_n(x)(x-x_0)^3(x^2-2xx_0+x_0^2)w(x)dx = 0$$
Expanding the parentheses, and moving the $x_0^2$ part to the other side, we get
$$x_0^2int_a^bphi_n(x)frac phi_n(x)(x-x_0)^3w(x)dx=int_a^b(2xx_0-x^2)phi_n(x)frac phi_n(x)(x-x_0)^3w(x)dx$$
Now use $2xx_0-x^2=x^2-2x(x-x_0)$, and you get
$$x_0^2int_a^bphi_n(x)frac phi_n(x)(x-x_0)^3w(x)dx=int_a^bx^2phi_n(x)frac phi_n(x)(x-x_0)^3w(x)dx-2int_a^bxphi_n(x)frac phi_n(x)(x-x_0)^2w(x)dx$$
$endgroup$
add a comment |
$begingroup$
You are on the right track. All you need to say is that $fracphi_nx-x_0$ is a polynomial of degree $n-1$. Since $x_0$ is a root, you have $phi_n(x)=(x-x_0)P_n-1(x)$. Now we can write $P_n-1$ in terms of the orthogonal basis, and we only need the polynomials with degree less or equal to $n-1$:$$P_n-1(x)=sum_j^n-1c_jphi_j(x)$$Here $c_j$ are just some constants. When you plug in this expression into the left hand side of your last formula, you get $$sum_j^n-1c_jint_a^bphi_n(x)phi_j(x)w(x)dx$$
Since the $phi_n$ polynomials are orthogonal and $jne n$, the last integral is always $0$.
Now for the last question, you want to find a formula for $x_0^2$. Start from your last formula.
$$int_a^b phi_n(x)frac phi_n(x)x-x_0w(x)dx = 0$$
Now multiply and divide by $(x-x_0)^2=x^2-2xx_0+x_0^2$:
$$int_a^b phi_n(x)frac phi_n(x)(x-x_0)^3(x^2-2xx_0+x_0^2)w(x)dx = 0$$
Expanding the parentheses, and moving the $x_0^2$ part to the other side, we get
$$x_0^2int_a^bphi_n(x)frac phi_n(x)(x-x_0)^3w(x)dx=int_a^b(2xx_0-x^2)phi_n(x)frac phi_n(x)(x-x_0)^3w(x)dx$$
Now use $2xx_0-x^2=x^2-2x(x-x_0)$, and you get
$$x_0^2int_a^bphi_n(x)frac phi_n(x)(x-x_0)^3w(x)dx=int_a^bx^2phi_n(x)frac phi_n(x)(x-x_0)^3w(x)dx-2int_a^bxphi_n(x)frac phi_n(x)(x-x_0)^2w(x)dx$$
$endgroup$
add a comment |
$begingroup$
You are on the right track. All you need to say is that $fracphi_nx-x_0$ is a polynomial of degree $n-1$. Since $x_0$ is a root, you have $phi_n(x)=(x-x_0)P_n-1(x)$. Now we can write $P_n-1$ in terms of the orthogonal basis, and we only need the polynomials with degree less or equal to $n-1$:$$P_n-1(x)=sum_j^n-1c_jphi_j(x)$$Here $c_j$ are just some constants. When you plug in this expression into the left hand side of your last formula, you get $$sum_j^n-1c_jint_a^bphi_n(x)phi_j(x)w(x)dx$$
Since the $phi_n$ polynomials are orthogonal and $jne n$, the last integral is always $0$.
Now for the last question, you want to find a formula for $x_0^2$. Start from your last formula.
$$int_a^b phi_n(x)frac phi_n(x)x-x_0w(x)dx = 0$$
Now multiply and divide by $(x-x_0)^2=x^2-2xx_0+x_0^2$:
$$int_a^b phi_n(x)frac phi_n(x)(x-x_0)^3(x^2-2xx_0+x_0^2)w(x)dx = 0$$
Expanding the parentheses, and moving the $x_0^2$ part to the other side, we get
$$x_0^2int_a^bphi_n(x)frac phi_n(x)(x-x_0)^3w(x)dx=int_a^b(2xx_0-x^2)phi_n(x)frac phi_n(x)(x-x_0)^3w(x)dx$$
Now use $2xx_0-x^2=x^2-2x(x-x_0)$, and you get
$$x_0^2int_a^bphi_n(x)frac phi_n(x)(x-x_0)^3w(x)dx=int_a^bx^2phi_n(x)frac phi_n(x)(x-x_0)^3w(x)dx-2int_a^bxphi_n(x)frac phi_n(x)(x-x_0)^2w(x)dx$$
$endgroup$
You are on the right track. All you need to say is that $fracphi_nx-x_0$ is a polynomial of degree $n-1$. Since $x_0$ is a root, you have $phi_n(x)=(x-x_0)P_n-1(x)$. Now we can write $P_n-1$ in terms of the orthogonal basis, and we only need the polynomials with degree less or equal to $n-1$:$$P_n-1(x)=sum_j^n-1c_jphi_j(x)$$Here $c_j$ are just some constants. When you plug in this expression into the left hand side of your last formula, you get $$sum_j^n-1c_jint_a^bphi_n(x)phi_j(x)w(x)dx$$
Since the $phi_n$ polynomials are orthogonal and $jne n$, the last integral is always $0$.
Now for the last question, you want to find a formula for $x_0^2$. Start from your last formula.
$$int_a^b phi_n(x)frac phi_n(x)x-x_0w(x)dx = 0$$
Now multiply and divide by $(x-x_0)^2=x^2-2xx_0+x_0^2$:
$$int_a^b phi_n(x)frac phi_n(x)(x-x_0)^3(x^2-2xx_0+x_0^2)w(x)dx = 0$$
Expanding the parentheses, and moving the $x_0^2$ part to the other side, we get
$$x_0^2int_a^bphi_n(x)frac phi_n(x)(x-x_0)^3w(x)dx=int_a^b(2xx_0-x^2)phi_n(x)frac phi_n(x)(x-x_0)^3w(x)dx$$
Now use $2xx_0-x^2=x^2-2x(x-x_0)$, and you get
$$x_0^2int_a^bphi_n(x)frac phi_n(x)(x-x_0)^3w(x)dx=int_a^bx^2phi_n(x)frac phi_n(x)(x-x_0)^3w(x)dx-2int_a^bxphi_n(x)frac phi_n(x)(x-x_0)^2w(x)dx$$
answered Apr 2 at 18:45
AndreiAndrei
14k21330
14k21330
add a comment |
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.
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%2f3172183%2fdemonstration-problem-on-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$
The polynomial $phi_n$ is indeed orthogonal to all polynomials of lesser degree; this follows from the properties of the Gram-Schmidt construction.
$endgroup$
– Giuseppe Negro
Apr 2 at 18:41