Tham khảo tài liệu 'numerical_methods for nonlinear variable problems episode 11', kỹ thuật - công nghệ, cơ khí - chế tạo máy phục vụ nhu cầu học tập, nghiên cứu và làm việc hiệu quả | 4 Application to the Solution of Elliptic Problems for Partial Differential Operators 387 it follows from and 4 that the boundary integral in reduces to f AVu -npdr Jri where Ti x x xv x2 0 Xj 1 x2 0 implying in turn that reduces to f AVm Vỉ dx f fv dx f AVu nr dr. Jii Jf Jti Combining 5 and and using the second relation we obtain after integrating by parts over r I f AVu Vv dx f fc x1 - x1 0 Xj 0 dxj Jii Jo dXi ỠXi f fvdx f grv dr. Jo Jfi Conversely it can be proved that if holds for every V e tC where C r IV e CZ Q v 0 x2 p l x2 if 0 x2 1 V 0 in the neighborhood of r0 where r0 x x 6 x1 x2 0 xx 1 x2 1 then u is a solution of the boundary-value problem . Relations suggest the introduction of the following subspaces of H1 V r p 6 H Q 11 0 x2 1 1 x2 . 0 x2 1 d dXiXxj 0 e L2 0 1 Kj t IV 6 V v xỵ 1 0 . 0 Xj 1 . Suppose that V is endowed with the scalar product v w y v w Hi fi -J v Xi 0 w x1 0 dxj Jo dxr dXỵ and the corresponding norm IK V 2. We then have the following Proposition . The spaces V and vo are Hilbert spaces for the scalar product and norm defined by and respectively. Moreover the seminorm X1 0 ax-i defines a norm equivalent to the V-norm over pQ. 388 App. I A Brief Introduction to Linear Variational Problems Exercise . Prove Proposition . We now define a bilinear form a V X V - R and a linear functional L V- R by a y w f ÃVtt Vw dx f k x1 v x1 ữ - w x1 ơ dx1 Jq Jo IX ỵ uXỵ L p ĩfvdx f g2vdr Jn Jr respectively. We suppose that the following hypotheses concerning A k f 9i hold mW 01eL2 ri k e L 0 1 k x2 a0 0 . on 0 1 A satisfies . From the above hypotheses we find that a . is bilinear continuous over V X V and vo-elliptic and that L . is linear continuous over V we can therefore apply Theorem of Sec. to prove Proposition . If the above hypotheses on A k f g2 hold and
