qtxzh的博客

【代码】MAL“标准库”

【代码】MAL文档。

其实应该发现，直接插入更适用的数据结构是链表(链接分配的线性表)而不是数组(顺序分配的线性表)，因为在链表中进行插入不需要对数据进行移动。例如我们首先比较待插入的两项的大小，然后通过对已排序部分的一次扫描来插入它们(一次移动两个位置)，则明显能够节省时间。一种减少移动次数的方法被称为二路插入，把输出区域看作环状数组，通过向左右两侧移动(看哪种移动数据少)，可以节省一半的运行时间。注意到插入排序无非就是其中一组数据仅含一个元素的合并排序，则上面一次处理多个项目的想法自然将我们引向更一般的合并排序。

上回说到，J(x)J(x)J(x)经过一次分部积分后的结果为J(x)=−12πi1ln⁡x∫a−i∞a+i∞xzdln⁡ζ(z)zJ(x) = -\frac{1}{2\pi i}\frac{1}{\ln x}\int_{a - i\infty}^{a + i\infty}x^zd\frac{\ln\zeta(z)}{z}J(x)=−2πi1​lnx1​∫a−i∞a+i∞​xzdzlnζ(z)​其中ln⁡ζ(s)=ln⁡ξ(0)+∑ρln⁡(1−sρ)−ln⁡Γ(s2+1)+s2ln⁡π−ln⁡(s−1

2022年对我来说算是数学物理年，我在数学专栏和物理专栏发布了一系列的博客介绍量子力学和广义相对论的一些——可能是比较硬核的——内容。不只是因为它们有趣，深刻，美丽，更是因为你对这些东西了解的越多，才越能体会到尘世间的烦恼是多么的不值一提。我看了下我2022 ~ 2023年发的博客，作为一个有10多年工作经验的程序员，一个20多年的计算机爱好者，竟然没什么和计算机相关的内容。2023我在这里等你，这里是我——一个另类博主的精神家园，也希望这里成为你们心灵的避风港。另外，作为对热度最高的那篇博文的回应，

对于数论函数fgf, ~ gfg，其Dirichlet卷积定义为f∗gn∑d∣nfdgndf∗gnd∣n∑​fdgdn​可以验证，所有数论函数的集合以Dirichlet卷积为乘法构成一个阿贝尔幺半群。实际上这个阿贝尔幺半群是一个整环（无零因子阿贝尔幺环），也就是说数论函数对普通加法构成阿贝尔群非零数论函数对卷积构成阿贝尔幺半群（即无零因子阿贝尔幺半群）卷积对加法有分配律以下验证相关性质，首先，根据定义，如果我们记b≡n。

整体规范变换是指不依赖时空坐标的变换。在标量场的规范变换ϕ(θ)=e−iqθϕ0, ϕˉ(θ)=eiqθϕˉ0\phi(\theta) = \mathrm e^{-iq\theta}\phi_0, ~ \bar\phi(\theta) = \mathrm e^{iq\theta}\bar\phi_0ϕ(θ)=e−iqθϕ0​, ϕˉ​(θ)=eiqθϕˉ​0​下，拉格朗日密度不变。也就是说，对于L=−[(∂aϕˉ)∂aϕ+m2ϕϕˉ]\mathscr L = -[(\partial^a\bar\phi

最小作用量原理基本上是说我们这个宇宙总是选择某种“最经济”的方式运行，表现在物理规律上，就是有一个称为作用量的东西，正确的物理规律总是使得这个作用量取最小值。左边是对时间的一阶导数，而右边是对空间的二阶导数，时空坐标不平权。考虑最简单的自由粒子的运动，唯一能想到的符合上述要求的量就是运动路径的长度，最多差一个常数因子，此时作用量就可以表示为。称为拉格朗日密度，基本上就是高维的作用量"密度"的概念。则对应的拉格朗日密度是不变的，这被称为规范变换。的拉格朗日密度为两者的对应拉格朗日密度之和，即。

磁场是无源的，因此可以表示为旋度场，我们记B⃗=∇⃗×A⃗\vec B = \vec
abla \times \vec AB=∇×A并称A⃗\vec AA为磁矢势。再代入∇⃗×E⃗=−∂B⃗∂t\vec
abla\times\vec{E} = -{\partial\vec{B}\over\partial t}∇×E=−∂t∂B​，就有∇⃗×E⃗=−∂∂t(∇⃗×A⃗)=−∇⃗×∂A⃗∂t\vec
abla\times\vec{E} = -{\partial\over\partial t}(\v

对于多重积分，我们希望换元法依然可用。例如，设x=x(u,v),y=y(u,v)x=x(u,v),y=y(u,v)，那么二重积分的换元公式是这样的∬f(x,y)dxdy=∬f(x,y)∣J(u,v)∣dudv∬f(x,y)dxdy=∬f(x,y)∣J(u,v)∣dudv其中J(u,v)=∂(x,

Schiwarzschild在战壕里就算出爱因斯坦场方程的真空解，让我觉得敬佩不已。

电流定义为电荷的变化率I=dtdq​电荷密度ρ=Vq​电流密度j=SI​连续方程∬​j⋅dS=−dtdq​其微分形式为∇⋅j=−∂t∂ρ​。

众所周知的爱因斯坦场方程Rab−12Rgab=8πTabR_{ab} - \frac{1}{2}Rg_{ab} = 8\pi T_{ab}Rab​−21​Rgab​=8πTab​是个高度非线性的二阶偏微分方程组，求解一般是很困难的。但在某些限定条件下，方程可以得到简化。所谓弱场条件，是指时空度规gabg_{ab}gab​接近闵氏度规ηab\eta_{ab}ηab​. 用式子表示就是gab=ηab+γabg_{ab} = \eta_{ab} + \gamma_{ab}gab​=ηab​+γab​其中γ

本节我们使用(+,−,−,−)(+, -, -, -)(+,−,−,−)号差。设ppp是4维时空(M,gab)(M, g_{ab})(M,gab​)的一点，{(eμ)a}\{(e_\mu)^a\}{(eμ​)a}是ppp点的一个正交归一标架，定义ppp点的4个特殊矢量如下：la=12[(e0)a+(e1)a], na=12[(e0)a−(e1)a]ma=12[(e2)a+i(e3)a], mˉa=12[(e2)a−i(e3)a]l^a = \frac{1}{\sqrt 2}[(e_0)^a + (e_1)

称从(k,l)(k, l)(k,l)型张量场到(k,l+1)(k, l + 1)(k,l+1)型张量场的映射∇
abla∇为(无挠)导数算符，如果它满足如下条件：根据dfdfdf的定义df(v)=v(f)df(v) = v(f)df(v)=v(f)不难看出，∇af=(df)a
abla_af = (df)_a∇a​f=(df)a​. 于是对于(0,0)(0, 0)(0,0)型张量场来说，不同的导数算符的作用结果是一样的，∇~a(f)=∇af=(df)a\tilde
abla_a(f) =
abla

定态薛定谔方程的一般形式为HΨ=EΨ其中HHH为哈密顿算符，其在坐标表象下的形式为H=−ℏ22me∇2+V(r)H = -\frac{\hbar^2}{2m_e}
abla^2 + V(r)H=−2me​ℏ2​∇2+V(r)代入一般形式，并在球坐标下展开拉普拉斯算子，得1r2∂∂r(r2∂Ψ∂r)+1r2sin⁡θ∂∂θ(sin⁡θ∂Ψ∂θ)+1r2sin⁡2θ∂2Ψ∂φ2−2meℏ2[V(r)−E]Ψ=0\frac{1}{r^2}\frac{\partial

拉普拉斯算子的球坐标形式

RISCV五级流水CPU设计补充说明

Vulkan第一个三角形初始化窗口初始化Vulkan创建实例设置调试回调创建Surface选择物理设备创建逻辑设备创建交换链创建图像视图创建渲染步骤创建图形流水线创建帧缓冲创建命令池创建命令缓冲创建同步对象主循环清理工作初始化窗口使用SDL初始化窗口。SDL_Init(SDL_INIT_VIDEO)SDL_CreateWindow(..., SDL_WINDOW_VULKAN)初始化Vulkan创建实例SDL_Vulkan_GetInstanceExtensions()vk::create