Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Fredholm Integral of Second Kind, Eigenvalues

  1. Jan 5, 2006 #1
    I need help with an integral eigenvalue equation...I am lost on how to handle this:

    \int_{-\infty}^{\infty} dy K(x,y) \psi_n(y) = \lambda_n \psi_n(x)

    The kernel, [tex] K(x,y) [/tex] is a 2D, correlated Gaussian. I have read that for this case an analytic solution exist for the eigenvalues, [tex] \lambda_n[/tex], and the eigenfunctions, [tex]\psi_n(x)[/tex], are given in terms of the Hermite functions (polynomials?).

    Any suggestions on starting this solution would be appreciated.

    p.s. dear moderator, perhaps you know if this should be posted in the differential equations subforum. I wasn't sure.
    Last edited: Jan 6, 2006
  2. jcsd
  3. Jan 6, 2006 #2


    User Avatar
    Staff Emeritus
    Science Advisor

    Hey, I'm a moderator and I'm not sure either! It might get more responses in differential equation than calculus so I will move it there.

    "2d Gaussian"? That's [itex]Const e^{-x^2-y^2}= Const e^{-x^2}e^{-y^2}[/itex] isn't it? If so then do this: write the equation as
    [tex]Const e^{-x^2}\int_{-\infty}^{\infty}e^{-y^2}\psi_n(y)dy= \lambda_n\psi_n(x)[/itex].

    Notice that the integral on the left is a definite integral: it is a constant: Let
    [itex]X_n= \int_{-\infty}{\infty}e^{-y^2}\psi_n(y)dy[/itex]. Then the equation says [itex]Const X_ne^{-x^2}= \lamda_n\psi_n(x)[/itex]. Multiply both sides by [itex]e^{-x^2}[/itex] to get [itex]Const X_n e^{-2x^2}= \lambda_n \psi_n(x)e^{-x^2}[/itex].

    Now integrate both sides, with respect to x, from -infinity to infinity:
    [itex]Const X_n \int_{-\infty}^{/infty}e^{-2x^2}dx= \lamba_n X_n[/itex]. What value of [itex]\lamba_n[/itex] makes that true for any Xn?
    Last edited: Jan 6, 2006
  4. Jan 6, 2006 #3


    User Avatar
    Science Advisor
    Homework Helper

    Hall you mind if I summarize your work here:






    so that we have:


    Representing the definite integral as the constant [itex]X_n[/itex] as Hall indicated above:


    we obtain:


    Multiplying both sides by [itex]e^{-x^2}[/tex] and integrating:


    but from above:


    so that we're left with:

    [tex]\lambda_n X_n=CX_n\int_{-\infty}^{\infty}e^{-2x^2}dx[/tex]

    If I've incorrectly interpreted Hall's analysis above, I'm sure he'll . . . indicate such. :smile:
    Last edited: Jan 6, 2006
  5. Jan 6, 2006 #4
    Thank you both for your response. I will think about this approach as it looks helpful. But there is a slight complication, which is that the Guassian is correlated, i.e. not separable in x and y. The example I have in mind is
    K(x,y) = C \exp \{-\sigma_1^2 (c x + sy)^2-\sigma_2^2 (cy - sx)^2 \}
    where [tex] C [/tex], [tex] \sigma_1 [/tex], and [tex] \sigma_2 [/tex] are real constants and [tex] c = \cos \theta [/tex] and [tex] s = \sin\theta [/tex] for some angle [tex] \theta [/tex]. Plotted, such a function would be a 2D, squeezed Gaussian rotated w.r.t to the x-y axes.
    But your solution may also work in this case and I am pursuing that. Sorry for not being more explicit earlier.
    Last edited: Jan 6, 2006
  6. Jan 7, 2006 #5


    User Avatar
    Science Advisor
    Homework Helper

    How about expanding the kernel in a power series and then solving (approximating) it as per above?

    For example:

    [tex]e^{-((x+y)^2-(x-y)^2)}= 1-4xy+8x^2y^2-\frac{32x^3y^3}{3}+\frac{32x^4y^4}{3}-...[/tex]
  7. Jan 7, 2006 #6
    Thanks for the second reply saltydog; your suggestions mirrors another approach I found in "Methods of Theoretical Physics" by Morse and Feschbach.

    There, the suggestions is to assume the kernel is an expansion of the form

    K(x,y)= \sum_{n=0}^{\infty} h_{n}(x) g_{n}(y)

    where [itex] h_n [/itex] is a complete set of functions and [itex] g_n(y) [/itex] is the corresponding coefficient. Substituting this forumal in yields

    \psi_n(x) = \lambda^{-1} \sum_{n} A_n h_n(x)


    [tex] A_n = \int dy g_n(y) \psi_n(y) [/tex]

    Inserting the series expansion for [itex] \psi_n(y) [/itex] yields

    A_n = \sum_p \alpha_{np} A_p

    which is a set of simultaneous equations for the [itex] A[/itex]'s with coefficients
    [tex] \alpha_{np} = \int dy g_n(y) h_p(y) [/tex]

    This can then converted into the usual eigenvalue problem.
    And for a judicious selection of the original functions, the problem can be made relatively easy. For example, in the case of the Gaussian, a diagonal basis using the Hermite functions (Hermite polynomials times a Gaussian) is a good choice, since

    [tex] \alpha_{np} = a_{nn} \delta_{pn} [/tex]


    [tex] \psi_n(x) = h_n(x) [/tex]

    I think your suggestions of a power series would be somewhat similar.

    Thanks to everyones help.

    BTW, there may be some mistakes in the above.
    Last edited: Jan 7, 2006
  8. Jan 7, 2006 #7


    User Avatar
    Science Advisor
    Homework Helper

    I used the wrong equation last night. Consider a kernel of the form:


    and expand it out to 6 terms in a Taylor series:

    e^{-((x+y)^2+(y-x)^2)}&=1-2x^2+2x^4-\frac{4x^6}{3} \\
    &+\left(-2+4x^2-4x^4+\frac{8x^6}{3}\right)y^2 \\

    I've attached plots of the kernel and its 6-term Taylor equivalent. As you can see they are similar in a region about the origin; the kernel rapidly decays beyond this. Can one then solve the related homogeneous Fredholm equation:


    where T(x,y) is the Taylor expansion of K(x,y)

    and obtain an approximate solution to the unbounded case?

    Would the accuracy improve as more terms are added and the limits of integration are expanded. No?

    I suspect all of this can be analyzed from the perspective of integral operators in Hilbert Space and it's completeness thereof.

    Anyway Beau (how about I just call you that?), I've read your post above and will look into more. Thanks.

    Attached Files:

  9. Jan 7, 2006 #8
    Thanks saltydog, I really like your approach of expanding the kernel. I would think that it is a very general and useful method for use with many other kernels too.

    I'm not sure how to solve the remaining integrals, perhaps by using a Taylor series expansion of u(x)? If this was truncated at the same order as [itex] K [/itex] then maybe coefficients of like powers could be equated. Maybe. I'll check my new favorite book by Morse and Feschbach (which incidently is selling for almost $1000 on Amazon!)

    Thanks for your help. I'll let you know how things turn out.
  10. Jan 8, 2006 #9


    User Avatar
    Science Advisor

    Just define new variables:
    [tex]u=cx+sy,\ v=sx-cy[/tex]
    It's separable in those variables. This just represents a rotation of the axes by an angle of theta.
  11. Jan 8, 2006 #10


    User Avatar
    Science Advisor
    Homework Helper

    Hello Krab.

    I don't understand how to make that substitution for the rest of the equation: the u(y)dy part of the integral in particular. Also, how would the left-hand side change as well? Might you explain a little further please?:confused:
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?

Similar Discussions: Fredholm Integral of Second Kind, Eigenvalues