Δεν σας αρέσει; Δεν πειράζει! Μπορείτε να επιστρέψετε προϊόντα έως 30 ημέρες
Δεν θα κάνετε ποτέ λάθος με μια δωροεπιταγή. Χαρίστε στους αγαπημένους σας την επιλογή να διαλέξουν οι ίδιοι οτιδήποτε από τη συλλογή μας.
Έως 30 ημέρες για επιστροφή
"Concerning (partial) differential equations, amongst many others two questions are of great importance: existence and uniqueness, or more general multiplicity of solutions... There are plenty of equations, where analytical methods fail to work." The author describes in this work a computer-assisted method for proving existence and multiplicity of solutions of fourth order nonlinear elliptic boundary value problems. The main idea of this method is to compute a good numerical approximation of a solution and certain defect bounds with computer-assistance. Then a rigorous proof of the existence of an exact solution close to the numerical one is obtained by a fixed-point argument. The efficiency of this method is demonstrated with the examples of the fourth order Gelfand- and Emden-equations on various domains.