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

Is this licit or valid?

  1. May 4, 2006 #1
    let,s suppose we have the differential equation:

    [tex] g(x)=y+Dy+D^{2}y+D^{3}y+.................. [/tex]

    D=d/dx, then this is equal to:

    [tex] g(x)= \frac{1}{1-D}y [/tex] or inverting [tex] y=(1-D)g(x) [/tex]

    although this should be the solution it seems too easy to be true..but is that correct?..thanks.
  2. jcsd
  3. May 4, 2006 #2


    User Avatar
    Staff Emeritus
    Science Advisor

    Well, let me see. If you start with a differential equation that is meaningless (or which, at least, you didn't bother to define) then, I guess, any thing you want to say is just as meaningless as the equation!
  4. May 4, 2006 #3


    User Avatar
    Science Advisor
    Homework Helper

    He's defining a function g by

    [tex]g(x) = y(x) + y'(x) + \sum_{k=2}y^{(k)}(x)[/tex]

    Assuming that series converges for each x, g is well-defined. Then, is it true that y(x) = g(x) - g'(x) (assuming g, as defined, is differentiable). This essentially asks if it is true that [itex]g'(x) = y'(x) + \sum_{k=2}y^{(k)}(x)[/itex], i.e. is the rule that 'the derivative of a sum the sum of the derivatives' extendible to the case where the sum is one of infinitely many functions?
    Last edited: May 4, 2006
  5. May 4, 2006 #4


    User Avatar
    Science Advisor
    Homework Helper

    [tex]g'(x) = \lim _{h\to 0}\frac{\sum_{k=0}y^{(k)}(x+h) - \sum_{k=0}y^{(k)}(x)}{h}[/tex]

    [tex] = \lim _{h\to 0}\frac{\lim _{n\to\infty}\sum_{k=0}^ny^{(k)}(x+h) - \lim _{n\to\infty}\sum_{k=0}^ny^{(k)}(x)}{h}[/tex]

    [tex] = \lim _{h\to 0}\frac{\lim _{n\to\infty}\sum_{k=0}^n\left (y^{(k)}(x+h) - y^{(k)}(x)\right )}{h}[/tex]

    [tex] = \lim _{h\to 0}\lim _{n\to\infty}\sum_{k=0}^n\frac{y^{(k)}(x+h) - y^{(k)}(x)}{h}[/tex]

    [tex] = \lim _{n\to\infty}\lim _{h\to 0}\sum_{k=0}^n\frac{y^{(k)}(x+h) - y^{(k)}(x)}{h}[/tex]

    [tex] = \lim _{n\to\infty}\sum_{k=0}^n\lim _{h\to 0}\left (\frac{y^{(k)}(x+h) - y^{(k)}(x)}{h}\right )[/tex]

    [tex] = \lim _{n\to\infty}\sum_{k=0}^n\lim _{h\to 0}y^{(k+1)}(x)[/tex]

    [tex] = \sum _{k=1}y^{(k)}(x)[/tex]

    Are any of these steps unjustified? The only lines I'm not sure about are line 3 (does it need absolute convergence) and line 5.
    Last edited: May 4, 2006
  6. May 6, 2006 #5
    Why should it be meaningless?..is a differential equation of infinite order..Euler Himself worked with this type of equations..for example to solve f(x+1)-f(x)=1 he make a Taylor expansion getting:

    [tex] 1= \sum_{n=0}^{\infty} \frac{y^{n}}{n!} [/tex] (1)

    for wich he gets the solution (in a form of infinite series)

    [tex] y= \sum_{n=0}^{\infty}a_{n} e^{i2\pi i x} [/tex]

    where he concludes that the a(n) must be chosen so the equation (1) is satisfied
  7. May 6, 2006 #6

    matt grime

    User Avatar
    Science Advisor
    Homework Helper

    Euler was notoriously unbothered by convergence issues. You should not be. In what space are you asking for the differential series you give to be convergent? You need at least to specify that the sequence is absolutely convergent for all x, and then the result is easy. So the answer is, I suppose: yes when that is true it is trivially true and when it is false it is false. I.e. when you're allowed to rearrange the summation of g(x) it works when you're not it doesn't.

    Of course, if the differential operator had norm less than 1 then it would be fine in the sense of Banach spaces.
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?