1.2弱解的存在性 1.2.1Lax-Milgram定理 定理1（Lax-Mi lgram定理)：设 B:H×H→R 是一个双线性泛函，它具有 (i)有界性，即存在常数α>0，使得 |B[u,wl≤a‖ullv, u,v∈H; (ii)强制性，即存在B>0,使得 B‖u2≤B[u,u, u,v∈H. 则对任意有界线性泛函f:H→R,存在唯一的u∈H,使得 Blu,v]=(f,v), Vv∈H. (1.11)1.2弱解的存在性 1.2.1 Lax-Milgram定理 定理1（ Lax-Milgram定理）：设 是一个双线性泛函，它具有 （i）有界性，即存在常数 ，使得 （ii）强制性，即存在 ，使得 则对任意有界线性泛函 ，存在唯一的 ，使得   0   0 f H:  u H 