Ramanujan Master Theorem

news/2025/10/23 21:52:55/文章来源:https://www.cnblogs.com/AnbyLSY/p/19161729

:::note[前置知识]
这篇文章需要用到复数以及一些变换

  • 如果你不会复数,可以参考这篇文章。
  • 如果你不会变换,可以参考这篇文章。

:::

位移算符

我们定义:\(D\equiv \frac{\mathrm d}{\mathrm dx}\),考虑

\[e^D=\sum_{n=0}^\infty\frac{D^n}{n!} \]

作用到函数 \(f(x)\) 上,于是有:

\[e^Df=\sum_{n=0}^\infty\frac{D^n}{n!}f(x)=\sum_{n=0}^\infty\frac{f^{(n)}(x)}{n!}1^n \]

注意到这是函数 \(f(x)\)\(x\) 处的泰勒展开,于是,我们显然有:

\[\boxed{e^Df=f(x+1)} \]

同理:

\[e^{tD}f=\sum_{n=0}^\infty\frac{f^{(n)}(x)}{n!}t^n=f(x+t) \]

考虑计算:

\[\begin{aligned} e^{aD}\cdot e^{bD}&=\sum_{n=0}^\infty\frac{a^nD^n}{n!}\cdot\sum_{n=0}^\infty\frac{b^nD^n}{n!}\\ &=\sum_{n=0}^\infty D^n\sum_{k=0}^n\frac{a^k b^{n-k}}{k!(n-k)!}\\ &=\sum_{n=0}^\infty\frac{D^n}{n!}\underbrace{\sum_{k=0}^n\binom{n}{k}a^kb^{n-k}}_{(a+b)^n}\\ &=\sum_{n=0}^\infty\frac{D^n}{n!}(a+b)^n\\ &=e^{(a+b)D} \end{aligned} \]

于是位移算符满足指数运算。

差分与位移

定义差分 \(\Delta\) 为:

\[\Delta f(x)=f(x+1)-f(x)=e^Df(x)-f(x)=(e^D-1)f(x) \]

于是:

\[\Delta=e^D-1 \]

两边同时取逆,于是有:

\[\Delta^{-1}=\frac1{e^D-1}=\frac1D\frac D{e^D-1} \]

后面这半刚好是伯努利数的母函数,于是展开成:

\[\Delta^{-1}=\frac1D\sum_{n=0}^\infty\frac{B_n}{n!}D^n \]

注意到:

\[\sum=\Delta^{-1},\int=D^{-1} \]

代入上式,得:

\[\begin{aligned} \sum&=\int\sum_{n=0}^\infty\frac{B_n}{n!}D^n\\ &=\int+\sum_{n=1}^\infty\frac{B_n}{n!}\int D^n\\ &=\int+\sum_{n=1}^\infty\frac{B_n}{n!}D^{n-1}\\ \end{aligned} \]

注意到伯努利数除第一项外奇项均为 \(0\),于是:

\[\sum=\int-\frac12+\sum_{n=1}^\infty\frac{B_{2n}}{(2n)!}D^{2n-1} \]

将该式子从 \(a\to b\) 作用到函数 \(f(x)\) 上,得:

\[\sum_{a\le n\le b}f(n)=\int_a^bf(x)\mathrm dx-\frac{f(b)-f(a)}2+\sum_{n=1}^\infty\frac{B_{2n}}{(2n)!}\left[f^{(2n-1)}(b)-f^{(2n-1)}(a)\right] \]

便简单的推得了欧拉-麦克劳林求和

Ramanujan Master Theorem

考虑拉普拉斯变换:

\[\mathcal L\{x^{s-1}\}(e^D)=\int_0^\infty x^{s-1}e^{-xe^D}\,\mathrm dx=\Gamma(s)e^{-sD} \]

我们将

\[e^{-xe^D}=\sum_{n=0}^\infty\frac{e^{nD}}{n!}(-x)^n \]

代入,并且作用再函数 \(\phi(0)\) 上,得:

\[\int_0^\infty x^{s-1}\sum_{n=0}^\infty\frac{e^{nD}}{n!}(-x)^n\phi(0)\,\mathrm dx=\Gamma(s)\underbrace{e^{-sD}\cdot\phi(0)}_{\phi(-s)} \]

\[\begin{aligned} f(x)&=\sum_{n=0}^\infty\frac{e^{nD}\phi(0)}{n!}(-x)^n\\ &=\sum_{n=0}^\infty\frac{\phi(n)}{n!}(-x)^n \end{aligned} \]

于是:

\[\int_0^\infty x^{s-1}f(x)\,\mathrm dx=\Gamma(s)\phi(-s) \]

这个就是 Ramanujan Master Theorem\(\textcolor{FF8C00}{\text{Ramanujan CF2100}}\) Theorem)。我们正式提出它的命题:

:::note[Ramanujan Master Theorem]
对函数 \(f(x)\) 作 Mallin Transform,满足:

\[\mathcal M\{f(x)\}(s)=\int_0^\infty x^{s-1}f(x)\,\mathrm dx=\Gamma(s)\phi(-s) \]

的充要条件是函数 \(f(x)\) 满足:

\[f(x)=\sum_{n=0}^\infty\frac{\phi(n)}{n!}(-x)^n \]

:::
该定理陈述了整函数梅林变换的一般性质。

应用

DHL Integral

我先把我博客简介里的 DHL integral 证明了。
考虑积分:

\[I=\int_0^\infty\sin x^n\,\mathrm dx \]

\(t=x^n,s=\frac1n\),则:

\[\begin{aligned} I&=s\int_0^\infty t^{s-1}\sin t\,\mathrm dt\\ &=s\mathfrak I\int_0^\infty t^{s-1}e^{it}\,\mathrm dt \end{aligned} \]

考虑将 \(e^{it}\) 泰勒展开(我在之前的文章里证明了,这是可行的),得:

\[\begin{aligned} e^{it}&=\sum_{n=0}^\infty\frac{(it)^n}{n!}\\ &=\sum_{n=0}^\infty\frac{(-t)^n}{n!}\underbrace{e^{-i\frac{n\pi}2}}_{\phi(n)} \end{aligned} \]

应用 Ramanujan Master Theorem,便得:

\[I=\mathfrak I[\,s\Gamma(s)e^{i\frac{s\pi}2}]=\frac1n\Gamma\left(\frac1n\right)\sin\left(\frac\pi{2n}\right) \]

同理:

\[\int_0^\infty\cos x^n\,\mathrm dx=\frac1n\Gamma\left(\frac1n\right)\cos\left(\frac\pi{2n}\right) \]

An Anomalous Integral

考虑积分:

\[I=\int_0^\infty\frac{\mathrm dx}{1+x^n} \]

\(t=x^n,s=\frac1n\),于是有:

\[\int_0^\infty\frac{\mathrm dx}{1+x^n}=s\int_0^\infty\frac{t^{s-1}}{1+t}\,\mathrm dt \]

注意到:

\[\frac1{1+t}=\sum_{n=0}^\infty(-t)^n=\sum_{n=0}^\infty\frac{(-t)^n}{n!}\underbrace{\Gamma(1+n)}_{\phi(n)} \]

应用 Ramanujan Master Theorem,便得:

\[I=s\Gamma(s)\Gamma(1-s)=\frac{\pi}{n\sin\frac\pi n} \]

首先,回顾 \(\psi\) 函数的级数展开形式:

\[\psi(n)=-\gamma+\sum_{k=0}^\infty\left(\frac1{k+1}-\frac1{k+n}\right) \]

移项可得:

\[H_n=\psi(1+n)+\gamma \]

考虑积分:

\[I=\int_0^\infty\frac{x^{s-1}\ln(1+x)}{1+x}\,\mathrm dx,\mathfrak{R}(s)\in(0,1) \]

注意到:

\[\ln(1+x)=-\sum_{n=0}^\infty\frac{(-x)^{n+1}}{n+1},\frac1{1+x}=\sum_{n=0}^\infty(-x)^n \]

于是:

\[\begin{aligned} \frac{\ln(1+x)}{1+x}&=-\sum_{n=0}^\infty\frac{x^{n+1}}{n+1}\cdot\sum_{n=0}^\infty(-x)^n\\ &=-\sum_{n=0}^\infty(-x)^n\sum_{k=1}^n\frac{1}k\\ &=-\sum_{n=0}^\infty H_n(-x)^n\\ &=-\sum_{n=0}^\infty \left[\psi(1+n)+\gamma\right](-x)^n \end{aligned} \]

采用和上题一样的技巧,于是得到:

\[I=-\frac\pi{\sin \pi s}\left[\psi(1-s)+\gamma\right] \]

Zeta Function

最后再给一个黎曼函数与伯努利数的联系。
首先:

\[\zeta(s)\Gamma(s)=\int_0^\infty\frac{x^{s-1}}{e^x-1}\,\mathrm dx \]

注意到右边是一个 Mallin Transform,根据 Ramanujan Master Theorem 可知:

\[\frac1{e^x-1}=\sum_{n=0}^\infty\frac{\zeta(-n)}{n!}(-x)^n \]

注意到这和伯努利数的生成函数十分相似,于是:

\[\sum_{n=0}^\infty\textcolor{red}{B_n}\frac{x^n}{n!}=\sum_{n=0}^\infty (-1)^n\frac{\zeta(-n)}{n!}x^{n+1} \]

考虑统一一下次数,注意到 \(\displaystyle\lim_{n\to\infty}\frac{n}{n!}=0\),于是:

\[\sum_{n=0}^\infty (-1)^n\frac{\zeta(-n)}{n!}x^{n+1}=\sum_{n=0}^\infty\textcolor{red}{(-1)^{n+1}n\zeta(1-n)}\frac{x^n}{n!} \]

比较系数,得:

\[\zeta(1-n)=(-1)^{n+1}\frac{B_n}{n} \]

注意到伯努利数除第一项得奇项均为 \(0\),于是可将式子改写成:

\[\boxed{\zeta(1-2n)=-\frac{B_{2n}}{2n},n\in\mathbb Z} \]

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/944709.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

【周记】2025.10.13~2025.10.19

2025.10.13~2025.10.19 周记不是太好的一周,随便说说两句吧。 ① 这一周非常非常的累...... 我们是周二、周四晚上(还有周六一整天哈)会上信息学竞赛,搞得我疲惫不堪。我们先是学了矩阵乘法,然后又打了一场模拟赛…

C++案例 自定义数组

#include <string> #include <iostream> #include <algorithm> #include <initializer_list> using namespace std;template<class T> class myArray {// 类模板 友元 重载 外部类实现/…

20251023周四日记

20251023周四日记今天心情好多了,项目终于快完事了。 今日: 1.早上买个早点肉夹馍来组里吃,来时正好碰见师姐收签字。更新了财政系统,搜了个nb的VLM综述。和博、耀对接好明天找他们去。 2.中午不老饿的,呆到两点去…

10.23《程序员修炼之道 从小工到专家》第二章 注重实效的途径 - GENGAR

软件开发需遵循多类核心原则,以提升效率、降低风险并保障代码质量。 DRY 原则(Don’t Repeat Yourself)要求系统中每项信息有单一权威表示,可避免重复带来的维护难题。重复主要分四类:强加的重复可通过方法规避,…

玩转单片机之智能车小露——LED闪烁实战

用单片机点亮一颗LED非常简单,让一颗LED闪烁也很简单,比如写一段下面这样的程序: while(1){ // 无限循环LED1 = 0; // 点亮LEDdelay_ms(300); // 延时300msLED1 = 1; // 熄灭LEDdelay_ms(300); // 延…

ord() 函数

ord() 函数以一个字符(长度为 1 的字符串)作为参数,返回对应的 ASCII 数值,或者 Unicode 数值,如果所给的 Unicode 字符超出了你的 Python 定义范围,则会引发一个 TypeError 的异常。 ord() 函数的语法: ord(c)…

2025.10.23总结 - A

今天上了数据结构还有体育,加油

树状数组求逆序对

统计对于每个i<j,求a[i]>a[j]的数量 在每一次更新(update)树状数组时,以元素的值作为树状数组的索引,更新的值为 +1,代表个数。 在每一次获取(query)逆序对数时,存在于树状数组中的元素的索引值都比当前…

大模型 | VLA 初识及在自动驾驶场景中的应用

一、VLA 简介 1.1 VLA 定义 VLA (Vision Language Action)是一种多模态机器学习模型,结合了视觉、语言和动作三种能力,旨在实现从感知输入直接映射到控制动作的完整闭环能力。VLA 强调一体化多模态端到端架构,非感…

Redis中的分布式锁之SETNX底层实现

https://blog.csdn.net/qq_39032307/article/details/148683477

2025家纺摄影公司推荐,南通鼎尚摄影专注产品视觉呈现

2025家纺摄影公司推荐,南通鼎尚摄影专注产品视觉呈现 家纺摄影行业面临的技术挑战 随着电商行业的蓬勃发展,家纺摄影行业正面临着前所未有的技术挑战。据统计,超过70%的线上消费者表示,产品图片质量直接影响其购买…

ExPRT.AI如何预测下一个将被利用的漏洞

本文详细介绍了CrowdStrike Falcon Exposure Management中的ExPRT.AI引擎如何利用实时对手信号、观测到的攻击行为以及基于专有威胁情报训练的AI来预测最可能被利用的漏洞,帮助安全团队优先处理最关键的安全风险。How…

求函数

求函数 题目描述 牛可乐有 $n$ 个一次函数,第 $i$ 个函数为 $f_i(x) = k_i \times x + b_i$。 牛可乐有 $m$ 次操作,每次操作为以下二者其一:$1$ $i$ $k$ $b$ 将 $f_i(x)$ 修改为 $f_i(x) = k \times x + b$。 $2$ …

AI元人文构想的跨学科研究:技术实现与人文影响分析——对自由与责任的再框架化(DeepSeek基于Ai元人文系列文章研究)

AI元人文构想的跨学科研究:技术实现与人文影响分析——对自由与责任的再框架化 ——DeepSeek基于Ai元人文系列文章研究引言:AI元人文构想的理论基础与概念界定1.1 概念起源与核心内涵 “AI元人文”构想由学者岐金兰提…

Python---简易编程解决工作问题

近期在做一些很简单但是很繁琐的工作,就考虑使用Python来进行开发一些工具。 首先是下载安装Pythonhttps://www.python.org/downloads/release/python-3140/检查是否安装成功:python --version检测pip是否正常:pip …

DM8 安装包 for linux_x86

下载地址 https://8ma.co/res/VWXE40M2 ◀ ◀ ◀.zstitle { width: 280px; text-align: center; font-size: 26px } .zsimgweixin { width: 280px } .zsimgali { width: 280px; padding: 0px 0px 50px 0px } .zslef…

日总结 16

Git 是一款分布式版本控制系统,核心作用是追踪文件(尤其代码)的修改历史、管理多版本,并支持多人高效协作。它通过记录每一次修改(可随时回退到任意历史版本)、分支功能(实现并行开发不冲突)、分布式特性(本地…

MPK(Mirage Persistent Kernel)源码笔记(1)--- 基础原理

MPK(Mirage Persistent Kernel)源码笔记(1)--- 基础原理 目录MPK(Mirage Persistent Kernel)源码笔记(1)--- 基础原理0x00 概要0.1 传统LLM推理框架的瓶颈0.2 MPK的流程重构0.3 MPK的关键优势0x01 问题1.1 现有…

背包dp(1)

背包dp(1)Posted on 2025-10-23 21:24 tttfred 阅读(0) 评论(0) 收藏 举报做到了一个题,发现对背包问题理解有点浅,应该说是忘了 Dutch Democracy 给你一个数集,你要找到出满足以下两个条件的子集的个数 1.和…

模拟can通信

实验一 模拟can通信 1、虚拟CAN接口创建 实车上算法一般通过ros进行通信,车辆和控制器之间则通过can通信实现。 can信号的发送和接收一般是需要载体的,我们一般都有can0和can1设备可以使用,在电脑上创建这个设备: …