Skip to content

Commit b116c35

Browse files
committed
updates
1 parent 4dfbe40 commit b116c35

7 files changed

Lines changed: 111 additions & 17 deletions

File tree

content/_misc/calculus.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -30,7 +30,7 @@ tags = ["数学", "分析", "微积分学"]
3030
- L’Hôpital 法则
3131
- Taylor 展开式(Peano 余项,Lagrange 余项)
3232
- 不定积分(代换,分部积分,有理积分)
33-
- Riemann 积分(积分 $\int_a^b f(x) \mathrm{d}x$,Riemann 和,Darboux 上下和,Newton–Leibniz 公式,Riemann 可积性,反常积分)
33+
- Riemann 积分(积分 $\int_a^b f(x) \mathrm{d}x$,Riemann 和,Darboux 上下和,Newton–Leibniz 公式,Lebesgue 定理,反常积分)
3434
- 解析性 $C^{\omega}(U)$
3535
- Lebesgue 积分
3636

content/_misc/commutative_algebra.md

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -11,5 +11,7 @@ tags = ["数学", "代数", "交换代数"]
1111
参考阅读 Atiyah 与 MacDonald 的《交换代数导引》(可参考 [22886@知乎](https://www.zhihu.com/people/22886-69) 整理的 [习题解答](https://www.zhihu.com/column/c_1745120001231761408)
1212

1313
## 基本概念
14-
- 环与理想(环及其类似物,子环,同态,理想 $\mathfrak{a}$,商环,零因子,整环,幂零元,可逆元,单位群 $\operatorname{U}(R)$,主理想 $(x)$,素理想 $\mathfrak{p}$,极大理想 $\mathfrak{m}$,局部环,小根/幂零元根 $\mathfrak{N}$,大根/Jacobson 根 $\mathfrak{R}$,和,积,互素,直积,商 $(a:b)$,根 $r(\mathfrak{a})$,扩理想,局限理想)
15-
- 模(模同态/线性映射,子模,商模,余核 $\rm{coker}$,和,交,零化子 $\rm{Ann}$,直和 $\oplus$,直积 $\prod$,自由模)
14+
一般的环论、模论内容略去。
15+
16+
- 环与理想(理想 $\mathfrak{a}$,主理想 $(x)$,素理想 $\mathfrak{p}$,极大理想 $\mathfrak{m}$,局部环,剩余域,小根/幂零元根 $\mathrm{Rad}(A), \mathfrak{N}$,大根/Jacobson 根 $\mathrm{Jac\ Rad}(A), \mathfrak{R}$,商 $(a:b)$,零化子 $\mathrm{Ann}(a)$,根 $r(\mathfrak{a})$)
17+
- 模(有限生成模,Cayley-Hamilton 定理,Nakayama 引理)

content/posts/analysis_1_final.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -17,10 +17,10 @@ tags = ["笔记", "数学", "分析", "微积分学"]
1717

1818
本文用于准备数学分析Ⅰ的期末考试。包含往年题、习题课需要记忆的结论与技巧 & 考后总结。
1919

20-
期中挂了,所以期末还是整理一下为好。重要的 trick 使用⭐标出,在一些浏览器环境中可以使用 <kbd>Ctrl</kbd> + <kbd>F</kbd> 搜索功能。
21-
2220
<!-- more -->
2321

22+
期中挂了,所以期末还是整理一下为好。重要的 trick 使用⭐标出,在一些浏览器环境中可以使用 <kbd>Ctrl</kbd> + <kbd>F</kbd> 搜索功能。
23+
2424
## 主线
2525
下半学期是从导数开始的。
2626

content/posts/calculation_theory_final.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -14,14 +14,14 @@ categories = ["知识"]
1414
tags = ["笔记", "计算机", "函数式编程"]
1515
+++
1616

17-
{{ ref_index(to = "functional-programming") }}
18-
1917
主要包含使用 Bird Meertens Formalism 导出高效程序与进行自动并行化。
2018

2119
这是本课程的最后一个部分,同时可能是在上半学期和下半学期前部的铺垫下真正想讲的东西。其中函数式编程的想法提供了无副作用的函数和高阶函数的例子,从而能够被我们讨论;定理证明器则允许我们验证推导的正确性。
2220

2321
<!-- more -->
2422

23+
{{ ref_index(to = "functional-programming") }}
24+
2525
课程主页在 <https://zhenjiang888.github.io/FP/2025/>.
2626

2727
## 基本概念

content/posts/cryptography_2.md

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -18,8 +18,6 @@ tags = ["笔记", "计算机", "密码学"]
1818

1919
<!-- more -->
2020

21-
使用的是 Rust, 读者可在 [Rust Playground](https://play.rust-lang.org/) 中运行。
22-
2321
## 离散对数
2422
{% admonition(type="question", title="离散对数问题") %}
2523
已知素数 $p$ 与与之互素的整数 $g, h$,已知存在 $g^x \equiv h \pmod p$,求 $x$.
@@ -41,7 +39,7 @@ Diffie–Hellman Key Exchange 用于解决这样的困境:Alice 与 Bob 两人
4139
4. 现在他们共有一个密钥 $K \equiv g^{ab}$
4240
{% end %}
4341

44-
其中只用到最基础的 $O(\ln p)$ 快速幂算法:
42+
其中只用到最基础的 $O(\ln p)$ 快速幂算法(使用 Rust, 读者可在 [Rust Playground](https://play.rust-lang.org/) 中运行)
4543

4644
```rs
4745
use num::traits::{One, Zero};

content/posts/linear_algebra_1_final.md

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -14,16 +14,16 @@ categories = ["知识"]
1414
tags = ["笔记", "数学", "代数", "线性代数"]
1515
+++
1616

17+
本文用于准备高等代数实验班 2025 - 2026(I) 的期末考试。包含往年题选做和可能有用的知识扩充 & 考后总结。
18+
19+
<!-- more -->
20+
1721
<style>
1822
img:where(.dark,.dark *) {
1923
filter: invert(100%);
2024
}
2125
</style>
2226

23-
本文用于准备高等代数实验班 2025 - 2026(I) 的期末考试。包含往年题选做和可能有用的知识扩充 & 考后总结。
24-
25-
<!-- more -->
26-
2727
## 往年题选做
2828
{% admonition(type="question", title="2019 P1") %}
2929
考虑实线性空间:

content/posts/quantum_mechanics_1.md

Lines changed: 97 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -22,7 +22,7 @@ tags = ["笔记", "物理", "量子物理"]
2222
参考阅读
2323
- [《初识量子力学》](https://chaoli.club/index.php/10485)
2424

25-
## 矩阵革命
25+
## 氢原子光谱
2626
### 矩阵引入与运动方程
2727
人们发现原子光谱中谱线角频率总是可以被一组正整数表示成 $\omega_{mn}$,且满足里兹组合规则:
2828

@@ -140,7 +140,8 @@ $$A_{mn} = \langle m|\hat{A}|n\rangle \tag{1.11}$$
140140

141141
不严格地说,可以把左态矢 $\langle m|$ 看作行向量,把右态矢 $|n \rangle$ 看作列向量。
142142

143-
## 量子力学基本原理
143+
## Stern-Gerlach 实验
144+
### 量子力学基本原理
144145
我们现在讨论一般的可能性集(而非氢原子电子的定态)。
145146

146147
让我们考虑 Feynman 改编的 Stern-Gerlach 实验。让一束非极化原子(每个原子总角动量取向完全随机)沿水平方向(记作 $y$ 方向)通过一个非均匀指向 $z$ 方向,且梯度也沿 $z$ 方向的磁场,它将分裂为分立的三束。
@@ -193,4 +194,97 @@ $$\langle i | j' \rangle = \langle j' | i \rangle^\ast$$
193194

194195
$$\langle jR | \hat{A}\hat{B} | iS \rangle = \sum_k \langle jR | \hat{A} | k \rangle \langle k | \hat{B} | iS \rangle \tag{2.6}$$
195196

196-
{{ todo() }}
197+
对一个可确定区分可能性完备集,人们常常把 $\langle j | \hat{A} | i \rangle$ 排成:
198+
199+
$$
200+
\begin{bmatrix}
201+
\langle 1 | \hat{A} | 1 \rangle & \langle 1 | \hat{A} | 2 \rangle & \cdots \\\\
202+
\langle 2 | \hat{A} | 1 \rangle & \langle 2 | \hat{A} | 2 \rangle & \cdots \\\\
203+
\vdots & \vdots & \ddots
204+
\end{bmatrix} \tag{2.7}
205+
$$
206+
207+
这时候称可能性完备集 $\mathcal{L}$ 为 $\mathcal{L}$ 表象,上述矩阵为物理量 $A$ 在 $\mathcal{L}$ 表象中的矩阵表示。
208+
209+
能量表象存在一定的特殊性:哈密顿量在其中的表示矩阵为对角矩阵,即:
210+
211+
$$\langle E_m | \hat{H} | E_n \rangle = \delta_{mn}E_n \tag{2.8}$$
212+
213+
推广的海森堡运动方程是:
214+
215+
$$\langle j' | i\hbar \frac{\mathrm{d}\hat{A}}{\mathrm{d}t} | i \rangle = \langle j' | [\hat{A}, \hat{H}] | i \rangle \tag{2.9}$$
216+
217+
### 态和算符
218+
考虑进一步简化的 Stern-Gerlach 实验,假设原子只分成两束(角动量由),在磁场指向 $z$ 轴时两种可能记作 $S = \\{\uparrow, \downarrow\\}$, 指向 $x$ 轴时两种可能记作 $T = \\{\rightarrow, \leftarrow\\}$. 实验测得 $|\langle \rightarrow | \uparrow \rangle|^2 = |\langle \leftarrow | \uparrow \rangle|^2 = |\langle \rightarrow | \downarrow \rangle|^2 = |\langle \leftarrow | \downarrow \rangle|^2 = \frac{1}{2}$. 反之亦然。
219+
220+
不妨选取为:
221+
222+
$$
223+
\begin{bmatrix}
224+
\langle \uparrow | \rightarrow \rangle & \langle \uparrow | \leftarrow \rangle \\\\
225+
\langle \downarrow | \rightarrow \rangle & \langle \downarrow | \leftarrow \rangle
226+
\end{bmatrix}
227+
= \frac{1}{\sqrt{2}}
228+
\begin{bmatrix}
229+
1 & 1 \\\\
230+
1 & -1
231+
\end{bmatrix}
232+
\tag{2.10}
233+
$$
234+
235+
我们会得到 $\langle \cdots | \uparrow \rangle = \frac{1}{\sqrt{2}} \langle \cdots | \rightarrow \rangle + \frac{1}{\sqrt{2}} \langle \cdots | \leftarrow \rangle$. 一个自然的想法是写成 $| \uparrow \rangle = \frac{1}{\sqrt{2}} | \rightarrow \rangle + \frac{1}{\sqrt{2}} | \leftarrow \rangle$. 这可以解读成引入了某种**叠加原理**
236+
237+
这种可以线性叠加的东西就是矢量,称为**态矢量**。构成的矢量空间称为希尔伯特空间(因为支持内积),一般来说可以是任意维的,甚至无穷维的。一个量子态对应的是希尔伯特空间中的一条复直线。
238+
239+
作为可确定区分性的要求,有:
240+
241+
$$\langle \psi | \psi \rangle = 1 \tag{2.11}$$
242+
243+
称为归一化条件。
244+
245+
容易推导出一些结论,如对一个初态可能性 $| \psi \rangle = \sum_i a_i | i \rangle$ 其中 $a_i = \langle i | \psi \rangle$, 若将它作为一个末态可能性则有 $\langle \psi | = \sum_i \langle \psi | i \rangle \langle i | = \sum_i a_i^\ast \langle i |$. 从 $\psi$ 到 $\phi $ 的跃迁幅是一种乘法,即内积 $\langle \phi | \psi \rangle$.
246+
247+
如果两个态矢量满足 $\langle \phi | \psi \rangle = 0$ 则称它们**正交**。可确定区分可能性完备集 $\mathcal{L}$ 需要满足的就是 $\langle i | j \rangle = \delta_{ij}$ **正交归一性**
248+
249+
---
250+
251+
考察初态可能性 $\psi$ 经物理量 $A$ 作用的结果,由于 $\langle \cdots | A | \psi \rangle$ 可以等效地由 $\langle \cdots | \phi \rangle$ 给出,可以写方程 $| A | \psi \rangle = | \phi \rangle$. 所以我们说量子力学中每一个物理量对应一个**线性算符**
252+
253+
式子 $| u \rangle \langle v |$ 可以视作一个算符(其运算规则是自然的)。
254+
255+
### 绘景
256+
我们回顾海森堡运动方程是 (1.7) 式,量子力学基本对易关系是 $[X, P] = i\hbar$. 运动方程有一个形式上的通解:
257+
258+
$$A(t) = e^{iHt/\hbar} A_0 e^{-iHt/\hbar} \tag{2.12}$$
259+
260+
其中算符放在指数上是指:
261+
262+
$$e^B = 1 + \frac{1}{1!}B + \frac{1}{2!}B^2 + \frac{1}{3!}B^3 + \cdots \tag{2.13}$$
263+
264+
读者可自行验证 $e^Be^{-B} = 1$ 及 $i\hbar \frac{\mathrm{d}A}{\mathrm{d}t} = [A, H]$.
265+
266+
到现在为止我们都认为量子态不随时间演化(随时间演化的是代表物理量的算符),这种观点称为海森堡绘景;一种等价的观点是物理量算符不随时间演化,而量子态随时间演化,称为薛定谔绘景。从海森堡绘景过渡到薛定谔绘景可通过:
267+
268+
$$\langle \phi | A(t) | \psi \rangle = \langle \phi | e^{iHt/\hbar} A_0 e^{-iHt/\hbar} | \psi \rangle = \langle \phi(t) | A_0 | \psi(t) \rangle \tag{2.14}$$
269+
270+
其中 $| \psi(t) \rangle = e^{-iHt/\hbar} | \psi \rangle, | \phi(t) \rangle = e^{-iHt/\hbar} | \phi \rangle$. 注意 $(e^{-iHt/\hbar})^\dagger = e^{iHt/\hbar}$. 对此式对时间求导得到薛定谔方程:
271+
272+
$$i\hbar \frac{\mathrm{d}}{\mathrm{d}t} | \psi(t) \rangle = H | \psi(t) \rangle \tag{2.15}$$
273+
274+
在薛定谔绘景中,量子力学基本对易关系是 $[X_0, P_0] = i\hbar$.
275+
276+
---
277+
278+
此处省略一些与[量子信息笔记](@/posts/quantum_information_1.md)中重复的内容。
279+
280+
---
281+
282+
如果一个态矢量 $| u_n \rangle$ 满足 $A | u_n \rangle = \lambda_n | u_n \rangle$ 则称它是算符 $A$ 的本征值,这个方程是算符 $A$ 的本征方程。
283+
284+
哈密顿方程的本征方程叫做定态薛定谔方程,之后会看到其本征态就是能量有确定值的定态,因此定态薛定谔方程可以写成:
285+
286+
$$H | E_n \rangle = E_n | E_n \rangle \tag{2.16}$$
287+
288+
### 电子自旋
289+
290+
## 波动方程与路径积分

0 commit comments

Comments
 (0)