Posts

对 F:\Pi\packages\coding-agent\src\core\extensions\ 中 5 个 .ts 文件的逐行解读与关系分析。涵盖 types.ts（类型定义）、loader.ts（加载器）、runner.ts（运行器）、wrapper.ts（包装器）和 index.ts（入口导出）。

Notes on Chess from a Game Theory perspective.

hi no

Hash Dictionary

Reference: Introduction to Smooth Manifolds by John M. Lee. A topological space $M$ is a topological manifold of dimension $n$ if $M$ is locally Euclidean of dimension $n$, where locally Euclidean means that for every point $p \in M$, there exists an open neighborhood $U$ of $p$ in $M$ and a homeomorphism $\varphi: U \to B^n$, then we obtain a set of such charts $\{(U_\alpha, \varphi_\alpha)\}$ called a topological atlas on $M$. ...

Euler-Lagrange 方程 $$\dfrac {\mathrm d}{\mathrm dt} \dfrac {\partial L}{\partial \dot q_i} - \dfrac {\partial L}{\partial q_i} = 0.$$ 正则动量 $$p_i = \dfrac{\partial L}{\partial \dot q_i},\quad \dot p_i = \dfrac {\partial L}{\partial q_i}.$$ Hamiltonian，可以对于正则 Lagrangian 定义 $$H(q,p,t) = \sum_i p_i \dot q_i - L(q, \dot q, t)=\sum_i p_i \dot q_i - L(q, p, t).$$ Hamilton 方程 $$\dot q_i = \dfrac{\partial H}{\partial p_i}, \quad \dot p_i = -\dfrac{\partial H}{\partial q_i},\quad \dfrac{\partial H}{\partial t} = -\dfrac{\partial L}{\partial t}.$$ 相空间作用量原理* ...

$W^{m,p}$ 回忆广义函数空间 $\mathcal D(\Omega)$ 上的对偶元素构造。给定任意 $f\in L_{\mathrm{loc}}^1(\Omega)$，存在线性映射 $$T:\mathcal D(\Omega)\to \mathcal D^*(\Omega),\quad \varphi\mapsto\left(T_f:\varphi\mapsto \int_{\Omega} f\varphi\mathrm dx\right).$$在 Lebesgue 意义下（默认）是单射： $T$ 是单射：对任意 $f,g\in L_{\mathrm{loc}}^1(\Omega)$，如果 $T_f=T_g$，则 $f=g$. 这等价于说明 $T_f=0$，即 $$\langle T_f,\varphi\rangle = \int_{\Omega} f\varphi\mathrm dx=0,\quad \forall \varphi\in \mathcal D(\Omega),$$ 可以推出 $f=0$，这是变分法基本引理的 Lebesgue 版本。考虑截断空间和 Friedrichs 磨光核，则 $$f*\rho_\varepsilon(x)=\int_{\Omega} f(y)\rho_\varepsilon(x-y)\mathrm dy=\langle T_f,\rho_\varepsilon(x-\cdot)\rangle=0$$ 接下来只需证明，对于任意有界开集 $U\subseteq\Omega$，有 $\|f\|_{L^1(U)}=0$，这是因为 $$f(x)-f*\rho_\varepsilon(x)=\int_{\Omega} (f(x)-f(x-y))\rho_\varepsilon(y)\mathrm dy,$$ 因此有 Minkowski 不等式 $$\|f-f*\rho_\varepsilon\|_{L^1(U)}\leq \int_{\Omega} \|f(\cdot)-f(\cdot-y)\|_{L^1(U)}\rho_\varepsilon(y)\mathrm dy\leq \sup_{|y|\leq \varepsilon} \|f(\cdot)-f(\cdot-y)\|_{L^1(U)}.$$ 由 $L^1$ 的平移连续性，取 $\varepsilon\to 0$，结合 $f*\rho_\varepsilon=0$ 即可。 我们还需要指出，$L^p(\Omega)\subseteq L_{\mathrm{loc}}^1(\Omega)$，对任意 $1\leq p\leq \infty$，这是因为 Hölder 不等式 ...

传递、混合、压缩、扩张 设 $f:S\to S,\ g:T\to T$ 是连续映射，如果有同胚 $h:S\to T$ 使得 $h\circ f=g\circ h$，则称 $f,g$ 拓扑共轭，$h$ 是共轭映射；如果除去 $h$ 的同胚条件，只保留满射，则称 $g$ 是 $f$ 的因子，$h$ 是半共轭映射。 稠密与周期 考虑 $S^1\cong \mathbb R/\mathbb Z$ 上的旋转映射（这等价于） $$x\mapsto x+\alpha\mod 1.$$ 根据有理性分类轨道： $$\# \mathcal O(x)=\begin{cases}\infty, & \alpha\in \mathbb R\setminus \mathbb Q,\\[6pt]<\infty, & \alpha\in \mathbb Q.\end{cases},\quad \forall x\in S^1.$$ 特别地，由 Weyl 定理，$\overline {\mathcal O(x)}=S^1$ 当且仅当 $\alpha\in \mathbb R\setminus \mathbb Q$. 设 $f\in C(X)$，如果存在 $x\in X$ 使得双向轨道 $\mathcal O(x)=\{f^n(x)\}_{n\in\mathbb Z}$ 在 $X$ 中稠密，则称 $f$ 是拓扑传递的；如果对于任意 $x\in X$，都有 $\overline {\mathcal O(x)}=X$，则称 $f$ 是拓扑极小的。其中 $f$ 不一定是同胚，因此 $f^{-n}$ 表示取 $n$ 次原像。 ...

极值原理 弱极值原理 强极值原理 调和函数 设 $\Omega \subseteq \mathbb R^d$ 是开区域，如果 $u\in C^2(\Omega)$ 满足 $\Delta u=0$，则称 $u$ 是 $\Omega$ 上的调和函数，记作 $u\in \mathcal H(\Omega)$。调和函数是 Laplace 方程的解，继承其性质。 球面平均性 球面平均性：如果 $u\in \mathcal H(\Omega)$，则对任意 $r\in (0,R]$ 和 $x\in \Omega$ 满足 $B_R(x)\subseteq \Omega$，有 $$u(x)=\frac 1{|\partial B_r(0)|}\int_{\partial B_r(x)} u(y)\mathrm dS=\dfrac 1{|B_r(0)|}\int_{B_r(x)} u(y)\mathrm dy=: h(x;r).$$ 反过来，如果 $u\in C^2(\Omega)$ 在 $x\in \Omega$ 满足上述球面平均性，则 $\Delta u(x)=0$. 从连续性出发 $$u(x)=\lim_{r\to 0}\frac 1{|\partial B_r(0)|}\int_{\partial B_r(x)} u(y)\mathrm dS=\lim_{r\to 0}\dfrac 1{|\partial B_1(0)|}\int_{\partial B_1(0)} u(x+ry)\mathrm dS=:\lim_{r\to 0} h(x;r).$$ 考虑含参积分 ...

参考资料：《数学物理方程讲义》，姜礼尚。 pp212.15 设 $u\in C^3_0(\Omega)$ 且满足 $$-\Delta u=f(x),\quad x\in\Omega,$$ 证明 $$\sum^n_{i,j=1}\int_\Omega u^2_{x_ix_j}\mathrm dx\leq n\int_\Omega f^2\mathrm dx.$$解： 考虑到其紧支性，作分部积分，再由光滑性交换偏导次序 $$\begin{darray}{ll}\sum^n_{i,j=1}\int_\Omega u^2_{x_ix_j}\mathrm dx&=\sum^n_{i,j=1}\int_\Omega u_{x_ix_j}u_{x_ix_j}\mathrm dx\\[14pt]&=-\sum^n_{i,j=1}\int_\Omega u_{x_ix_jx_j}u_{x_i}\mathrm dx\\[14pt]&=\sum^n_{i,j=1}\int_\Omega u_{x_ix_i}u_{x_jx_j}\mathrm dx\\[14pt]&=\int_\Omega \Delta^2 u\mathrm dx\\[14pt]&=\int_\Omega f^2\mathrm dx.\end{darray}$$这应更严格。 pp212.16 设 $\Omega=\{(x,y):0...