2020 Fiscal Year Research-status Report

ウェーブレット理論に基づく臨界型関数不等式の変分解析

Research Project

Project/Area Number	20K03676
Research Institution	Kanazawa University
Principal Investigator	和田出秀光金沢大学, 機械工学系, 准教授 (00466525)
Project Period (FY)	2020-04-01 – 2025-03-31
Keywords	関数不等式 / Trudinger-Moser不等式 / 極大関数 / 楕円型偏微分方程式
Outline of Annual Research Achievements	Trudinger-Moser の不等式は, Sobolev の定理の臨界ケースを特徴付ける関数不等式の1 つである. 特に, 臨界Sobolev 空間上のTrudinger-Moser型不等式として, 斉次型不等式と非斉次型不等式の2種類が知られている.本研究課題の1つは, 関数不等式に付随する最良定数を達成する極大関数の存在・非存在を明らかにすることである. これらの不等式に対する極大関数は, 対応するEuler-Lagrange方程式を介して, 指数型非線形項を持つ非線形楕円型偏微分方程式の正値解の存在を意味し, その観点において, 関数不等式に付随する最大化問題の考察は重要な意義があると認識する. 具体的に, 斉次不等式と非斉次不等式において, 極大関数の存在・非存在に差異が生じていることが分かった. このような差異を引き起こす理由を明らかにし, 極大関数が存在するための本質的な条件をある程度明確にすることに成功した. ここでは, Trudinger-Moser 型不等式を例に挙げたが, 同不等式に留まらず, 種々の関数不等式に対して同様の最大化問題を考察し, 極大関数を介する楕円型偏微分方程式の構造解析を統一的観点から進めているところである. 具体的に, Sobolev 空間など関数空間を特徴付ける関数不等式と関数不等式の最良定数を達成する関数(極大関数) が満たす楕円型偏微分方程式の可解性の関連性を明らかにし, 軸に密接に関連していることが分かる. しかし,これらの分野に対する解析手法を総合的に考察し, 統一的観点からそれらの見直しを図っているところである.
Current Status of Research Progress	Current Status of Research Progress 2: Research has progressed on the whole more than it was originally planned. Reason Trudinger-Moser の不等式は, Sobolev の定理の臨界ケースを特徴付ける関数不等式の1 つである. 特に, 臨界Sobolev 空間上のTrudinger-Moser型不等式として, 斉次型不等式と非斉次型不等式の2種類が知られている.本研究課題の1つは, 関数不等式に付随する最良定数を達成する極大関数の存在・非存在を明らかにすることである. これらの不等式に対する極大関数は, 対応するEuler-Lagrange方程式を介して, 指数型非線形項を持つ非線形楕円型偏微分方程式の正値解の存在を意味し, その観点において, 関数不等式に付随する最大化問題の考察は重要な意義があると認識する. 具体的に, 斉次不等式と非斉次不等式において, 極大関数の存在・非存在に差異が生じていることが分かった. このような差異を引き起こす理由を明らかにし, 極大関数が存在するための本質的な条件をある程度明確にすることに成功した. ここでは, Trudinger-Moser 型不等式を例に挙げたが, 同不等式に留まらず, 種々の関数不等式に対して同様の最大化問題を考察し, 極大関数を介する楕円型偏微分方程式の構造解析を統一的観点から進めているところである. したがって, 当初の研究課題について部分的にはすでに明らかになった点があり, その意味で現在までのところの研究状況はおおむね順調に進展していると判断する.
Strategy for Future Research Activity	Sobolev の定理は, Lebesgue 空間とSobolev 空間の包含関係を示すものであるが, それは対応する関数不等式により保障される. また, このような関数不等式がある場合, 不等式に付随する最良定数が存在するわけであるが, その最良定数を達成する関数, 即ち, 極大関数が存在するかどうかという問題を考えることは自然である. 一般に, このような最大化問題の解である極大関数は,対応するEuler-Lagrange 方程式として現れる非線形楕円型偏微分方程式のエネルギー最小解であることが分かる. この観点において, 関数不等式に対し, 同不等式の最良定数を達成する関数の存在,非存在を調べることは, それに付随する偏微分方程式の可解性の考察と密接に関連する.これらのことを踏まえ,具体的な最大化問題及び同問題を考察する. また, 関数不等式及びそれに付随するEuler-Lagrange 方程式という意味において, 実解析, 楕円型偏微分方程式は互いに密接に関連するが, この2つの分野を統一的観点から見直すことにより, 両者の研究推進の相乗効果を図ることを念頭におき研究を進めているところである. 関数不等式という観点から具体的に述べると, 現在進行中の研究課題として, 具体的な関数空間を与えるのではなく, 考え得る関数空間が持つ本質的な性質を抽出し, 関数不等式を包含する抽象的な補間不等式を構築を進めているところである. このような抽象的な関数不等式を整備することは, これまでに得られた関数不等式を包含するに留まらず, 類似の関数不等式に内在する共通の性質を明らかにすることになると期待する.
Causes of Carryover	コロナ禍のため、当初予定していた出張のほとんどがキャンセルされたため、旅費の支出が少なかったことが主要な理由である。次年度も同じ状況が続くことが予想されるため、旅費に限らず物品費、説備品費など研究課題遂行のために必要なものに当初の旅費として使用予定の額を移行する予定である。