狄利克雷问题(10.30)

狄利克雷函数的表达式狄利克雷函数（Dirichlet function），也称为指示函数（indicator function），是数学中的一种特殊函数，其定义如下：对于任意实数 x，狄利克雷函数 D(x) 的取值情况为：当 x 为有理数时，D(x) = 1；当 x 为无理数时，D(x) = 0。

狄利克雷函数是一个典型的例子，展示了有理数和无理数之间的根本区别。

有理数是可以表示为两个整数的比值，而无理数则无法被表示为这种形式。

狄利克雷函数的定义表明，它在有理数处取值为1，在无理数处取值为0。

由于有理数和无理数在实数轴上是无处不在的，所以狄利克雷函数在实数轴上几乎处处不连续。

狄利克雷函数的定义可以进一步拓展到多维空间。

在 n 维实数空间中，狄利克雷函数 D(x, x, ..., x) 的取值情况如下：当 (x, x, ..., x) 为有理数的 n 元组时，D(x, x, ..., x) = 1；当 (x, x, ..., x) 为无理数的 n 元组时，D(x, x, ..., x) = 0。

狄利克雷函数在多维空间中的定义基本上与一维情况相同，只是将实数扩展到了 n 元组。

这种定义方式使得狄利克雷函数能够描述多维空间中有理数和无理数的分布情况。

狄利克雷函数在数论和实分析等领域有着广泛的应用。

它可以用来研究数列的收敛性、连续性和可积性等性质。

此外，狄利克雷函数还在构造非 Riemann 可积函数和证明一些数学定理时发挥着重要的作用。

总结来说，狄利克雷函数是一种特殊的函数，它在有理数处取值为1，在无理数处取值为0。

它的定义可以拓展到多维空间，用于描述有理数和无理数的分布情况。

狄利克雷函数在数论和实分析等领域有着广泛的应用，对于研究数学问题具有重要意义。

2 2
自然边界条件 R(0)有界，( 2 ) ( ) 分离结果
r 2 R " rR ' 2 R 0 " 2 0 , ( 2 ) ( ) R(0)有界
r 2 R " rR ' 2 R 0 " 2 0 分离结果的求解 , ( 2 ) ( ) R(0)有界
u ( , ) R( )( ) 2 R" R' 2 R 0 , | R() | " 2 0 ( 2 ) ( )
分离变量
分别求解 Rm ( ) m , m ( ) Am cos m Bm sin m 合成半通解 代入初始条件
A0
A,
A1 0,
A2 1 Aa 2 , 2
Am 2 Bm 0
u

2
m 0
m ( Am cos m Bm sin m )
A sin
1 2

m 0
a m ( Am cos m Bm sin m )
A 1 A cos 2 A0 a 1 A1 cos a 2 A2 cos 2 2
1 2
n 0 A0 r n ( An cos n B n sin n ) 2 n 1
边界条件要求
A0 n f ( ) l [ An cos( n ) Bn sin( n )] 2 n 1
2
只需:
1 An n l B 1 n ln
分别求解 合成半通解
1 2
Rm ( ) m , m ( ) Am cos m Bm sin m

数学竞赛中的组合数论问题代数、几何、数论轮、组合是奥林匹克数学的主要内容，数学竞赛中常常遇到这样一些题目，这些题目把组合知识和数论知识交汇在一起，使得竞赛题目更有活力．我们姑且把这类题目叫做“组合数论”问题．组合数论问题大致有两类，一类是用组合数学的原理解决数论问题，另一类是用数论知识解决组合问题． ．从两道经典的数论问题谈起．1．狄利克雷（Dirichlet 1805-1859）定理．设θ为无理数，则对任意的正整数n ，存在整数,p q ，其中q n ≤，并且1q p nθ-<． 证明 将区间[]0,1分成n 等份，每份长为1n． 考虑1n +个数{}j θ，0,1,2,,j n =．这里{}j θ是j θ的小数部分，即{}[]j j j θθθ=-．因而{}()0,1j θ∈．由于把1n +个数{}j θ，放入n 个长为1n的区间，由抽屉原理，必有两个数在同一区间， 设为{}h θ和{}k θ，{},0,1,2,,h k n ∈，且h k ≠． 则有 {}{}1h k nθθ-≤． 从而()[][]()1h k h k nθθθ---≤， 令q h k =-，[][]p h k θθ=-，则上式化为1q p nθ-≤， 因为θ为无理数，所以等号不可能成立． 因而1q p nθ-<． 狄利克雷应用抽屉原理导出了他的有理数逼近定理，这是历史上第一次应用抽屉原理获得的不平凡结果，是一项很好的原创性工作，所以抽屉原理又称狄利克雷原理．2．证明不定方程442x y z +=没有正整数解．证明 假设不定方程442x y z +=有正整数解(),,x y z ，在所有的解中一定有一组解，它的z 值比其余组解的z 值小．（这是极端原理的体现，极端原理的一种形式是在一个有限正整数集合中，必有一个最小数．）因而，存在一个最小的正整数u ，使得442x y u +=，0,0,0x y u >>>． ① 有解．这时(),1x y =，不然的话，就有(),1x y >，且()()()2442,,,x y u x y x y x y ⎛⎫⎛⎫⎛⎫+= ⎪⎪ ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭． 但()20,uu x y <<，与u 的假定矛盾．由222x y u +=的正整数解的结果可知，①中的2x 和2y 必定一为奇数，一为偶数，不妨假定2x 为偶数，则有2222222,,x ab y a b u a b ==-=+ ② 其中0a b >>，(),1a b =，且a 和b 一为奇数，一为偶数．因此2|x ，2|y /，且2|a /，2|b ．这时因为，若2|a ，2|b /，则()2221mod4y a b =-≡-，此时不可能为平方数．于是由 222y b a +=，有 2222,2,y p q b pq a p q =-==+，这里(),1,0p q p q =>>，且p 和q 一为奇数，一为偶数． 由22x ab =，有()2224x pq p q =+，因为22,,p q p q +两两互质，则它们都是某个整数的平方．即 22222,,p r q s p q t ==+=， 所以 442r s t +=． 于是(),,r s t 是①的一组解．这时，22222u a b a p q t t =+>=+=>．与u 的最小性矛盾．这个证明方法叫无穷递降法，是从极端原理出发的一种证法．这一命题是Fermat 大定理的一个组成部分，1637年法国数学家费马（Pierre de Fermat ，1601～1665）提出了下面的猜想：当2n >时，方程nnnx y z +=没有正整数解．因为大于2的整数必能被4或奇质数整除，因此，如果对于4n =或n 等于任意奇质数，方程都没有正整数解，那么费马问题就全部解决。

间断点
间断点是指：在非连续函数y=f(x)中某点处xo处有中断现象，那么，xo就称为函数的不连续点。间断点可以 分为无穷间断点和非无穷间断点，在非无穷间断点中，还分可去间断点和跳跃间断点。如果极限存在就是可去间 断点，不存在就是跳跃间断点。
几种间断点常见类型。
可去间断点：函数在该点左极限、右极限存在且相等，但不等于该点函数值或函数在该点无定义。如函数y= （x^2-1)/(x-1)在点x=1处。
跳跃间断点：函数在该点左极限、右极限存在，但不相等。如函数y=|x|/x在点x=0处。
无穷间断点：函数在该点可以无定义，且左极限、右极限至少有一个不存在，且函数在该点极限为∞。如函 数y=tanx在点x=π/2处。
振荡间断点：函数在该点可以无定义，当自变量趋于该点时，函数值在两个常数间变动无限多次。如函数 y=sin(1/x)在x=0处。
①傅里叶变换
①傅里叶变换
②傅里叶逆变换
②傅里叶逆变换
谢谢观看
定义
狄利克雷条件(Dirichlet Conditions) （1 ）在一周期内，连续或只有有限个第一类间断点； （2）在一周期内，极大值和极小值的数目应是有限个； （3）在一周期内，信号是绝对可积的 一般我们遇到的周期信号都能满足狄利克雷条件。 狄利克雷条件是一个信号存在傅里叶变换的充分不必要条件。
背景
傅里叶在提出傅里叶级数时坚持认为，任何一个周期信号都可以展开成傅里叶级数，虽然这个结论在当时引 起许多争议，但持异议者却不能给出有力的不同论据。直到20年后(1829年)狄利克雷才对这个问题作出了令人信 服的回答，狄利克雷认为，只有在满足一定条件时，周期信号才能展开成傅里叶级数。这个条件被称为狄利克雷 条件。
f(t)是t的周期函数，如果t满足狄利克雷条件：在一个以2T为周期内f(X)连续或只有有限个第一类间断点， 附f（x）单调或可划分成有限个单调区间，则F（x）以2T为周期的傅里叶级数收敛，和函数S（x）也是以2T为周 期的周期函数，且在这些间断点上，函数是有限值；在一个周期内具有有限个极值点；绝对可积。则有下图①式 成立。称为积分运算f(t)的傅里叶变换，②式的积分运算叫做F(ω)的傅里叶逆变换。F(ω)叫做f(t)的像函数， f(t)叫做F(ω)的像原函数。F(ω)是f(t)的像。f(t)是F(ω)原像。