Numerical verification for nonlinear equations including a principal value integral
| Project/Area Number |
14550057
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Engineering fundamentals
|
|---|
| Research Institution | TEMThe University of Tokyo |
|---|
Principal Investigator |
MURASHIGE Sunao The University of Tokyo, Graduate School of Frontier Science, Associate Professor, 大学院・新領域創成科学研究科, 助教授 (40302749)
|
|---|
| Project Period (FY) |
2002 – 2003
|
| Project Status |
Completed (Fiscal Year 2003)
|
| Budget Amount *help |
¥2,200,000 (Direct Cost: ¥2,200,000)
Fiscal Year 2003: ¥600,000 (Direct Cost: ¥600,000)
Fiscal Year 2002: ¥1,600,000 (Direct Cost: ¥1,600,000)
|
|---|
| Keywords | Numarical verification / Singular integral equation / Nonlinear equation / Bifurcation / Interval analysis / 精度保障付き数値計算 |
|---|
| Research Abstract |
It is needless to say that numerical calculation is required to solve mathematical models in the field of engineering and science. We try to obtain approximate solutions using numerical calculation. Then error estimate is very important, in particular for nonlinear problems. The main subject of this project is development of the numerical verification method which is rigorous estimation of errors included in numerical solutions using computers.
This work considered the numerical verification method of solutions of nonlinear, periodic and singular integral equation which can be often found in the two-dimensional potential problems in elastic body theory, fluid mechanics, acoustics, electromagnetism, and so on. The basic idea is to transform an original equation into a fixed point form, to set a suitable function space, and to apply Schauder's fixed point theorem. The neighbourhood of approximate solutions is given by product of the finite dimensional part and the truncated part. The fixed point theorem guarantees that exact solutions exist in the neighbourhood under some conditions. As an example, Nekrasov's integral equation for water waves is investigated. It was found that solutions of this equation can be verified using the proposed method for the case of moderate wave height. When the wave height is large, this method did not work due to computational complexity. This problem remains as a future work.
Also this work considered numerical verification of bifurcation points, in particular double turning points. The necessary and sufficient conditions for existence of the bifurcation points and the verification method using them are shown.
|
Report
(3 results)
Research Products
(16 results)
