龐加萊不等式

數學中,龐加萊不等式(英語:Poincaré inequality)是索伯列夫空間理論中的一個結果,由法國數學家昂利·龐加萊命名。這個不等式說明了一個函數的行為可以用這個函數的變化率的行為和它的定義域幾何性質來控制。也就是說,已知函數的變化率和定義域的情況下,可以對函數的上界作出估計。龐加萊不等式在現代的變分法理論中有重要應用。一個與之相近的結果是弗里德里希不等式(英語:Friedrichs's inequality)。

敘述

經典形式

p是一個大於等於1實數n是一個正整數。 n歐幾里得空間 上的一個有界子集,並且其邊界是滿足利普希茲條件的區域(也就是說它的邊界是一個利普希茨連續函數的圖像)。在這種情況下,存在一個只與 p有關的常數C,使得對索伯列夫空間  中所有的函數u,都有:

 

其中的  指的是Lp空間之中的範數

 

是函數u在定義域  上的平均值,而 指的是區域 勒貝格測度

推廣

在其他的索伯列夫空間上也有與龐加萊不等式類似的結果。比如說,定義空間H1/2(T2)是單位環面T2上的Lp空間傅里葉變換û滿足

 

的函數u所構成的空間,那麼存在一個常數C,使得對於每個H1/2(T2)中的函數u,如果它在單位環面T2的某個開子集上恆等於零,那麼就有

 

其中的  指的是 作為一個R3中的子集的調和容度[1]

龐加萊常數

以上不等式中的常數C的最優值被稱為區域  中的龐加萊常數。確定一個區域的龐加萊常數通常是一個困難的工作,與常數p的值以及區域  的幾何性質有關。在某些特定的條件下,比如已知區域  是一個有界的區域,並且直徑d,那麼當p=1的時候,龐加萊常數至多等於 [2]。而當p=2的時候,龐加萊常數至多等於 [3]。這是只包含直徑d的最佳估計。在維數是一維的時候,有維廷格函數不等式(英語:Wirtinger's inequality)。

然而,在特殊情況下,龐加萊常數C可以被完全確定。例如,當p=2,區域是單位等腰直角三角形的時候,可以得出龐加萊常數 ,這個值嚴格小於估計 ,因為這時 

參見

參考來源

  1. ^ Garroni, Adriana; Müller, Stefan, Γ-limit of a phase-field model of dislocations (PDF), SIAM J. Math. Anal., 2005, 36 (6): 1943–1964 (electronic), doi:10.1137/S003614100343768X [永久失效連結] MR2178227
  2. ^ Acosta, Gabriel; Durán, Ricardo G., An optimal Poincaré inequality in L1 for convex domains (PDF), Proc. Amer. Math. Soc., 2004, 132 (1): 195–202 (electronic), doi:10.1090/S0002-9939-03-07004-7 
  3. ^ M, Bebendorf, A Note on the Poincar´e Inequality for Convex Domains (PDF), Journal for Analysis and its Applications, 2003, 22 (4): 751–756, (原始內容 (PDF)存檔於2012-05-26) 
  • Evans, Lawrence C., Partial differential equations, Providence, RI: American Mathematical Society, 1998, ISBN 0-8218-0772-2 
  • Fumio, Kikuchi; Xuefeng, Liu, Estimation of interpolation error constants for the P0 and P1 triangular finite elements, Comput. Methods. Appl. Mech. Engrg., 2007, 196: 3750–3758, doi:10.1016/j.cma.2006.10.029  MR2340000
  • Payne, L. E.; Weinberger, H. F., An optimal Poincaré inequality for convex domains, Archive for Rational Mechanics and Analysis, 1960: 286–292, ISSN 0003-9527