規則性理論
微分方程式の弱解について

正則性は、ラプラス方程式などの偏微分方程式（PDE）の数学的研究における主題であり、弱解の積分可能性と微分可能性について論じられている。ヒルベルトの第19問題はこの概念に関するものであった。[1]

この研究の動機は次のとおりです。[2]偏微分方程式を正規の意味で満たす古典解を構築することは難しいことが多いため、最初に弱解を探索し、次にその弱解が古典解として適格なほど滑らかであるかどうかを調べます。

さまざまなタイプの PDE に対していくつかの定理が提案されています。

楕円正則性理論

を の有界な開集合とし、その境界を、変数を と表記する。PDE を の未知の関数に作用する偏微分演算子として表すと、の形の境界積分方程式が得られる。ここでは 与えられた関数であり、楕円演算子はの発散形式である。 あなた {\displaystyle U} R n {\displaystyle \mathbb {R} ^{n}} ∂ あなた {\displaystyle \partial U} × ＝ （ × 1 、 。 。 。 、 × n ） {\displaystyle x=(x_{1},...,x_{n})} L {\displaystyle L} あなた ＝ あなた （ × ） {\displaystyle u=u(x)} × ∈ あなた {\displaystyle x\in U} { L あなた ＝ f で  あなた あなた ＝ 0 の上  ∂ あなた 、 {\displaystyle \left\{{\begin{aligned}Lu&=f&&{\text{in }}U\\u&=0&&{\text{on }}\partial U,\end{aligned}}\right.} f : あなた → R {\displaystyle f:U\rightarrow\mathbb{R}} f ＝ f （ × ） {\displaystyle f=f(x)} あなた : あなた ∪ ∂ あなた → R {\displaystyle u:U\cup \partial U\rightarrow \mathbb {R} } L {\displaystyle L} L あなた （ × ） ＝ − ∑ 私 、 j ＝ 1 n （ 1つの 私 j （ × ） あなた × 私 ） × j + ∑ 私 ＝ 1 n b 私 （ × ） あなた × 私 （ × ） + c （ × ） あなた （ × ） 、 {\displaystyle Lu(x)=-\sum _{i,j=1}^{n}(a_{ij}(x)u_{x_{i}})_{x_{j}}+\sum _{i=1}^{n}b_{i}(x)u_{x_{i}}(x)+c(x)u(x),}

  • 内部正則性: mが自然数の場合、(2)は弱解であり、U内の任意の開集合Vに対してコンパクト閉包(3)が成り立ち、ここでCはU、V、L、mに依存し、これはソボレフの埋め込み定理によりmが無限大の場合でも成り立つ。 1つの 私 j 、 b j 、 c ∈ C メートル + 1 （ あなた ） 、 f ∈ H メートル （ あなた ） {\displaystyle a^{ij},b^{j},c\in C^{m+1}(U),f\in H^{m}(U)} あなた ∈ H 0 1 （ あなた ） {\displaystyle u\in H_{0}^{1}(U)} ‖ あなた ‖ H メートル + 2 （ V ） ≤ C （ ‖ f ‖ H メートル （ あなた ） + ‖ あなた ‖ L 2 （ あなた ） ） {\displaystyle \|u\|_{H^{m+2}(V)}\leq C(\|f\|_{H^{m}(U)}+\|u\|_{L^{2}(U)})} あなた ∈ H l o c メートル + 2 （ あなた ） {\displaystyle u\in H_{loc}^{m+2}(U)}
  • 境界の正則性: (2)は、仮定と合わせて、(3)がVをUに置き換えた後でも成立することを示している。つまり、mが無限大の場合でも成立する。 ∂ あなた {\displaystyle \partial U} C メートル + 2 {\displaystyle C^{m+2}} あなた ∈ H メートル + 2 （ あなた ） {\displaystyle u\in H^{m+2}(U)}

放物線型正則性と双曲型正則性理論

放物型偏微分方程式と双曲型偏微分方程式は、空間 における楕円型作用素Lと外力fによって支配される量uの時間発展を記述する。U の境界は滑らかであり、楕円型作用素は時間に依存しない滑らかな係数、すなわち u であると仮定する。さらに、 uの境界値は0 とする。 あなた ⊂ R n {\displaystyle U\subset \mathbb {R} ^{n}} L あなた （ t 、 × ） ＝ − ∑ 私 、 j ＝ 1 n （ 1つの 私 j （ × ） あなた × 私 （ t 、 × ） ） × j + ∑ 私 ＝ 1 n b 私 （ × ） あなた × 私 （ t 、 × ） + c （ × ） あなた （ t 、 × ） 。 線形代数行列の関数として、線形代数行列の関数として、u_{t,x} と b_{i} があります。

解の正則性は次の表で示される。

方程式 あなた t + L あなた ＝ f {\displaystyle u_{t}+Lu=f} （放物線） あなた t t + L あなた ＝ f {\displaystyle u_{tt}+Lu=f} （双曲線）
初期条件 あなた （ 0 ） ∈ H × 2 メートル + 1 {\displaystyle u(0)\in H_{x}^{2m+1}} あなた （ 0 ） ∈ H × メートル + 1 、 （ ∂ t あなた ） （ 0 ） ∈ H × メートル {\displaystyle u(0)\in H_{x}^{m+1},\,(\partial _{t}u)(0)\in H_{x}^{m}}
外力 ∂ t k f ∈ L t 2 H x 2 ( m − k ) ( k = 1 , … m ) {\displaystyle \partial _{t}^{k}f\in L_{t}^{2}H_{x}^{2(m-k)}\,(k=1,\dots m)} ∂ t k f ∈ L t 2 H x m − k ( k = 1 , … m ) {\displaystyle \partial _{t}^{k}f\in L_{t}^{2}H_{x}^{m-k}\,(k=1,\dots m)}
解決 ∂ t k u ∈ L t 2 H x 2 ( m + 1 − k ) , ( k = 1 , … , m + 1 ) {\displaystyle \partial _{t}^{k}u\in L_{t}^{2}H_{x}^{2(m+1-k)},\,(k=1,\dots ,m+1)} ∂ t k u ∈ L t ∞ H x m + 1 − k , ( k = 1 , … , m + 1 ) {\displaystyle \partial _{t}^{k}u\in L_{t}^{\infty }H_{x}^{m+1-k},\,(k=1,\dots ,m+1)}

ここで、mは自然数、空間変数、tは時間変数、H s は二乗積分可能な弱導関数を持つ関数のソボレフ空間、L t p Xは積分可能なX値関数 のボホナー空間です。 x ∈ U {\displaystyle x\in U}

反例

すべての弱解が滑らかであるとは限らない。例えば、保存則の弱解には衝撃波と呼ばれる不連続性が存在する可能性がある。[3]

参考文献

  1. ^ Fernández-Real, Xavier; Ros-Oton, Xavier (2022-12-06).楕円偏微分方程式の正則性理論. arXiv : 2301.01564 . doi :10.4171/ZLAM/28. ISBN 978-3-98547-028-0. S2CID  254389061。
  2. ^ エヴァンス、ローレンス・C. (1998). 偏微分方程式(PDF) . プロビデンス (RI): アメリカ数学協会. ISBN 0-8218-0772-2。
  3. ^ スモラー、ジョエル.衝撃波と反応—拡散方程式（第2版）. シュプリンガー・ニューヨーク, NY. doi :10.1007/978-1-4612-0873-0. ISBN 978-0-387-94259-9。
Retrieved from "https://en.wikipedia.org/w/index.php?title=Regularity_theory&oldid=1329885407"