- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
数学物理方程Equations of mathematical physics 姚志远 南京航空航天大学航空宇航学院 Zyyao@nuaa.edu.cn § 3 格林函数 1、格林函数及其性质 上具有一阶连续偏导数的函数u,我们 对于在区域 中调和、在 有 其中点 考虑定解问题 其解记为 (3.1) ,是 上的调和函数。 (2.6) 由格林第二公式,得到 将上式与(2.6)式相减,得到 其中, (3.2) 上 由于在 称为方程(1.1)狄利克莱问题的格林函数。 (3.3) ,有 (3.4) 趋向无穷大,其阶数和 性质1 格林函数 时, 除 外处处满足方程(1.1),而当 相同。 性质2 在边界 上格林函数 恒等于零。 性质3 在区域 中成立不等式: 性质4 格林函数 有 在 及参变量 之间具有对称型,如果 性质5 2.静电源像法 设K是以O为球心,半径为R的球面。 假设 是K内的一点, 是相应的对称点,有 因此 格林函数 是K上的一点,有 (3.6) 注意到 因此狄利克莱问题(1.1),(1.7)的解为 (3.8) 同样,可得半空间上的格林函数 相应的狄利克莱解为 同样,可得圆上的格林函数 相应的狄利克莱解为 (3.13) 3.解的验证 格林函数 当 在圆周取值时, 验证函数u满足边界条件(3.12) 是调和函数。又(3.13)为普通积分,所以解(3.13)为调和函数。 在圆内关于 由性质5 对于(3.13) 由于 连续,对于任意给定的 存在 使得 所以有 成立 分积分区间为三部分: 在这三部分的积分值记为 于是 考虑 在 上 假设 有 类似有 注意: 有 5.调和函数的基本性质 定理3.1(哈那克(Harnack)第一定理) 如果函数序列 中的每个函数在某有限区域 中都是调和函数,在必区域 上连续,而且在 上一致收敛,则它在 中也一致收敛,并且极限 函数u在区域 中也是调和函数。 证明:假设 是调和函数 在 上的值。 使得 成立 由极值原理有 函数u在区域 中也是一致收敛的。 在区域 中任取一点 ,以 为中心作球 在此球上,有 令 所以函数u是调和函数。 有 定理3.2(哈那克(Harnack)第一定理) 假设函数序列 是 上的单调不减函数序列,若它在 的某一点收敛, 收敛,则它在 中处处收敛一个调和函数u,并且这种收敛 中任意 闭子区域上是一致的。 证明:作以 为球心、半径为 的球 。 假设 是 上的任意一点。 对 的任意调和函数u有 若 有 有 有 注: 收敛,那么 有 一致收敛。则收敛于一个调和函数。 再利用有限覆盖定理可证明 在 内处处收敛于调和函数u。 收敛,那么 一致收敛。则收敛于一个调和函数。 定理3.3 设u为区域 中的非负调和函数,则对 任意闭子集 ,存在仅与 有关的正常数 ,使得 (3.23) 定理3.4(可去奇点定理) 设 在点 的邻域中除点 外是调和函数,在 附近成立 (3.24) 则总可以重新定义函数u在 的值使得 在整个 的邻域是调和的。 证明: 设 是一个以 为心、半径为 的球,它包含在所考察的邻域内。 定义 记 ,则 而在球面上为零。 有 在点 的邻域中除点 外是调和函数。 作 具有如下性质 1.在球面上 2.在球壳 ,在球面内 内是调和函数。( ) 对任意的 使得 2.令 固定 有 推论 如果 是调和函数的孤立奇点, 那么 在 附近趋向无穷大的阶数 不会低于 定理3.5(调和函数的解析性定理) 设 是区域 内的调和函数,那么它在 中关于自变量 的解析函数。 * *
文档评论(0)