Understanding Smooth Solutions to PDEs

[waht]

What exactly is a smooth solution to PDEs. I couldn't find the definition in my books, googled that and came up empty handed. I suspect the solution must be continuous with all the deriviatives.

 

[AiRAVATA]

You are right. A function is said to be smooth if all its derivatives are continous. The vector space of such functions is denoted C^\infty(\Omega), where \Omega is the domain where the function is defined.

I don't believe there is a formal definition of smoothness, but in general, when a text is talking about a smooth function, is implying that the function has as many continuous derivatives (not necesarily all) required for something to occur.

 

[waht]

Thanks a lot.

 

[HallsofIvy]

The "formal" definition of "smooth" that I have seen is "first derivative is continuous". I have also seen the phrase "sufficiently smooth" meaning as many continuous derivatives as you need.

 

[Chris Hillman]

Hi all, the standard definition of "smooth" (without qualification) in most textbooks on manifold theory is indeed that derivatives of all orders exist and are continuous. Examples include bump functions (as in partitions of unity) and frequency components of wave packets. Contrast real analytic solutions, which are far more "rigid"!

But Halls is also right, in the sense that many books/papers refer to "smooth of order such and such", or even "sufficiently smooth", meaning what AiRAVATA said: sufficiently smooth (usually short for "derivatives exist to order n and are continuous to order n-1") to ensure you can use whatever theorem you plan to quote in a proof.

 

[Feynman]

It depend if your are working on Sobolev sapces or others