0
$\begingroup$

Or are there counterexamples? Especially some that are not quite artificial by e.g. taking the limit of a PDE series?

  • 0
    If you have something explicitly in your hand, then of course whatever it is you have exists. (That the thing you have is actually a solution is of course something you need to prove somehow).2012-11-05

1 Answers 1

2

The short answer is, as noted by Henning, yes. If you have the analytical expression of a solution, then you have a solution. This is maybe the best scenario.

What you do not have is whether there are also other solutions to the problem. How can you be sure you have all possible solutions?

Often it is also difficult to see properties of solutions if the formula is complicated. But in most cases, even for simple ODEs, we are not able to write out the exact solution. It is more the lucky special case if you have one.

  • 0
    Good point about the lack of completeness, although a mere prove of existence will of course also not reveal that...2012-11-05