没有合适的资源?快使用搜索试试~ 我知道了~
Divergent Birkhoff normal forms of real analytic complex area ...
0 下载量 182 浏览量
2020-02-09
09:27:41
上传
评论
收藏 146KB PDF 举报
温馨提示
具有发散Birkhoff正规型的实解析复保面积变换,尹万科,,本文主要证明存在实解析的复保面积变换,在椭圆点附近,有发散的Birkhoff正规型。我们的证明方法主要是小除子理论和Gong研究Halmitonian系�
资源推荐
资源详情
资源评论
˖ڍመڙጲ
http://www.paper.edu.cn
具有发散 Birkhoff 正规型的实解析复保面积
变换
尹万科
武汉大学数学与统计学院,湖北武汉 430072
摘要:本文主要证明存在实解析的复保面积变换,在椭圆点附近,有发散的 Birkhoff 正规型。
我们的证明方法主要是小除子理论和 Gong 研究 Halmitonian 系统里的方法。
关键词:多复变函数论,正规型,保面积变换
中图分类号: 0174.56
Divergent Birkhoff normal forms of real analytic
complex area preserving maps
YIN Wan-Ke
School of Mathematics, Wuhan University, Hubei 430072, China.
Abstract: In this paper, we provide a real analytic and complex valued area preserving map,
that possesses a divergent Birkhoff normal form near an elliptic fixed point. The method uses
the small divisor theory and the work of Gong in the study of the Halmitonian system.
Key words: Several complex variables, normal form, area-preserving maps
0 Introduction
We consider a real analytic area preserving map near (0, 0) of the form:
x
1
= f(x, y ) = x cos γ
0
− y sin γ
0
+ p(x, y),
y
1
= g(x, y) = x sin γ
0
+ y cos γ
0
+ q(x, y), f
x
g
y
− f
y
g
x
= 1,
(0.1)
where f(x, y) and g(x, y) are real-valued analytic functions in a neighborhood of (0, 0) in R
2
.
We also assume that γ
0
/π is an irrational real number. Then (0, 0) is an elliptic fixed point in
terms of [1]. G. D. Birkhoff [2] (also see §23 of [1] for more details) showed that there is a new
change of coordinates by formal power series, in which the mapping has the following formal
normal form
ζ
1
= ζ cos w − η sin w, η
1
= ζ sin w + η cos w, w =
+∞
i=0
γ
k
(ζ
2
+ η
2
)
k
, (0.2)
基金项目: The author is supported in part by NSFC-10901123, SRFDP-20090141120010, FANEDD-201117,ANR-09-
BLAN-0422 and NSFC-11271291.
作者简介: YIN Wan-Ke (1980-),male,associate professor,major research direction:Several Complex Variables and
Complex Geometry.
- 1 -
˖ڍመڙጲ
http://www.paper.edu.cn
In [3] , H. Rüssmann showed that the formal transformation is divergent in general. However,
it is not clear if there is a real analytic area preserving map with a divergent Birkhoff normal
form in the literature.
In this paper, we will consider the following real analytic and complex valued area pre-
serving maps from (x, y) ∈ C
2
to (x
1
, y
1
) ∈ C
2
:
x
1
= P (x, y) = λx + p(x, y), y
1
= Q(x, y) = λy + q(x, y), P
x
Q
y
− P
y
Q
x
= 1. (0.3)
Following the original idea of Gong in [4], which was used by him to construct Hamiltonian
functions with divergent Birkhoff normal forms, we prove, in this paper, the following:
Theorem 1. There exists a real analytic and complex valued area preserving map near an
elliptic fixed point that possesses a divergent Birkhoff normal form.
We would like to mention that Theorem 1 does not follow directly from the divergence
of the normal forms for the Hamiltoninan systems [4], since, for the Hamiltonian systems, the
dimension must be at least 4.
Besides the work of Gong in [4], systematic investigations on the normal form of the
Hamiltonian functions can be found in [5], [6], [7], [8], [9], [10] and the references therein.
However, it is not known how to get the counterpart of these results for the area preserving
mappings. In P. Marco [10], it is proved that if there is a Hamiltonian function with a divergent
Birkhoff normal form, then a generic Hamiltonian function with the same quadratic term also
has a divergent normal form. It is interesting to know whether there is a similar theorem for
real analytic area preserving maps. More precisley, if there is a real analytic area preserving
map with a divergent Birkhoff normal form, is it true that a generic area preserving map with
the same linear term also has a divergent Birkhoff normal formal?
For other related convergence problems encountered in the normal form theory, we refer
the reader to [11], [12], [13] and [14], as well as, the references therein.
1 Preliminaries
We first consider a real analytic area preserving map given by the generation function S:
x
1
= λx − S
[2]
(λx, y
1
), y
1
= λy + S
[1]
(λx, y
1
). (1.1)
Here λ ∈ C with |λ| = 1 is not a root of unity, S(ς, τ ) is a (complex valued) holomorphic function
of (ς, τ) in a neighborhood of (0, 0) in C
2
with vanishing order at least 3. Here and in what
follows, we set χ
[1]
(ς, τ ) =
∂χ
∂ς
and χ
[2]
(ς, τ ) =
∂χ
∂τ
for χ being a formal power series. Following
the notations in §23 of [1], we express the transformation (1.1) symbolically as z
1
= T (z).
- 2 -
剩余9页未读,继续阅读
资源评论
weixin_38621638
- 粉丝: 1
- 资源: 983
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
最新资源
- table-model-view-delagate核心总结
- java SSF项目框架源码 后台管理系统源码数据库 MySQL源码类型 WebForm
- 人工智能-大语言模型-基于Bert的预训练大语言推荐模型
- datax支持presto读取
- python《使用 Turtlebot 进行迷宫搜索》+项目源码+文档说明+代码注释
- 使用带有 BFS、UCS、Astar 和 GBFS 的 ros 解决 Gazebo 中的迷宫+项目源码+文档说明+代码注释
- 基于matlab实现寻路算法(AStar和HybridAStar算法)+项目源码+文档说明+代码注释
- C#ASP.NET教育OA源码 教育行业OA源码带文档数据库 SQL2008源码类型 WebForm
- wpf同时仅打开一个实例,重复打开时激活已打开实例窗口
- (源码)基于ESP8266和MQTT的智能信箱系统.zip
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功