Liouville定理(实际上是Liouville第二定理)+切比雪夫定理

切比雪夫定理的证明 目录 导言 正文 1 关于初等函数 2 Abel积分的分类 3 有理函数体及其扩张 4 Liouville定理 5 P.L.Chebyshev定理 导言 说明: 原文档已更新为此文档! 这... 阅读详情

举个栗子

∫ x ( 1 + x ) 2 e x d x \int \frac{x}{(1+x)^2} e^xdx ∫(1+x)2x​exdx
由 函 数 乘 积 与 函 数 复 合 的 求 导 法 则 知 x ( 1 + x ) 2 = a ( x ) + a ′ ( x ) 由函数乘积与函数复合的求导法则知 \frac{x}{(1+x)^2} =a(x)+a'(x) 由函数乘积与函数复合的求导法则知(1+x)2x​=a(x)+a′(x)
x ( 1 + x ) 2 = ( x + 1 ) − 1 ( 1 + x ) 2 = x + 1 ( 1 + x ) 2 − 1 ( 1 + x ) 2 \frac{x}{(1+x)^2}=\frac{(x+1)-1}{(1+x)^2}=\frac{x+1}{(1+x)^2}-\frac{1}{(1+x)^2} (1+x)2x​=(1+x)2(x+1)−1​=(1+x)2x+1​−(1+x)21​
I = 1 1 + x e x I=\frac{1}{1+x}e^x I=1+x1​ex

定理

R ( x ) e p ( x ) R ( x ) 有 理 式 , p ( x ) 多 项 式 R(x)e^{p(x)} \\ R(x)有理式,p(x)多项式 R(x)ep(x)R(x)有理式,p(x)多项式
∫ R ( x ) e p ( x ) d x = A [ x ] e p ( x ) , 并 且 A [ x ] 与 R ( x ) 形 式 一 致 , d e g ( A , x ) ≤ d e g ( R , x ) + 1 \int R(x)e^{p(x)} dx=A[x]e^p(x),并且A[x]与R(x)形式一致,deg(A,x) \leq deg(R,x)+1 ∫R(x)ep(x)dx=A[x]ep(x),并且A[x]与R(x)形式一致,deg(A,x)≤deg(R,x)+1

简单粗略的证明

∫ R ( x ) e p ( x ) d x = [ a 1 ( x ) + b 1 ( x ) ] e p ( x ) \int R(x)e^{p(x)} dx=[a_{1}(x)+b_{1}(x)]e^{p(x)} ∫R(x)ep(x)dx=[a1​(x)+b1​(x)]ep(x)

= ∫ ( p ′ ( x ) a 1 ( x ) + a 1 ′ ( x ) + R 1 ( x ) ) e p ( x ) d x = \int(p'(x)a_1(x)+a_1'(x)+ R_1(x) )e^{p(x)}dx =∫(p′(x)a1​(x)+a1′​(x)+R1​(x))ep(x)dx
= a 1 ( x ) e p ( x ) + ∫ R 1 ( x ) e p ( x ) d x = a_1(x) e^{p(x)}+\int R_1(x) e^{p(x)}dx =a1​(x)ep(x)+∫R1​(x)ep(x)dx
提 首 项 , 令 a 1 ( x ) = c 1 x m 1 p ′ ( x ) Q ( x ) 提首项 ,令a_1(x)= \frac{c_1x^{m1}}{p'(x)Q(x)} 提首项,令a1​(x)=p′(x)Q(x)c1​xm1​
⇒ R 1 ( x ) = c 2 ( x ) x m 2 + S 2 ( x ) + U 1 ( x ) Q ( x ) \Rightarrow R_1(x)=\frac{c_2(x)x^{m2}+S_2(x)+U_1(x)}{Q(x)} ⇒R1​(x)=Q(x)c2​(x)xm2+S2​(x)+U1​(x)​
其 中 S 2 ( x ) 是 多 项 式 , U 1 ( x ) 是 真 分 式 其中 S_2(x)是多项式,U_1(x)是真分式 其中S2​(x)是多项式,U1​(x)是真分式
以 此 类 推 以此类推 以此类推
∫ R ( x ) e p ( x ) d x = ∑ i = 1 n a i ( x ) e p ( x ) + ∫ U n ( x ) Q ( x ) e p ( x ) d x \int R(x)e^{p(x)} dx= \sum_{i=1}^{n} a_{i}(x)e^{p(x)}+\int \frac{U_n(x)}{Q(x)}e^{p(x)}dx ∫R(x)ep(x)dx=i=1∑n​ai​(x)ep(x)+∫Q(x)Un​(x)​ep(x)dx
如 果 U n ( x ) = 0 , 则 原 积 分 有 闭 形 式 解 , 否 则 无 闭 形 式 解 如果U_n(x)=0,则原积分有闭形式解,否则无闭形式解 如果Un​(x)=0,则原积分有闭形式解,否则无闭形式解
符 号 计 算 选 讲 S e l e c t   L e c t u r e   i n   S y m b o l i c   C o m p u t a t i o n   符号计算选讲 Select \ Lecture \ in \ Symbolic\ Computation \ 符号计算选讲Select Lecture in Symbolic Computation 
e x 2 中 1 = 2 x ∗ 1 2 x , R 1 x = 1 − ( p ′ ( x ) a 1 ( x ) + a 1 ′ ( x ) = 1 2 x 2 ) e^{x^2}中 1=2x*\frac{1}{2x},R_1{x}=1-(p'(x)a_1(x)+a_1'(x)=\frac{1}{2x^2}) ex2中1=2x∗2x1​,R1​x=1−(p′(x)a1​(x)+a1′​(x)=2x21​)
将 所 有 的 整 数 的 x n 项 提 取 完 之 后 , 剩 余 U = = 1 2 x 2 不 为 零 将所有的整数的x^n项提取完之后,剩余U==\frac{1}{2x^2} 不为零 将所有的整数的xn项提取完之后,剩余U==2x21​不为零






切比雪夫定理

∫ x m ( a + b x n ) p d x \int x^m(a+bx^n)^pdx ∫xm(a+bxn)pdx
其中a,b均为实数, m,n,p为有理数。则该积分初等可积的条件分别为以下三种:

p 为 整 数 。 p为整数。 p为整数。
m + 1 n 为 整 数 。 \frac{m+1}{n}为整数。 nm+1​为整数。
p + m + 1 n 为 整 数 。 p+\frac{m+1}{n} 为整数。 p+nm+1​为整数。

无穷级数积分法最先是被牛顿使用的,当他发现了二项式定理后,就放弃了用于求积分的插值法,而采用二项式定理把函数展开成无穷级数,并逐项积分的方法

1.p是整数,直接二项式展开
2.p不是整数,惯用伎俩
在这里插入图片描述
令 t = a + b x t=a+b^x t=a+bx
( t − a ) m n d ( t − a ) 1 n , 求 导 乘 原 次 数 , 再 次 数 减 一 , 总 次 数 就 是 m n + 1 n − 1 (t-a)^{\frac{m}{n}}d(t-a)^{\frac{1}{n}} ,求导乘原次数,再次数减一,总次数就是 \frac{m}{n} + \frac{1}{n}-1 (t−a)nm​d(t−a)n1​,求导乘原次数,再次数减一,总次数就是nm​+n1​−1
第 三 种 情 况 , 第三种情况, 第三种情况,

∫ x m ( a + b x n ) p d x = ∫ x m + n p ( a x − n + b ) p d x , 处 理 和 2 一 样 \int x^m(a+bx^n)^pdx=\int x^{m+np}(ax^{-n}+b)^pdx,处理和2一样 ∫xm(a+bxn)pdx=∫xm+np(ax−n+b)pdx,处理和2一样
在这里插入图片描述
图片来源与一些参考:

https://www.zhihu.com/question/357044799
https://www.zhihu.com/question/397590932/answer/1248588688

积分表
给喜欢搞积的人一些建议

有关Liouville公式的一些思考 这是我在csdn上的第一篇原创博客,下定决心要写它的原因其实很简单,我之前在学习常微分方程时,竟然在偌大的互联网上都找不到详细的刘维尔公式的证明,还发现了有网友回答“同学,你是zju的吧”这类的令人啼笑皆非的话语。好了,言归正传,以下就是我对刘维尔公式的一些思考,如有错误,欢迎指正。              首先来看一下方道远编写的《常微分方程》(浙江大学出版社)里面是怎么证明的:![Wron 阅读详情

相关推荐

固有值问题的Sturm-Liouville定理(广义Fourie展开) | 分离变量法(四)| 偏微分方程(十六)

固有值问题的Sturm-Liouville定理 函数的广义Fourie展开 在线性代数中,n维实线性空间V中定义了内积 ⟨x,y⟩=∑j=1nxjyj,x=(x1,x2,⋅⋅⋅,xn),y=(y1,y2,⋅⋅⋅,yn) \langle \bold x,\bold y\rangle=\sum_{j=1}^n x_jy_j,\quad \bold x=(x_1,x_2,···,x_n), \quad \bold y=(y_1,y_2,···,y_n) ⟨x,y⟩=j=1∑n​xj​yj​,x=(x1​,x2​,

用途:中英文学习笔记,如有侵权,可评论留言,及时清理;学历:NUS计算机硕士;SYSU地球物理学士 3254

复分析学习10——Liouville定理及其应用

前面我们得到关于全纯函数导数的估计式 \[|f'(z_{0})|\leq\frac{1}{r}\cdot\sup\limits_{z\in B(z_{0},r)}|f(z)|\] 如果我们设$f(z)$在整个复平面$\mathbb C$上有界,在上式中令$r\to\infty$即得 \[f'(z_{0})=0\] 由$z_{0}$的任意性可知$f'(z)=0$在$\mathbb C...

weixin_33849942的博客 1280

【信息科学与工程学】【数据科学】第一百八十八篇 线性/非线性泛函分析01

​ 普通数值函数 f:R→R​泛函⬇️最规矩的孩子:线性泛函(面积、加权求和)⬇️大多数自然界的现象:非线性泛函(曲线的能量、弧长)⬇️最光滑好算的:连续/可微泛函(可用欧拉-拉格朗日方程求极值的)⬇️刺头:不连续/奇异泛函(狄拉克 Delta,阶跃)弧长泛函​ — 变分法/几何最速降线泛函(时间泛函)​ — 变分法/经典力学动能-势能差(作用量)泛函​ — 拉格朗日力学Dirichlet能量泛函​ — PDE/位势论/调和函数线性积分泛函(Lebesgue空间上的有界线性泛函)

weixin_49199313的博客 192

Liouville 公式

Liouville公式

ehsdhgd的博客 939

初等函数积分的刘维尔定理Liouville's theorem on integration in terms of elementary functions

This talk should be regarded as an elementary introduction to differential algebra. It culminates in a purely algebraic proof, due to M. Rosenlicht, of an 1835 theorem of Liouville on the existence of “elementary” integrals of “elementary” functions. The precise meaning of elementary will be specified. As an application of that theorem we prove that the indefinite integral ∫e^(x^2)dx cannot be expressed in terms of elementary functions. 这次演讲应该被看作是对微分代数的初步介绍。由M.Rosenlicht 于1835年提出的关于“初等”函数的“初等”积分的存在性的刘维尔定理,其结果是一个纯粹的代数证明。“基本”的精确意义将被指定。作为该定理的一个应用,我们证明了不定积分∫e^(x^2)dx不能用初等函数表示。

判断两个多边形是否相交(java实现)

判断两个多边形是否相交 ,当前认为一个点相交也是相交,可针对凹多边形和凸边型等多复杂的多边形进行相交判断,采用java实现,因为网上java实现的比较少,所以这里写下如何实现,适用于碰撞检测,地图等等应用场景

IT_CREATE的博客 5843

柳维尔定理与代数基本定理

1. 前言 本文主要介绍代数中的一个重要定理:代数基本定理。它的内容很简单,可以归纳为 代数基本定理:n次复系数多项式方程在复数域内有且只有n个根。 从它的名字来看,“基本” 二字说明了这一定理对当时代数研究的重要意义。数学史上,在这一定理出现之前,代数领域的主要研究内容为求解多项式方程,但对于根的一些特性(求解方法,数目)了解甚少。因此,代数基本定理的出现,告诉了人们根的数目。只要求出对应数量的根,经过带入多项式验证之后,就可以证明这些根是其所有解。 在进入复数域之前...

weixin_37872766的博客 2641

WinCC动态选择报警记录案例

本例中需要确认查询的时间段以及查询的关键字,然后通过一个按钮来执行报警数据查询脚本,并把查询出的结果加载到当前报警控件中。<本例中数据查询脚本的思路是根据选项组所选定的参数加载相应的归档变量到在线趋势控件,根据设定的查询时间范围设定控件时间轴的开始时间及结束时间。本文以 WinCC V8.0为例,介绍如何动态的查询WinCC报警记录,包括关键字查询/时间&关键字查询,如图1所示。<在WinCC变量管理中创建不同的变量组,并在变量组下创建相应的变量,如图2 所示(下图并非实际变量值)。

weixin_45072604的博客 2707

刘维尔定理暂记

∫xm(a+bxn)pdx \int x^m(a+bx^n)^pdx ∫xm(a+bxn)pdx 其中a,b均为实数, m,n,p为有理数。则该积分初等可积的条件分别为以下三种: p为整数。p为整数。p为整数。 m+1n为整数。\frac{m+1}{n}为整数。nm+1​为整数。 p+m+1n为整数。p+\frac{m+1}{n} 为整数。p+nm+1​为整数。 ...

ResumeProject的博客 1470

从零到一:Gromacs伞形采样的实战避坑指南

本文详细介绍了Gromacs伞形采样技术的实战应用与避坑指南,涵盖核心原理、环境准备、参数设置、数据分析及性能优化等关键环节。特别针对蛋白质-配体结合自由能计算等典型应用场景,提供了弹簧常数设置、采样窗口间距等实用参数建议,帮助研究人员高效完成分子动力学模拟。

weixin_29243279的博客 512

ServiceNow Discovery & CMDB Interview Questions and Answers (2025)

【代码】ServiceNow Discovery & CMDB Interview Questions and Answers (2025)

weixin_47584092的博客 910

复变函数微积分

欧拉公式:,当等于时,得 棣美弗定理:(用归纳法或者极式方式证明) 复数计算: ,,,, 分支点:自变量饶某个点走一圈,因变量没有走到出发点,该点为分支点 奇异点(不可微分的点) 可去奇点:如 极点:若能找到一个整数n使则称为n阶极点(pole of order n) 分支点:会出现多值函数的点 本质极点:是奇点中的“严谨”的一类 无限极点:在无穷大处出现极点 洛必达法则:(和实数一样用) 可微分的必要条件:要满足柯西黎曼方程式 可微分的充分条件:满足柯西黎曼方程式且连...

qq_23114283的博客 2709

实现边缘实时动物检测:YOLOv5模型优化与树莓派4B部署全攻略

本文介绍了基于高性能计算机训练YOLOv5目标检测模型,并部署到树莓派4B实现实时动物检测的全流程。主要内容包括:1)在高性能计算机上通过Anaconda创建虚拟环境,安装YOLOv5项目并进行模型训练;2)将训练好的best.pt模型迁移到树莓派,配置轻量级Miniconda环境;3)连接树莓派摄像头,运行实时检测程序。该系统兼顾了训练效率和边缘设备部署的实用性,可广泛应用于智慧农业、生态监测等场景。文中详细说明了数据准备、环境配置和部署步骤,为开发轻量级目标检测系统提供了完整参考方案。

m0_64661770的博客 200

(八)解析函数的无穷可微性与 Cauchy 型积分定理

1. 解析函数的无穷可微性 1.1. 解析函数的高阶导数 1.2. 柯西不等式 1.3. Liouville 定理 1.4. 代数基本定理

AlbertM的博客 3031

【NIPS 2022】时序精选论文07|Non-stationary Transformers: 引入非平稳性信息的平稳化序列预测模型(代码解读附源码)

整体代码框架基本上与传统 Transformer 类似,基本上只有在内嵌的注意力机制模块有区别,因此这里只对关键部分进行讲解,代码整体框架可参考 Transformer。非平稳时序很难预测,尤其对模型泛化性影响很大,试想下推理阶段的数据分布变了,模型很难适应这种变化。,比如很早以前的差分就是一种平稳化操作。序列平稳化能增强数据的可预测性,但这时也会带来一个问题,叫。,通过MLP层进行定义,使得参数可学习,以便于更好的融合到注意力网络中。代码中整体注意力的计算方式与原生Transformer类似,

ViolenceTemper的博客 1490

VAY 是 SAP 自动科目确定(OBYC-GBB)中的科目修改码,专用于带科目分配对象的销售订单发货场景,核心是触发 “Dr 成本要素科目(如销售费用 / 特定成本对象) Cr 库存商品” 的分录,

摘要:VAY是SAP中用于带科目分配对象(如成本中心、WBS)的销售订单发货的科目修改码,与标准VAX场景不同,它生成"借成本要素科目/贷库存商品"的分录。配置路径为OBYC-GBB-VAY,需确保借方科目为成本要素。典型业务场景包括免费样品、项目专用发货等。常见问题包括VAY未触发或科目记账错误,需检查销售订单科目分配、移动类型设置及OBYC配置。特殊场景建议单独配置科目以便费用分析。

金牌架构师 1252

切比雪夫求积分法(附全过程代码)

前言   这是一篇数值计算算法的开胃菜,主要介绍切比雪夫求积分法的使用;如果你遇到编程和数学的问题,强烈建议找到你身边的算法工程师或者计算机、电子、通信、数学专业的朋友,往往能够事半功倍。 求解Gamma函数 Gamma函数对特殊值   以下资料来自于维基百科   切比雪夫多项式展开 通过求解方程组的方式解出c[i]的值,即可通过c[I]求解出Gamma函数的值 ···* #写于2019年3月...

m0_37772174的博客 6556

C# WinForm 基于DirectShow.dll编写的程序,可边预览边保存视频,音频和图片

基于微软的DirectShow.dll的二次开发1.自动识别连接的摄像头跟麦克风且可以对其进行选择(默认选中第一个)2.可录制wmv和avi两种格式的视频并且都带有音频,avi可以录制的分辨率和帧数进行选择,wmv默认进行了淸晰度优化如不喜欢可去除代码中有相关提示3.可在预览点开之后进行拍照,也可边录制视频边拍照4.添加了视频和音频的压缩功能(酌情使用)这次二次开发发现C#对DirectShow的相关信息太少,这次做完也不敢藏私共享出来,还望大家指正

群的阶数与群的指数

群的阶数(有限群的阶数) 有限群是具有有限多个元素的群。群论的重要内容之一。其所含元素的个数,称为有限群的阶。有限群可分为两大类:可解群与非可解群(特别包括非交换单群)(见群、有限单群)。 一般来讲群的元素个bai数称为群的阶。du对于群当中的某个元素a,最小zhi的满足a^n=e的正dao整数n称为元素a的阶(也叫周期),如果不存在这种n可以称a的周期为0(或无穷),可以等价地说a生成的循环群的阶就是a的阶。 群的指数(子群H对群G的指数): 一子群H对群G的指数定义为G对H的陪集的集合的基数,即陪集的数

ResumeProject的博客 2万+

复分析 阿尔福斯(Ahlfors) 第三版答案 英文

答案分为十章,有部分习题没有答案,全英文复分析阿尔福斯(Ahlfors) 第三版答案

RU DOS版、EFI版32bit/64bit BIOS常用工具

DOS版、EFI版的RU工具,可用来查看IO、MEM、PCI、SMBIOS等资源。亲测在EFI SHELL下可用。

循环群的子群

循环群的子群仍是循环群 无限循环群的子群除{e}生成的外都是无限阶的 对于阶数n的每个正因子d,恰有一个d阶子群 首先and生成的群一定是G的d阶子群需要证明其唯一性:假设am也生成了d阶子群,(am)d=e,则由n整除m∗d⇒m=k∗ndam=ak∗nd=(and)k,所以am生成的群的集合是and生成的集合的子集,又因为两群阶数相同,所以两个集合相等首先a^{\frac{n}{d}}生成的群一定是G的d阶子群\\ 需要证明其唯一性:假设a^m也生成了d阶子群,(a^m)^d=e,则由n整除m*d\Ri.

ResumeProject的博客 1万+

迈瑞BS系列全自动生化分析仪LIS协议接口手册(内含HL7和ASTM)

迈瑞BS系列全自动生化分析仪LIS协议接口手册,内含HL7和ASTM)

置换群的相关概念,表排序,数字华容道

相关群的概念: 对称群(symmetric group),设X是一个集合(可以是无限集),X上的一个双射:a:X→X(即是置换)。集合X上的所有置换构成的族记为S(x),S(x)关于映射的复合运算构成了一个群,当X是有限集时,设X中的元素个数为n,则称群S(x)为n次对称群。 将S(x)的子群统称为变换群(transformation group)。 置换群 一类具体的有限群。有限集合到自身的一一映射称为一个置换。由全排列知识可知,这样的置换共有n! n!n!个。 研究置换群的性质和构造的理论称为置换群论.

ResumeProject的博客 1万+

五元交错群A5是单群

有限单群(有限群G只有两个平凡的正规子群,定义和素数很像) 当G的子群H是正规子群时,则可考虑G模H的商群,H不是正规子群做商只能得到陪集,不是群 G为有限交换群: 则G是单群iff G的阶为P (结合之前的结论素数阶群一定是循环群,素数阶群一定是唯一的) 证 因Abel群G的任何子群都是G的正规子群,故Abel群G为单群当且 仅当G无非平凡子群,若G是有限阶的,由Sylow第- -定理知G无非平凡子群当 且仅当G的阶为素数. 此时,Va∈G且a≠e有G=(a). 无限阶的Abel群一定有(非平凡)正规子

ResumeProject的博客 7373

子群的陪集-》群的拉格朗日定理

子群的陪集: 定理一:一个子群的任意两个陪集要么相等,要么不相交定理一:一个子群的任意两个陪集要么相等,要么不相交定理一:一个子群的任意两个陪集要么相等,要么不相交 先讨论左陪集,右陪集的性质类似 G=<N6,+6>的子群H=<N2,+6>在G中的左陪集G={0,1,2,3,4,5},H={0,1,2}0H={0,2,4}1H={1,3,5}2H={2,4,0}3H={3,5,1}4H={4,0,2}5H={5,1,3}可见,0H=2H=4H={0,2,4},1H=3H=5H={1,

ResumeProject的博客 5766

沃尔什变换

傅里叶->沃尔什变换 沃尔什函数(集) 拉德梅克(符号)函数 拉德没课函数是定义在0到1上,满足正交性质的一族奇函数。拉德没课函数是定义在0到1上,满足正交性质的一族奇函数。拉德没课函数是定义在0到1上,满足正交性质的一族奇函数。 奇函数乘以奇函数等于偶函数,由于正交性质,同一个函数只能用0或1次(模二加)加上组合得到的部分,得到沃尔什函数(集),二进制码和格雷码一一对应(单射+漫射),所以只是表示不同而已\color{blue}奇函数乘以奇函数等于偶函数,\\ 由于正交性质,同一个函数只能用0或1

ResumeProject的博客 3773

sylow子群与sylow定理和单群

#有相应的pdf 子群的阶数是大群阶数的因子 大群分解为子群的配集 不同的陪及是不交的 用陪集可定义等价关系 当然先在可用轨道的观点看陪集 把集合分解为不相交的轨道的并 左平移发f(g,x)=gx得到的轨道是右陪集(因为x是不变的,Ox) 右平移得到的是左陪集 Sylow子群(书上的126页) (4)的10min开始 134 书的引言:建立这个子群的方法是多种多样的,这里使用 群在集合上的作用的观点,变换群的观点 皮裙 p群:一类特殊的有限群 其阶数是某素数p的次方幂 引理:p群作用在x上 首先x能分

ResumeProject的博客 3328
上一篇: 【电路笔记 信号】状态转移矩阵的特征值和系统的传递函数的极点相对应暂记
下一篇: 刘维尔定理暂记
FakeOccupational
博客等级 码龄6年 2万+粉丝 1727原创
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付:10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值