1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Show this integral defines a scalar product.

  1. Sep 13, 2017 #1
    Hi,

    I'm stuck on a problem from my quantum homework. I have to show <p1|p2> = ∫(from -1 to 1) dx (p1*)(p2)
    is a scalar product (p1 and p2 are single variable complex polynomials). I've figured out how to show that they satisfy linearity and positive definiteness, but I'm completely stuck on showing that they have conjugate symmetry. Anyone know how to show this integral has conjugate symmetry? Thanks!
     
  2. jcsd
  3. Sep 13, 2017 #2

    PeterDonis

    User Avatar
    2016 Award

    Staff: Mentor

    I have moved this thread to the homework forum. @PhysStudent12 please provide the information requested in the homework template--basically, what equations are applicable, and what attempts at solution you have made.
     
  4. Sep 14, 2017 #3
    Sure, sorry about that, I'm new here.

    The problem:

    I have to show <p1|p2> = ∫-11 dx (p1*)(p2)
    is a scalar product (p1 and p2 are single variable complex polynomials).

    Relevant Equations:

    A scalar product has three criteria:
    Linearity: a<x|y> = <ax|y> and <x+y|z> = <x|z> + <y|z>
    Positive Definiteness: <x|x> ≥ 0 and <x|x> = 0 iff x = 0
    Conjugate symmetry: <x|y> = the conjugate of <y|x>

    Solution Attempt:

    Linearity is pretty easy, <ap1|p2> = ∫-11 dx a(p1*)(p2) = a∫-11dx (p1*)(p2) = a<p1|p2> and so forth. For positive definiteness, <0|0> = 0 trivially, and <p1|p1> should be positive since the negative parts should multiply by each other in the integral (correct me if I'm wrong here).

    The part I need help on is showing conjugate symmetry. I'm not sure how to approach that part.

    Thanks!
     
  5. Sep 14, 2017 #4

    Krylov

    User Avatar
    Science Advisor
    Education Advisor

    You need to do more here. The non-negativity actually follows from the non-negativity of the modulus of a complex number. Perhaps more importantly, remember the "iff" in
    So, indeed ##\langle 0 | 0 \rangle = 0##. But can you also deduce that ##\langle p | p \rangle = 0## implies ##p = 0## identically?
     
  6. Sep 14, 2017 #5

    Demystifier

    User Avatar
    Science Advisor

Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?
Draft saved Draft deleted



Similar Discussions: Show this integral defines a scalar product.
Loading...