- 注册时间
- 2013-10-24
- 最后登录
- 1970-1-1
- 威望
- 星
- 金币
- 枚
- 贡献
- 分
- 经验
- 点
- 鲜花
- 朵
- 魅力
- 点
- 上传
- 次
- 下载
- 次
- 积分
- 8856
- 在线时间
- 小时
|
楼主 |
发表于 2014-8-30 23:44:45
|
显示全部楼层
本帖最后由 kastin 于 2014-8-31 09:44 编辑
二、函数迭代方程
首先最基本的方程是 `f^n(x)=x`。这是一个周期自映射(self-mapping),相当于一个有向图,里面会形成n-周期回路,解当然可以是无穷多个。对于这个方程,前人研究出结论:
1) `n` 若为奇数,则其单调解必唯一,且是 `f(x)=x`;
2) 若 `n` 为偶数,则单调解必然满足 `f^2(x)=x`。
当然,对于非单调解的情况,有可能解是p-周期的(即`f^p(x)=x`),且`p\mid n`。
举几个例子,比如`f^2(x)=x`,解有很多,最简单的`f(x)=\pm x`(单调解),`f(x)=c/x`(非单调解);而对于 `f(f(f(x)))=x`,解可以是 `\D f(x)=\frac{x-3}{x+1}` 或者 `\D f(x)=-\frac{2x+3}{x+1}`等。
另外还有更加复杂的,比如`f(g(x))=g(f(x))`。一般情况下,该方程只能通过幂级数求解。特别地,若`g\circ f`是一个多项式,那么`f(x)=z\exp(2\pi \text{i}\,m/n)+b`,其中`m,n`为正整数。
下面重点介绍一下Schroder方程,这个方程在函数迭代方程中很有重要。
Schroder方程:`\varphi(f(x))=f'(x) \varphi(x) \D\tag{1}`
更常用的是它的正规形式: `\varphi(f(x))=s\,\varphi(x)\D\tag{2}`其中`f(x)`有不动点`x_0`,且`f'(x_0)=s`。
这个方程之所以重要,是因为很多问题归结为解决这个问题,比如
Abel方程:$$f(g(x))=f(x)+1 \tag{3}$$
Bottcher方程:$$f(g(x))=f(x)^{\small m} \tag{4}$$
Poincare方程:$$f(sx)=F(f(x)) \tag{5}$$
以上三个方程分别可以通过变换 `\psi(x)=s^{f(x)}`,`\psi(x)=\ln f(x)`,`\psi(x)=f^{-1}(x)` 就能化为正规Schroder方程。
将Schrode方程两边取 `\varphi^{-1}`,然后反复迭代 `n` 次,利用Koenigs不动点定理便可推出求解Schroder方程的一个非常有用结论:
定理`~~~~`若 `f(z)` 是复变函数,在原点附近解析,且 `f(0)=0`,`f'(0)=s`,`0<|s|<1`。则有唯一解 `\varphi(z)` 在0点附近处解析,且有 `\varphi'(0)=1`,$$\D \varphi(z)=\lim_{n\to \oo}s^{-n}f^n(z) \tag{6}$$
下面就用几个例子总结一下函数迭代方程的几种常用的求解方法。
第一种方法:相似函数法
这种方法就是利用这里的定理一。
一般来说,`\varphi(x)`的选取比较难找,常常考虑使用 `\cos,\cosh,\ln,\exp,\tan`以及线性分式`\D\frac{ax+b}{cx+d}`等。
例如 `f(f(x))=x^2-2x` ,考虑使用`\varphi(x)=\cos x,\cosh x`。于是给出解 $$f(x)=\begin{cases}\D 2 \cos(\sqrt{2} \arccos \frac{x-1}{2})+1 &&(0 \leqslant |x| \leqslant 1)\\ \D 2\cosh(\sqrt{2}\, \mathrm{arccosh}\frac{x-1}{2})+1 &&(|x|>1)\end{cases}$$
第二种方法:映射构造法
以`f(f(x))=\exp(x)`为例,根据映射关系构造分段函数。具体参见下面文献Baker_1955中的第177页内容。另外这里也有描述。
第三种方法:幂级数法
若 `f(x)` 存在实不动点,则可以考虑在不动点处写成幂级数的形式,然后代入方程,求出各项系数。
第四种方法:Carleman矩阵法
相关知识链接
例如`f^2(x)=x^2-2`,参见Gottfried Helms在这里的回答。他给出的结果是$$f(x) = 2+ 2 (x-2) + \frac16 (x-2)^2 - \frac190 (x-2)^3 + \frac1720 (x-2)^4 - \frac732400 (x-2)^5 \\ + \frac{161}{4276800} (x-2)^6 - \frac{391}{55598400} (x-2)^7 + O(x^8)$$
函数方程(包括函数迭代方程)的研究历史、研究方法与一些文献(下载):
http://zakuski.utsa.edu/~jagy/other.html
推荐阅读上面链接中的
Baker_1955
Baker_Obituary
Erdos_Jabotinsky_1960
D_S_Alexander_1994
K_C_G_book_excerpts
Kuczma_Survey_1964
上面第一个是Baker对f(f(z))=F(z)在复数域的详细研究;第二个是对Baker一生研究贡献的总结。第三个是关于解析迭代的研究,给出了几个重要的定理。剩下的是函数方程的研究历史与成果综述。 |
评分
-
参与人数 1 | 威望 +12 |
金币 +20 |
贡献 +12 |
经验 +12 |
鲜花 +12 |
收起
理由
|
数学星空
| + 12 |
+ 20 |
+ 12 |
+ 12 |
+ 12 |
辛苦了,社区有你更精彩! |
查看全部评分
|