傅立叶分析导论-4 Some Applications of Fourier Series

2 Weyl’s equidistribution theorem

example1的证明
ai={0,j/i} ,其中 i=1,2,...,j=1,...,i1 ,那么 bi 为把 ai 展开,那么需要证明 #{ai(a,b)}N(ba) ,那么分几个步骤证明:
1
对于任意 ε ,存在N,满足 n>N (baε)#{{ai}n(a,b)}n(ba)

2
如果 yεbay ,那么对于任意c,存在足够大的n,只要 n>c(y2ε)ba(y2ε) ,就有 y2εnbna+cy

3上述2中令 c=N1{ai} 即可得出结论

5 Exercises

1.
(a) ->
sa|γ(t)|dt=sadt=sa
<-
根据中值定理, s+δs|γ(t)|dt=δ|γ(y)|=δ ,其中 sys+δ δ0 即可得出结论。
(b)
根据提示 γ=ηh
由于 (xaf(t)dt)=f(x)
所以 |γ|=|η||η|=1

2.
(a)
bax(s)y(s)ds=xy|babay(s)x(s)ds=bay(s)x(s)ds ,因为x(a)=x(b),y(a)=y(b),最后一个等式证明完成
第一个等式根据上式容易得出。
(b)
γxdy=abx(b+at)dy(b+at) ,令b+a-t=s,则等于 abx(s)y(s)ds=bax(s)y(s)ds=γxdy

3
根据积分作为面积的定义,得出等式左边
而书中说面积等于 00y(x)xdx=10y(x)dx=10fdx+01gdx =左边

4
看懂这道题费了很大劲,命题是两个命题等价:
(1) Theorem 1.1中 simple curve去掉
(2) 第3章练习11的不等式和等号成立条件
提示中第一步 (1)->(2)
提示中的等式把右边展开很容易得到,根据等周问题, πA0 ,那么由于右边第一项可能为0,所以第二项必须大于等于0,也就是Wirtinger’s inequality,等号成立的条件是等周问题等号成立的条件。 y(s)ds 如果不等于0,平移相应值即可让其积分为0

第二步(2)->(1)
上面式子中假定y(s)满足Wirtinger’s inequality,那么等周问题可以得出,等号成立的条件是Wirtinger’s inequality中等号成立,同时 x(s)=y(s)

5

6
这道题其实比较简单,如果自己做,不看提示,或者只看提示的最后部分:对于任意N,必然 N=lq+r ,然后得出 #N=lN 或者 l+1N ,折就是结论。提示的前面部分是给这个证明一个严格的表述,因为上面N=lq+r虽然是显然的,但是严格表述却比较困难。

7
感觉书中一个方向已经被证明也不对啊,根本没证明啊,weyl’s criterion应该是用Riemann integral criterion证明,维基百科有,还是比较简单的。

8
不会
9
不会
10
不会
11 根据书中提示,使用parseval identity,左边等于
u2+f2+fu=a2n(1erπ2n2)2
t0 ,等于0,因为 a2n 有界

12
这道题就是说明,没有要做的

13

你可能感兴趣的:(傅立叶分析导论)