| Popis: |
A Verified Computation of Fourier-Representations of Solutions for Functional Equations. A generalisation of the functoid concept for the representation of functions in L 2(—π, π), in particular for periodic functions, is introduced. In such so-called hyper functoids the spectrum of a function can be included with arbitrary accuracy. This calculus can be used for example to solve periodical differential and integral equations. An example shows the computed inclusion of the spectrum of a solution. |
