反射天线设计的一个数学理论.pdfVIP

张婷等：反射天线设计的一个数学理论 基于其应用背景，这一问题在二战后受到很多研究，比如英国以Westcott为首的研究小组发表了 一 系列文章，具体参见文献 1【]．从20世纪80年代以来，Oliker和他的学生也发表了一系列文章 2【l_也 可以参考文献 3【】． 我们先推导出r满足的偏微分方程．设 为从原点出发的一条光线，它可看成一个单位 向量，也 可以看成单位球面 s。上的一点．光线 X在F上的点 ·p(x)处反射后，反射方向为 T(x)= 一2x，) (1．3) 其中 = (Vp—px)l (1．4) 为r在点z．p(x)处的单位法向量，(．，．)为 。中的标准内积，即 (X，Y)=xlyl+x2y2+x3Y3 记 为球面 S。上的协变导数，因此可 以算出 ㈤ =—2pVp+(_p2+[Vpl2)X ： 其中矸=互1p。+lpl)． 在研究这个 问题时，我们设Q上任意不相交的两个子区域里的光线在反射后不重复，则光线反射 T：Q Q 是一个坐标变换．因此对 Q中的任意子区域 CQ，有 ，()如=／二㈤9()咖=9(z())ldet， (1．5) 其中第一式根据能量守恒，第二式是由积分的坐标变换而来．我们记 J为坐标变换 的Jacobi矩阵． 由于 为任意的子区域，故我们有方程 detJ=，(z)／9I(())，X∈Q． (1．6) (1．6)左边为矩阵 的行列式．直接计算 detJ很复杂，但通过微分几何的协变导数可以算出 det =叩一。det(Viju+(一卵) )， (1．7) 其中 1 Iul。+u。 一 P’ 叩 — 一 ’ Vij为 S 上相对于标准正交基的二阶协变导数， 为标准的 Kronecker’Sdelta符号，即 5ij=1，当 i=J时；订=0，当 i≠J时．因此，我们得到方程 叩一det(Viju+(，“一叼)玎)：，()／9(())，Vx∈Q． (1．8) 这是一个 Monge．Ampere方程，边界条件是 (aQ)：aQ， (1．9) 346 中国科学 ：数学 第 43卷 第 4期 也就是映射 将边界 aQ映到边界 aQ ．这是一种很特殊的边界条件，在研究其他偏微分方程中还没 有出现过．Monge—Amp6re方程 (1．8)是一类完全非线性方程．因此边值问题 (1．8)和 (1．9)是研究其他 偏微分方程的人所不熟悉的问题． 第 2节先简单介绍一下Monge—Amp6re方程．在第 3节 中，我们讨论问题 (1．8)和 (1．9)的解 的存 在唯一性．第 4节讨论解 的正则性．这些想法都来源于文献 f4]，它们后来被应用到更一般的最优运输 问题 5【]．第 5节把求方程 (1．8)和 (1．9)的数值解的问题转