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!

Homework Help: Orthogonality of Two Functions

  1. Apr 15, 2008 #1
    1. The problem statement, all variables and given/known data

    Show that:

    [tex]\varphi_{0}(x) = f_{0}(x)[/tex]


    [tex]\varphi_{1}(x) = f_{1}(x) - \frac{\left\langle\right\varphi_{0},f_{1}\rangle}{\left\|\varphi_{0}\right\|^{2}}\varphi_{0}(x)[/tex]

    are orthogonal on the interval [a,b].

    2. Relevant equations

    Orthogonal functions satisfy:

    [tex]\left\langle\right\varphi_{m},\varphi_{n}\rangle = \int^{b}_{a}\varphi_{m}(x)\varphi_{n}(x)dx = g(m)\delta_{mn}[/tex]

    Where, [tex]\delta_{mn}[/tex] is the Delta Kronecker.


    [tex]\left\langle\right\varphi_{m},\varphi_{m}\rangle = \left\|\varphi_{m}\right\|^{2}[/tex]

    3. The attempt at a solution

    Since m and n (0 and 1) are not equal, the Delta Kronecker is zero and therefore the proof is a matter of proving that:

    [tex]\left\langle\right\varphi_{0},\varphi_{1}\rangle = 0[/tex]

    Having substituted the functions into the inner product formula in 2:

    [tex]\left\langle\right\varphi_{0},\varphi_{1}\rangle = \int^{b}_{a}\varphi_{0}(x)\varphi_{1}(x)dx =
    \int^{b}_{a}f_{0}(x)\left[f_{1}(x) - \frac{\left\langle\right\varphi_{0},f_{1}\rangle}{\left\|\varphi_{0}\right\|^{2}}\varphi_{0}(x)\right]dx[/tex]

    Because the Delta Kronecker is zero, all I have to do is show that:

    [tex]\int^{b}_{a}f_{0}(x)\left[f_{1}(x) - \frac{\left\langle\right\varphi_{0},f_{1}\rangle}{\left\|\varphi_{0}\right\|^{2}}\varphi_{0}(x)\right]dx = 0[/tex]

    I'm unsure as to whether I should use integration by parts to do the resulting integral because there is another integral embedded in the [tex]\varphi_{1}(x)[/tex] function; which (because it is a definite integral) would be tricky to differentiate or integrate.
  2. jcsd
  3. Apr 15, 2008 #2

    D H

    User Avatar
    Staff Emeritus
    Science Advisor

    You really don't need to bring the Kronecker delta stuff into the picture. It is completely superfluous. You do need to show that [itex]\langle \varphi_0, \varphi_1 \rangle = 0[/itex] as that is the definition of orthogonality.

    Why integrate by parts? Use [itex] \langle f, g \rangle \equiv \int_a^b f(x)g(x)\,dx[/itex] and [itex]\varphi_0(x) = f_0(x)[/itex]
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook