设D为中的域且其边界由简单光滑曲线组成。设X为所有函数使得u在D中有连续有界的偏导数ux，uy。若u，v∈X，令

设D为中的域且其边界由简单光滑曲线组成。设X为所有函数使得u在D中有连续有界的偏导数u_x，u_y。若u，v∈X，令

其中ds为弦长度微分。求证上式定义了X上的一个内积。