Is this licit or valid?

  • Thread starter eljose
  • Start date
  • #1
492
0
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.
 

Answers and Replies

  • #2
HallsofIvy
Science Advisor
Homework Helper
41,847
966
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!
 
  • #3
AKG
Science Advisor
Homework Helper
2,565
4
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:
  • #4
AKG
Science Advisor
Homework Helper
2,565
4
[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:
  • #5
492
0
HallsofIvy said:
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!

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
 
  • #6
matt grime
Science Advisor
Homework Helper
9,420
4
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.
 

Related Threads on Is this licit or valid?

Replies
6
Views
3K
Replies
1
Views
2K
  • Last Post
Replies
1
Views
7K
  • Last Post
Replies
2
Views
2K
  • Last Post
Replies
8
Views
3K
  • Last Post
Replies
2
Views
2K
  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
1
Views
2K
Top