解析函数の空間における微分方程式の研究へのエネルギー評価の導入

点击翻译按钮获取中文摘要

佐藤超函数(解析函数)の枠組、ウルトラディストリビューション(Gevrey族)の枠組及びディストリビューション(C^∞函数)の枠組で、エネルギー評価の観点から統一的に(擬)微分作用素の局所可解性を取り扱い、例として主部がD_1^2+・・・+D_<n-1>^2+x_n^2D_n^2である作用素に対して、それぞれの枠組における局所可解性のための必要条件・十分条件を与えた。ディストリビューションの枠組では、局所可解性の研究においてエネルギー評価が非常に有効な手段であることは古くから知られていた。また佐藤超函数の枠組に対しては"Classical Microlocal Analysis in the Space of Hyperfunctions, Springer Lecture Notes in Math.vol.1737"において、如何にエネルギー評価を用いればよいかを示した。今年度の研究においてウルトラディストリビューションの枠組においても同様の取り扱いが可能であることを示した。感覚的な言い方をすれば局所可解性の研究はディストリビューションの枠組で考えることが一番難しく、不確定性原理に基づくエネルギー評価法を発案し用いることにより、不十分ではあるが、ディストリビューションの枠組においても局所可解性の十分条件を得た。今年度の後半は、双曲型方程式系に対するCauchy問題のC^∞適切性についても研究した。、特に主部が定係数である1階双曲系に対して非常に制限された条件の下ではあるが、C^∞適切性のための必要十分条件を得た。この結果は作用素の行列式が比較的簡単に定義される場合のものであり、一般の状況で如何に行列式を定義すれば良いかについても考察した。しかし個別の例に対して行列式を定義したにすぎず、不十分な結果に終わってしまった。今後の発展につなげたいと思う。