Chapter 1 Linear Elliptic Equations In this chapter, we review briefly three basic topics in the theory of lin- ear elliptic equations: the maximum principle, Krylov-Safonov's Harnack inequality, and the Schauder theory. In Section 1.1, we review Hopf's maximum principle. The maximum principle is an important method to study elliptic differential equations of the second order. In this section, we review the weak maximum principle and the strong maximum principle and derive several forms of a priori estimates of solutions. In Section 1.2, we review Krylov-Safonov's Harnack inequality. The Harnack inequality is an important result in the theory of elliptic differential equations of the second order and plays a fundamental role in the study of nonlinear elliptic differential equations. In Section 1.3, we review the Schauder theory for uniformly elliptic linear equations. Three main topics are a priori estimates in Holder norms, the regularity of arbitrary solutions, and the solvability of the Dirichlet problem. Among these topics, a priori estimates are the most fundamental and form the basis for the existence and the regularity of solutions. We will review both the interior Schauder theory and the global Schauder theory. These three sections play different roles in the rest of the book. In the study of quasilinear elliptic equations in Part 1, the maximum principle will be used to derive estimates of derivatives up to the first order, the Harnack inequality will be used to derive estimates of the Holder semi- norms of derivatives of the first order, and the Schauder theory will be used 由扫描全能王扫描创建
由 扫描全能王 扫描创建
8 1.Linear Elliptic Equations to solve the linearized equations.In the study of fully nonlinear elliptic equtions n Part2,the maximum principle will be used to derive estimates of derivatives up to the second order,the Harnack inequality will be used to derive estimates of the Holder semi-norms of derivatives of the second order and the Schauder theory will be used to solve the linearized equations. It is not our intention to present a complete review of the linear theory. Notably missing from this short review are the W2.P-theory for linear equa- tions of the nondivergence form and theHtheory and the de Gorgi-Moser theory for linear equations of the divergence form.Refer to Chapters 2-9 of (59]for a complete account of the linear theory. 1.1.The Maximum Principle The maximun principle is an important method to study elliptic differential equtions of the second order.In,we review the weak maximum principle and the strong maximum principle and derive several forms of a priori estimates of solutions.Refer to Chapter 3 of [59]for details. Throughout this section,we let be a bounded domain in Rn and let eeaicen7waenaenaa融y-od (1.1.1) Lu aijdiju+bidiu+cu in s, for any uC2().The operator L is always assumed to be strictly elliptic in;namely,for any x∈nandξ∈Rm, (1.1.2) a4(x)5≥A|2, for some positive constant.For later reference,Lis callednformlyelliptic if,for any x∈nandξ∈R", (1.1.3) A52≤a(x)5i≤A512, for some positive constants A and A,which are usually called the ellipticity constants. 1.1.1.The Weak Maximum Principle.In this subsection, we review the weak maximum principle and its corollaries.We first introduce subso lutions and supersolutions. Definition 1.1.1.For some f C(),a C2()-function u is called a sub solution (or supersolution)of Lw f if Lu f (or Lu f)in S. If aij =6ij,bi=c=0,and f=0,subsolutions (or supersolutions)are subharmonic (or superharmonic) Now we prove the weak maximum principle for subsolutions.Recall that u+is the nonnegative part of u,defined by ut=maxto,u. 由扫描全能王扫描创建
由 扫描全能王 扫描创建
1.1.The Maximum Principle 9 Theorem 1.1.2.Let be a bounded domain in R"and L be given by (1.1,for somei(()satisfving i and (1.1.2).Suppose that C()()satisfies Lu0 in Then,u attains onon its nonnegative marimum in S;i.e., mgxw≤xu+, Proof.We first consider the special case Lu >0 in If u has a local nonnegative maximum at a point o in then u(o)0,Vu(o)=0, and the Hessian matrix ((is negative semi-definite.By (1.1.),the matrix (a(xo))is positive definite.Then, Lu(xo）=(aaju+b:8,u+cu)(xo)≤0. This leads to a contradiction.Hence,the nonnegative maximum of u in is attained only on on. Now we consider the general case Lu>0 in For any e>0,consider w(z)=u(x)+Eeu=i, where uis a positive constant to be determined.Then, Lw=Lu se"i (anlu2+bu+c). Since b1 and c are bounded and a1 >A>0 in by choosing >0 large enough,we get a1142+b14+c>0in2 This implies Lw>0 in By the special case we just discussed,w attains its nonnegative maximum only on on and hence, xw≤器w+ Then mgxu≤mxw≤rxw+≤器xw+exe We have the desired result by letting e0 and using the fact that on c. 0 If c=0 in we can draw conclusions about the maximum of u rather than its nonnegative maximum.A similar remark holds for the strong max- imum principle. A continuous function in always attains its maximum in D.Theorem 1.1.2aserts that any subo upto the boundary attainsits maximum on the boundary an,but possibly also in Theorem 1.1.2 is 由扫描全能王扫描创建 ▣
由 扫描全能王 扫描创建
10 1.Linear Elliptic Equations referred to as the weak maximum principle.A stronger version asserts that subsolutions attain their maximum only on the boundary,unless they are constant. As a simple consequence of Theorem 1.1.2,we have the following result Corollary 1.1.3.Let be a bounded domain in Rm and L be given by （1.1,for some a,b,c∈L()nC(2)satisfying c≤0nand (1.l.2).Suppose that u∈C()nC2()satisfies Lu≥0 in and u≤0on an.Then,u≤0inn. More generally,we have the following comparison principle. Corollary 1.1.4.Let be a bounded domain in R and L be given by (1.l.1),for some aij,b,c∈L(2)nC(）satisfying c≤0 in n and (1.1.2).Suppose that u,v∈C(①)nC2()satisfy Lu≥Lv in and u<u onan.Then,u≤vinn. The comparison principle provides a reason that functions u satisfying Lu≥fare alled subsolutions.They are less than a solution v of Lv=f with the same boundary value. In the following,we simply say by the maximum principle when we apply Theorem 1.1.2,Corollary 1.1.3,or Corollary 1.1.4. A consequence of the maximum principle is the uniqueness of solutions of Dirichlet problems. Corollary 1.1.5.Let S be a bounded dom ain in Rn and L be given by (1.1.1),for some a4j,bi,c∈L∞()nC(）satisfying c≤0 in and (1.1.2).Then for any fC()and C(8s),there exists at most one solution uEC()nC2(S)of Lu=f in, u=on 8n. 1.1.2.The Strong Maximum Principle.The weak maximum principle asserts that subsolutions of linear elliptic equations attain their nonnegative maximum on the boundary under suitable conditions.In fact,these subso- lutions can attain their nonnegative maximum only on the boundary,unless they are constant.This is the strong maximum principle. For any Cl-function u in that attains its maximum on 80,say at zoas,we have(o)20,where v is the exterior unit normal to at zo.The Hopf lemma asserts that this normal derivative is in fact positive if u is a subsolution in Theore m 1.1.6.Let B be an open ball in R"with o EB and L be given by (1.1.1),for some aij,bi,c L(B)nC(B)satisfying c<0 in B and 由扫描全能王扫描创建
由 扫描全能王 扫描创建
1.1.The Maximum Principle 11 (1.1.2).Suppose that uC(B)C2(B)satisfies LuinB,u(<u() for any x∈B,andu(xo)≥0.Then, w>0, where v is the exterior unit normal to B at xo. Proof.Without los of generality,we assume B=Bg for someR.By the continuity of u up to aBr,we have,for any BR, u(x)≤u(xo) For positive constants u and e to be determined,we set w(z)=e-ulzP2-e-uR2 and v(z)=u(z)-u(xo)+Ew(x). We consider w and v in D=BR\BR/2. A direct calculation yields Lw =e[4uazj-2uaijg-2b+c)-ce-R ≥e4e{4u2ax)-2μ(a6+biz)+c, where we used c in BR.By the strict ellipticity (1.1.2),we have a,ez≥AzP≥AR2inD Hence, Luw≥e4eP{u2R2-2u(a46+bz）+c}≥0inD if we chooseμsufficiently large.Byc≤0andu(xo)≥O,we obtain,for any e>0, Lv=Lu+eLw -cu(xo)0 in D. Next,we discussvon in two cases.First,on we have u(< 0,and hence u-u(zo)<-e for some>0,by the continuity of u on Bg/2. Note that w<1 on aBR/2.Then for such an e,we obtain v<on BR/ Second,on aBR,we have w=0 and u<u(o).Hence,v0 on BR and v(xo)=0.Therefore,v<0on 8D. In conclusion,Lv >0 in D andv0 on OD.By the maximum principle, we have v≤0inD 由扫描全能王扫描创建 ▣
由 扫描全能王 扫描创建