1. Not finding help here? Sign up for a free 30min 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!

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

    Staff: Mentor

    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]
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?

Similar Discussions: Orthogonality of Two Functions
  1. Orthogonal functions (Replies: 3)