Prooving General Function PDE: u_t = u_xx

[Mechmathian]

Homework Statement

Does anyone know of how to proove that the solution of the differential equation u_{t} = u_{xx} is f(x+t)+ g(x-t) in general functions.

Homework Equations

The Attempt at a Solution

It is a pretty easy problem for normal functions, but i have no clue of how to do it in general ones!

 

[Mechmathian]

Sorry, the equation is u_{tt} = u_{xx}

 

[quasar987]

Notice that with the change of variable a=x+t, b=x-t, the equation becomes u_ab=0, and is then easily solved by integrating twice.

 

[Coto]

This equation is known as the wave equation.. It has several methods of solution including separation of variables, method of characteristics, and method by reduction to canonical form as quasar987 mentioned.

The easiest by far would be quasar's suggestion, and the hardest would be separation of variables since you have to interpret the solution carefully.

By making a change of variables as suggested above, use the chain rule to write u_xx and u_tt in terms of u_aa and u_bb, etc. You end up with u_ab = 0 as quasar has mentioned. Now solve by integration and substitute back in a and b.

 

[Mechmathian]

Thank you for the answers, but I do not think that you take in account the fact that we are looking for solutions in GENERAL functions! What does it mean to inegrate general functions, what does it mean to substitute variables?? I think that it is much more complex then what you are saying.

 

[quasar987]

Certainly, f(x+t)+ g(x-t) does not solve u_{tt} = u_{xx} for EVERY f and g... For starters, they have to be at least twice differentiable for the statement to even make sense.

So maybe you're misinterpreting the question to some degree.

 

[Mechmathian]

I'm sorry, maybe I am mistaking on the terms.. A general function is a functional on D- the finite, infinitely differentiable functions

 

[Coto]

You'd be surprised.. it actually is exactly as we say. Remember the chain rule? We have a = x + t and b = x - t. So a = a(x,t), b = b(x,t). Now what are u_xx and u_tt. Well in order to do this you need to use the chain rule to write u_xx and u_tt in terms of u_aa, u_bb, u_ab, u_a, and u_b with coefficients which depend on the derivatives of a and b with respect to x and t.

After all said and done you end up with a canonical form u_ab = 0. Integrating w.r.t. a and b gives u = F(a) + G(b). => u = F(x+t) + G(x-t) as required.

 

[quasar987]

Ah, you mean generalized functions.

 

[Mechmathian]

Yeah)) Sorry!

 

[quasar987]

Can't help you then, sorry.

 

[Coto]

The question seems a bit off. Generalized functions don't seem to naturally pop up here. They do more so for the heat equation.. or PDEs where you encounter kernels more often.

 

[Mechmathian]

What I wrote is definitely true..
The other problem on this theme that was given to us is:

Is it true that a solution of u_{t}= u_{x} in generalized functions looks locally like f(t+x)?

 

[Mechmathian]

Does anyone even know a book, where I could read about those knids of problems!?