マンガレリの等式とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > マンガレリの等式の意味・解説 

マンガレリの等式

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2017/01/22 08:41 UTC 版)

数学常微分方程式の分野におけるマンガレリの等式(マンガレリのとうしき、: Mingarelli identity)とは、実領域におけるある線型微分方程式の解が振動的であるか非振動的であるかを判別するための条件を与える定理で、フィリップ・ハートマン英語版により名付けられた[1]ピコーンの等式を二つの微分方程式から三つあるいはそれ以上の二階微分方程式へと拡張するものである。ここでは最も基本的な形式のものを紹介する。

等式

t-区間 [ab] 上の二階線型微分方程式系 個の解を考える。ただし である。 は前進差分を表す作用素、すなわち で与えられる作用素とする。二次の差分作用素は、この一次の作用素を のように繰り返すことで得られ、より高次の差分についても同様に定義される。

以下では簡単のために独立変数 t を省略し、(ab] 上では が成立するものとする。このとき、次の等式が成り立つ[2]

ここで 対数微分であり、ロンスキアン二項係数を表す。 のとき、この等式はピコーンの等式となる。

上の等式は三つの線型微分方程式に対して、ただちに以下の比較定理を導く[3]。これはスツルム=ピコーンの比較定理の拡張である。

i = 1, 2, 3 を、区間 [ab] 上の実数値連続関数とし、

を三つの自己随伴形式の二階同次線型微分方程式とし、

が各 i および [ab] 内のすべての t に対して成立するものとし、 は任意の実数とする。

[ab] 内のすべての t に対して、

,
,

の成立を仮定する。このとき、[ab] 上で であり、 であるなら、任意の解 は [ab] 内に少なくとも一つのゼロ点を持つ。

参考文献

  • Clark D.N., G. Pecelli, and R. Sacksteder (1981). Contributions to Analysis and Geometry. Baltimore, USA: Johns Hopkins University Press. 
  • Mingarelli, Angelo B. (1979). “Some extensions of the Sturm–Picone theorem”. Comptes Rendus Math. Rep. Acad. Sci. Canada (Toronto, Ontario, Canada: The Royal Society of Canada) 1 (4): 223–226. 



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「マンガレリの等式」の関連用語

マンガレリの等式のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



マンガレリの等式のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのマンガレリの等式 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS