| Project/Area Number |
20J11497
|
|---|
| Research Category |
Grant-in-Aid for JSPS Fellows
|
| Allocation Type | Single-year Grants |
|---|
| Section | 国内 |
|---|
| Review Section |
Basic Section 12020:Mathematical analysis-related
|
|---|
| Research Institution | The University of Tokyo |
|---|
Principal Investigator |
高瀬 裕志 東京大学, 大学院数理科学研究科, 特別研究員(DC2)
|
|---|
| Project Period (FY) |
2020-04-24 – 2022-03-31
|
| Project Status |
Completed (Fiscal Year 2021)
|
| Budget Amount *help |
¥1,900,000 (Direct Cost: ¥1,900,000)
Fiscal Year 2021: ¥900,000 (Direct Cost: ¥900,000)
Fiscal Year 2020: ¥1,000,000 (Direct Cost: ¥1,000,000)
|
|---|
| Keywords | 逆問題 / 双曲型偏微分方程式 / 幾何解析 / ローレンツ多様体 / 波動方程式 |
|---|
| Outline of Research at the Start |
時間依存する係数をもつ双曲型偏微分方程式について，波源項や方程式の係数を決定する逆問題，及び解の局所的な一意性を保証する一意接続性定理に関して完全な解決が待たれている．そこで本研究では曲がった時空間を記述するローレンツ多様体上での波動方程式に対し微分幾何学を取り入れた解析手法を用いることで，これらの課題に対し統一的なアプローチを用い一意性及び安定性を証明する．
|
| Outline of Annual Research Achievements |
まず空間二次元における波動方程式のコーシー問題を考察した．時間軸も含めた3次元ユークリッド空間上の円柱面に斉次コーシーデータを与えたときのコーシー問題に対し，解の一意性が破綻する非自明な解が無限個存在することを証明した．円柱面の近傍の有界な円環領域を加算無限個に分割し，ベッセル関数の漸近解析と１の分割を用いて構成的に証明した．さらに構成した無限個の非一意解が，光学迷彩の一種であるクローキング技術に応用できる可能性を示唆した．
次に時間依存する係数を含む一階の非退化双曲型偏微分方程式の波源項決定逆問題及び係数決定逆問題に対し，大域リプシッツ型安定性を証明した．係数が生成するベクトル場に対し散逸性という概念を新たに導入しカーレマン評価を確立した．しかしながら本成果は係数の時間依存性に強い仮定を課しており，これを取り除けるか検証することは今後の課題である．また主要部の係数が時間のみに依存する一階の退化双曲型偏微分方程式に対し，カーレマン評価を確立し可観測性評価を証明した．方程式及びその解を正則性を保ったまま時間負方向へ拡張することで，退化型方程式に対しても大域カーレマン評価を確立する手法を開発した．
最後に主要部が連立する強連立型の一階の対称双曲型偏微分方程式に対し，カーレマン評価を確立し可観測性評価を証明した．もともと二階の方程式に対し用いられる第二パラメーターを導入することで大域カーレマン評価を確立し，強連立型方程式においても従来の手法が適用できることを解明した．
|
| Research Progress Status |
令和3年度が最終年度であるため、記入しない。
|
| Strategy for Future Research Activity |
令和3年度が最終年度であるため、記入しない。
|
