k阶sobolev不等式的证明.docxVIP

k阶sobolev不等式的证明 Sobolev 不等式是关于函数的重要的性质的数学结论，由苏西里瓦·托尔斯泰·索博列夫（Sergei Sobolev）所提出。对于k ≥ 1的自然数k来说，Sobolev 不等式定义为： $$ \left \|f \right \|_{H^k(\Omega )} \leq c\left ( \left \|f \right \|_{L^{\infty}(\Omega )} + \left \|f \right \|_{L^2(\Omega)} + ... + \left \|f^{(k)} \right \|_{L^2(\Omega)} \right )$$ 其中，$H^k(\Omega )$是k次Sobolev空间的模型空间，$f$是定义在$\Omega$上的函数，$f^{(k)}$是$f$的次数为$k$的导数，$c$为某个正实常数. Sobolev不等式可以说是关于高阶导数内质函数及其空间结构之间关系的数学结论。它用于证明函数范数限制，解决不在Lp范数中的函数问题，并弹性形状变换。 Sobolev不等式实际上也是一种范数表示，表示f关于参数的不同导数的范数之和的一种较弱的界。它是一种有效的计算方法，可以对函数范数的变化进行估计，并反映函数的一般性属性。 无论是二阶sobolev不等式还是高阶sobolev不等式，证明的大体框架都是一样的。基本步骤是： 一、利用复数分析，把所要证明的sobolev不等式改写成复平面上的谱下积分形式； 二、联系右半边谱和左半边谱，使右半边谱蕴含着原来欲证之sobolev不等式。 其中，$\hat{f}(\xi )$是f的傅里叶变换； 联系右半边谱和左半边谱，可让右半边谱取得最大值： 将最大值代入谱的形式，可得： 将傅里叶变换的表达式换回原函数，可得： 把上式再化简一下，可以得到： $$c=2^{\frac{k-1}{2}} \left ( \int_{{-\infty}}^{+\infty}{\left |t \right |^{2\times k} dt} \right)^{\frac{1}{2}}$$ 的正常数。 由此可以看出，通过复数分析，将k阶sobolev不等式改写成复平面上的谱形式，接着联系右半边谱和左半边谱，使右半边谱取得最大值，再将最大值替换回原函数，可以证明出k阶sobolev不等式。