若$\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 “偏微分方程期末试题”
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度量.
规范变换的垂直变分
假设$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)$.
弱调和映照的欧拉—拉格朗日
1. 弱调和映照 假设$(M,g)$, $(N,h)$是两个黎曼流形, 且$N \hookrightarrow \mathbb{R}^K $. 定义 \[ H^1(M,N):=\left\{ u\in L_{\mathrm{loc}}^1(M,\mathbb{R}^{K+1}):\int_{M}|\nabla u|^2
最近点投射的基本性质
假设$N$是一个光滑流形等距地嵌入到$\mathbb{R}^K$, 我们知道存在$N$的管状邻域$N(\delta)\subset\mathbb{R}^K$, 使得定义在$N(\delta)$上的映射$\Pi$: \[ \Pi:y\mapsto x\in N,\quad \mathrm{dist}(y,N)=|y-\Pi(y)|. \] 关于$\Pi$, 我们有如下基本性质. Proposition 1. 假设$\Pi$定义如上, 则 $D\Pi|_y:\mathbb{R}^K\to T_xN$, $x=\Pi(y)$;对$v_1,v_2\in T_xN$, 我们有$\mathrm{Hess}\Pi|_x(v_1,v_2)=-A(x)(v_1,v_2)$.
Fernando Coda Marques与Andre Neves 解决Willmore猜想
申明: 本文转自Matheus’ Weblog, 原文题目为The Willmore conjecture after Fernando Coda Marques and Andre Neves, 原文作者:matheuscmss. 先翻译至此, 希望有更多的人感兴趣. 在过去的5个月中, 我很高兴地看到有人宣称解决了数学几个领域中的重要的问题和猜想.例如: Ian Agol 宣称证明了3维拓扑中的 virtual Haken 猜想 (参考 D. Calegari 博客的三篇日志). Fernando Codá Marques and André Neves 宣称证明了 Willmore 猜想 (参考 F.Morgan 的这篇文章—非正式的阐述了这一47年之久的猜想) Alex Eskin, Maxim Kontsevich and Anton Zorich 最近完成了关于Kontsevich-Zorich 闭上链 的Lyapunov指数和公式的证明 (该公式由M.Kontsevich于15年前在这篇文章中提出) Alex Eskin and Maryam Mirzakhani最近宣称证明了Abel微分构成的模空间(非齐次)中的一个 Ratner型定理(不变测度的分类).