[论文解读] Two-phase heat conductors with a stationary isothermic surface and their related elliptic overdetermined problems

Shigeru Sakaguchi|arXiv (Cornell University)|May 28, 2017

Advanced Mathematical Modeling in Engineering参考文献 4被引用 6

一句话总结

本文证明了在二维情况下，若一个双相热导体的壳层中存在一个静止等温面，则其内核与壳层必须为同心圆盘，从而解决了先前工作中提出的猜想。通过引入辅助函数与边界点引理的创新方法，本文利用过度确定的椭圆型问题建立了对称性，将先前结果推广至二维，并证明了关于双相椭圆型过度确定问题的新定理，结论为径向对称。

ABSTRACT

We consider a two-phase heat conductor in two dimensions consisting of a core and a shell with different constant conductivities. When the medium outside the two-phase conductor has a possibly different conductivity, we consider the Cauchy problem in two dimensions where initially the conductor has temperature 0 and the outside medium has temperature 1. It is shown that, if there is a stationary isothermic surface in the shell near the boundary, then the structure of the conductor must be circular. Moreover, as by-products of the method of the proof, we mention other proofs of all the previous results of the author in $N(\ge 2)$ dimensions and two theorems on their related two-phase elliptic overdetermined problems.

研究动机与目标

• 解决先前工作中关于定理1.3在二维情形下成立的猜想，而不仅限于N ≥ 3的情形。
• 证明在二维情况下，具有壳层中静止等温面的双相热导体，其几何结构必为同心圆盘。
• 基于辅助函数与边界行为的新方法，为N ≥ 2维下先前的对称性结果提供替代证明。
• 推导关于双相椭圆型过度确定问题的新定理，证明当边界上通量或值为常数时，解具有径向对称性。

提出的方法

• 在二维情况下引入新的辅助函数U、V、W，以分析在内核-壳界面处导热系数不连续的热方程。
• 在∂D上应用传输条件，当D不是圆盘时，利用霍普夫边界点引理与引理3.1（基于柯西数据唯一确定性）导出矛盾。
• 利用壳层区域中解的实解析性，将边界条件的对称性传播至整个区域。
• 运用强比较原理与最大值原理技术，表明非径向构型将与静止等温面假设产生矛盾。
• 将先前工作中的关键工具（如引理3.1、引理3.3等）适配至二维情形，使结果得以超越原始的N ≥ 3限制。
• 将该方法应用于椭圆型过度确定问题，证明在边界上通量或值为常数时，解具有径向对称性。

实验结果

研究问题

• RQ1 双相热导体在二维情况下，若存在静止等温面，其对称性结果是否如N ≥ 3情形下所猜想的那样成立？
• RQ2 定理1.4的证明方法是否可应用于重新证明N ≥ 2维下先前的对称性结果，而无需依赖显式径向解？
• RQ3 在具有源项与常数边界数据的双相椭圆型过度确定问题中，解在何种条件下可推出包含体为以原点为中心的球体？
• RQ4 当外边界通量为常数时，即使包含体非径向，该方法是否仍可建立对称性？
• RQ5 辅助函数U、V、W在通过边界行为检测对称性破坏中起何种作用？

主要发现

• 定理1.4证明了在二维情况下，具有壳层中静止等温面的双相热导体，其内核与壳层必须为同心圆盘，从而解决了该猜想。
• 若壳层与外部介质具有相同导热系数，且存在静止等温面，则导体必为同心圆盘。
• 该方法为文献[S]中N ≥ 2维下所有先前的对称性结果提供了替代证明，且无需依赖泊松方程的显式解。
• 定理5.1表明，若外边界上通量为常数且为负，则包含体必为以原点为中心的球体。
• 定理5.2表明，若解在内球面上为常数且其值大于外边界值，则包含体必为以原点为中心的球体。
• 证明技术依赖于通过边界点引理与强比较原理导出矛盾，当假设几何结构非径向时。