"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.
|Number of Pages||152|
|Country of Manufacture||India|
|Product Brand||Südwestdeutscher Verlag für Hochschulschriften|
|Product Packaging Info||Box|
|In The Box||1 Piece|
|Product First Available On ClickOnCare.com||2015-07-28 00:00:00|