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?










1












$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.










share|cite|improve this question











$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















1












$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.










share|cite|improve this question











$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













1












1








1





$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.










share|cite|improve this question











$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






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








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
















  • $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










1 Answer
1






active

oldest

votes


















2












$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$$






share|cite|improve this answer









$endgroup$













    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
    );



    );













    draft saved

    draft discarded


















    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









    2












    $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$$






    share|cite|improve this answer









    $endgroup$

















      2












      $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$$






      share|cite|improve this answer









      $endgroup$















        2












        2








        2





        $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$$






        share|cite|improve this answer









        $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$$







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Apr 2 at 18:45









        AndreiAndrei

        14k21330




        14k21330



























            draft saved

            draft discarded
















































            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.




            draft saved


            draft discarded














            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





















































            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







            Popular posts from this blog

            Triangular numbers and gcdProving sum of a set is $0 pmod n$ if $n$ is odd, or $fracn2 pmod n$ if $n$ is even?Is greatest common divisor of two numbers really their smallest linear combination?GCD, LCM RelationshipProve a set of nonnegative integers with greatest common divisor 1 and closed under addition has all but finite many nonnegative integers.all pairs of a and b in an equation containing gcdTriangular Numbers Modulo $k$ - Hit All Values?Understanding the Existence and Uniqueness of the GCDGCD and LCM with logical symbolsThe greatest common divisor of two positive integers less than 100 is equal to 3. Their least common multiple is twelve times one of the integers.Suppose that for all integers $x$, $x|a$ and $x|b$ if and only if $x|c$. Then $c = gcd(a,b)$Which is the gcd of 2 numbers which are multiplied and the result is 600000?

            Ingelân Ynhâld Etymology | Geografy | Skiednis | Polityk en bestjoer | Ekonomy | Demografy | Kultuer | Klimaat | Sjoch ek | Keppelings om utens | Boarnen, noaten en referinsjes Navigaasjemenuwww.gov.ukOffisjele webside fan it regear fan it Feriene KeninkrykOffisjele webside fan it Britske FerkearsburoNederlânsktalige ynformaasje fan it Britske FerkearsburoOffisjele webside fan English Heritage, de organisaasje dy't him ynset foar it behâld fan it Ingelske kultuergoedYnwennertallen fan alle Britske stêden út 'e folkstelling fan 2011Notes en References, op dizze sideEngland

            Հադիս Բովանդակություն Անվանում և նշանակություն | Դասակարգում | Աղբյուրներ | Նավարկման ցանկ