2002 Fiscal Year Final Research Report Summary
ALGEBRAIC ANALYTICAL STUDY OF SHEAVES AND INFINITE ORDRE DIFFERENTIAL EQUATIONS
| Project/Area Number |
13640154
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Basic analysis
|
|---|
| Research Institution | CHIBA UNIVERSITY |
|---|
Principal Investigator |
ISHIMURA Ryuichi Chiba Univ., FACULTY OF SClENCES, PROFESSOR, 理学部, 教授 (10127970)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
AOKI Takashi KINKI UNIVERSITY, FAC. SCI. TECH., PROFESSOR, 理工学部, 教授 (80159285)
OKADA Yasunori Chiba Univ., FACULTY OF SClENCES, ADJOINT PROFESSOR, 理学部, 助教授 (60224028)
HINO Yoshiyuki Chiba Univ., FACULTY OF SClENCES, PROFESSOR, 理学部, 教授 (70004405)
TOSE Nobuyuki KEIO UNIVERSITY, FAC. ECON., PROFESSOR, 経済学部, 教授 (00183492)
TAJIMA Shinichi NIIGATA UNIVERSITY, FAC. TECH., PROFESSOR, 工学部, 教授 (70155076)
|
|---|
| Project Period (FY) |
2001 – 2002
|
| Keywords | Algebraic analysis / pseudo-differential equations / infinite ordre differential equations / partial differential equations / Microlocal study of sheaves / differential-difference equations / convolution equations / Cauchy problem |
|---|
| Research Abstract |
The aims of this research were as follows :
[1] To generalize the theorem for Cauchy problem of micro-differential equations in the complex domain, obtained by the head investigator, to the sistem of pseudo-differential equations.
[2] To characterize the automorphism of the sheaf of holomorphic functions by the infinite ordre differential operators, without assuming the continuity.
[3] To generalize the results concerning the existence and the analytic continuation for the single convolution equation in the complex domain to the system.
At first, by using the cohomological method, we have defined a natural class of non-local pseudo-differential operators containing any linear differential-difference operators. And furthermore, we gave the composition of two such operators and also the operation to holomorphic functions. We proved the one to one correspondance between the operators and their symbols and finally, defining the characteristic set for the non-local pseudo-differential operator, we proved the invertibility theorem for the non-local pseudo-differential operator.
|
