Posted on March 11, 2017Categories MATHTags , ,   Leave a comment on 应用Stokes公式推导Cauchy积分定理

应用Stokes公式推导Cauchy积分定理

回忆, 单复变中Cauchy积分定理说的是: Theorem 1 (Cauchy integral theorem). 假设$f$是定义在复平面上一单连通开区域$\Omega$上的解析(全纯)函数, 则对任何$\Omega$中的闭曲线$C$, $$ \oint_C f(z)dz=0. $$ 我们想要说明, 它其实可以由实分析中的Stokes公式得到.

Posted on March 2, 2017Categories MATHTags ,   Leave a comment on 关于欧式空间中子流形计算的一个注记

关于欧式空间中子流形计算的一个注记

假设$(M^m,g)\hookrightarrow(\mathbb R^n,\bar g)$是嵌入到欧氏空间中的一个子流形. 又设其局部参数表示为$X(u^1,\ldots,u^m)=\bigl(x^1(u^1,\ldots,u^m),\ldots,x^n(u^1,\ldots,u^m)\bigr)$. 有以下两件事情: 首先, $X$在局部坐标下可视为$M\to\mathbb R^n$的一个映射, 而$(M,g)$的诱导度量(因为是嵌入)就是 $$ g=X^*(\bar g) $$ 即 \begin{align*} g_{\alpha\beta}&=g\left(\frac{\partial}{\partial u^\alpha},\frac{\partial}{\partial u^\beta}\right) =X^*(\bar g)\left(\frac{\partial}{\partial u^\alpha},\frac{\partial}{\partial u^\beta}\right) =\bar g\left(\frac{\partial X^i}{\partial u^\alpha}\frac{\partial}{\partial x^i},\frac{\partial X^j}{\partial u^\beta}\frac{\partial }{\partial x^j}\right)\\ &=\frac{\partial X^i}{\partial u^\alpha}\frac{\partial X^j}{\partial u^\beta}\delta_{ij} =\frac{\partial X^i}{\partial u^\alpha}\frac{\partial X^i}{\partial u^\beta}. \end{align*} 这即是我们常说的第一基本型.

Posted on January 19, 2017Categories MATHTags ,   Leave a comment on 偏微分方程期末试题

偏微分方程期末试题

若$\Omega=(0,2)\times(0,2)\subset\mathbb{R}^2$, $u(x_1,x_2)$为如下方程的解(8′)求 \begin{cases} \Delta u+\lambda u=0, &x\in\Omega\\ u|_{\partial\Omega}=0 \end{cases} 的第一、第二特征值以及相应的特征函数.(7′)对哪些$a$, 方程 \begin{cases} \Delta u+\frac{\pi^2}{2}u=x_1-a,&x\in\Omega\\ u|_{\partial\Omega}=0 \end{cases} 至少有一解, 说明理由.(10′)设$u(x,y)$为方程 \begin{cases} \Delta u=x+y,&(x,y)\in B_1(0)\subset\mathbb{R}^2,\\ u|_{\partial B_1(0)}=0 \end{cases} 的解, 求$u(0,0)$.(15′)设$\Omega=\set{(x_1,x_2)|10$(例如可取$C=100$), 使得 \[ \sup_{B_1(0)}|\nabla u|\leq C\left(\sup_{\partial B_1(0)}|\nabla u|+\sup_{B_1(0)}|u|\right). \](15′)若$u>0$, 且$u\in C^\infty(\overline{B_1(0)})$为方程$\Delta u+u=0$, $x\in B_1(0)$的解, 求证存在$C>0$(例如取$C=3^{10}$), 使得 \[ \sup_{B_{1/2}(0)}u\leq C\inf_{B_{1/2}(0)}u. \](15′)设$u(x,t)$为方程 \[ \begin{cases} u_t=u_{xx},&0< x< 1, t >0\\ u|_{x=0}=u|_{x=1}=0,\\ u|_{t=0}=x(1-x), \end{cases} \] 的解, 求证 \[ \int_0^1u^2(x,t)dx\leq\frac{e^{-2\pi^2t}}{30}. \](15′)设$u(x,t)$为方程 \begin{cases} u_{tt}=u_{xx},&0< x< 1,\,t >0\\ u|_{x=0}=u|_{x=1}=0,\\ u|_{t=0}=\sin(\pi x),\\ u_{t}|_{t=0}=x, \end{cases} 的解, 令 \[ E(t)=\int_0^1(u_t^2+u_x^2)dx, \] 求$E(3)$的值.(10′)设$U\subset\mathbb{R}^n$为有界开集, 对某个固定的$T>0$, $U_T=U\times(0,T]$, … Continue reading “偏微分方程期末试题”

Posted on January 18, 2017Categories UncategorizedTags ,   Leave a comment on 复几何作业

复几何作业

1. 第一次 证明全纯函数$f=u+iv$的实部$u$与虚部$v$是调和的.对全纯函数证明极大值原理.假设$U\subset\mathbb{C}^n$是一个开集, 而$f:U\to\mathbb{C}$是全纯的. 证明对$n\geq2$, 零点集$Z(f)$不可能是一个单点集. 类似地, 证明对全纯函数$f:\mathbb{C}^n\to\mathbb{C}$, $n\geq2$以及$w=\mathrm{Im}(f)$, 存在$z\in f^{-1}(w)$, 使得$\|z\|>0$.令$\set{f_i}$是开集$U\subset\mathbb{C}^n$上列全纯函数, 假设对任何$V\subset\subset U$, 有$f_i$在$V$上一致收敛到$g$. 证明$g$也是全纯的.令$f:U\to V$是一个全纯映射. 证明自然拉回映照$f^*:\mathcal{A}^k(V)\to\mathcal{A}^k(U)$又到了$\mathcal{A}^{p,q}(U)$到$\mathcal{A}^{p,q}(V)$的映射. 这也表明$f^*\partial\alpha=\partial f^*\alpha$, $f^*\bar\partial\alpha=\partial f^*\alpha$.令$B\subset\mathbb{C}^n$是多圆盘且$\alpha\in\mathcal{A}^{p,q}$是$d$-闭的, $p,q\geq1$. 证明存在$\gamma\in\mathcal{A}^{p-1,q-1}(B)$使得$\partial\bar\partial\gamma=\alpha$.

Posted on January 18, 2017Categories MATHTags ,   Leave a comment on 2015年多复变期末作业

2015年多复变期末作业

叙述并证明Calabi-Yau定理.叙述并证明全纯向量丛上的Hitchin-Kobayashi correspondence.叙述并证明Kodaira消灭定理(Vanishing theorem).叙述并简短证明Kodaira嵌入定理(Embedding theorem).证明下列比较原理(comparison principle): 设$\Omega$是$\mathbb{C}^n$中的有界区域, 实函数$u,v\in L^\infty(\Omega)$是多重次调和, 且在边界$\partial\Omega$处成立$(u-v)|_{\partial\Omega}\geq0$. 如果在$\Omega$上成立$(\sqrt{-1}\partial\bar\partial u)^n\leq(\sqrt{-1}\partial\bar\partial v)^n$(current意义下), 则在$\Omega$上必成立$v\leq u$.(提示, 可先假设$u,v$二次可微)证明: 紧复流形如果其第一陈类负定, 则其上必不存在非零的全纯向量场.证明Hopf流形上必不存在Kahler度量.

Posted on December 21, 2016Categories MATHTags ,   Leave a comment on 规范变换的垂直变分

规范变换的垂直变分

假设$E$是一个$G$-向量丛(特殊的$G$丛), 我们知道$E$的规范变换丛$\mathrm{Aut}_GE$是在共轭作用 \begin{align*} G&\to G\\ c_g:a&\mapsto gag^{-1} \end{align*} 下$E$的伴丛, 而$E$的李代数丛$\mathfrak{g}_E$是在伴随表示下$E$的伴丛. 现在假设$S\in\mathrm{Aut}_GE$是一个规范变换, 而$\xi\in\Gamma(\mathfrak{g}_E)$是李代数丛的一个截面, 则我们可以定义 \begin{equation}\label{eq:variation} S(t)=S\exp(t\xi),\quad t\geq0 \end{equation} 它是$S$的一个变分, 即$S(0)=S$且$S(t)\in\Gamma(\mathrm{Aut}_GE)$.