-
非散度型方程记$\Omega_T=\Omega\times(0,T],$
抛物边界$\partial_p\Omega=\overline\Omega_T\setminus \Omega_T.$
考虑方程$u_t+Lu=f,$ $Lu=-a^{ij}u...
-
时间一阶正则性和椭圆型方程类似地, 由于
Lu=f-u_t\quad in\:\Omega,当$\partial\Omega\in C^{m+2},$ $a^{i,j}\in C^{m+1},$ $b^i,c\in C^m,$
$f\in H^m...
-
动机考虑问题
\left\{\begin{aligned}
u_t-\Delta u=0&\quad in\:\Omega_T\\
u=0&\quad on\:\partial\Omega\\
u|_{t=0}=h&\quad in\:\O...
-
回顾对于对称多项式$S=\mathbb{Z}[t_1,\cdots,t_n]^{S_n},$
$S^k$为$k$次对称多项式, 它有两种基的选取, $\{\sigma_I\}$或$\{m_I\},$
$I$为$k$-划分. $m_I=S_I(\sig...
-
为了研究发展方程, 我们需要引入新的概念. 以热方程为例.
设$\Omega\subset \mathbb{R}^n,$ 记$\Omega_T=\Omega\times (0,T].$
u\in L^p(\Omega_T)\Leftrightarr...
-
考虑自共轭算子$S:H_0^1(\Omega)\rightarrow H^{-1}(\Omega),$
Su:=-(a^{ij}u_i+b^ju)_j+b^ju_j+cu. 系数均在$L^\infty(\Omega)$中,
$a^{ij}\xi_i...
-
Pontrjagin数对于实流形$M^{4n},$ 为一个定向闭流形, $I=(i_1,\cdots,i_r)$为$n$的划分.
定义第$I$个Pontrjagin数为
P_I[M^{4n}]=\left\in \mathbb{Z}.注 1. 记$...
-
Pontrjagin类回顾实向量丛$\xi$可以复化为$\xi\otimes_\mathbb{R}\mathbb{C},$
与它的共轭丛同构. 定义第$i$个Pontrjagin示性类为
p_i(\xi):=(-1)^ic_{2i}(\xi\oti...
-
引子固定$F$为拓扑空间, 取$G=\operatorname{Homeo}(F).$ (紧开拓扑.) 我们有
\{F\rightarrow E\rightarrow B\}/\cong\leftrightarrow \{G\rightarrow ...
-
回顾回忆若$G$是一个拓扑群, 有分类空间$BG,$ 使得有$G$主丛:
G\rightarrow EG\rightarrow BG,即$G$在$EG$上有一个依纤维自由可迁的作用. $EG$弱可缩.
命题 1. 设有拓扑群间连续映射$f:H\ri...