解析函数, 在數學中, 英語, analytic, function, 是局部上由收斂冪級數給出的函數, 解析函數可分成實解析函數與複解析函數, 兩者有類似之處, 同時也有重要的差異, 两种类型的都是无穷可导的, 但复表现出一些一般实不成立的性质, 此外在超度量域上也可以定義解析函數, 這套想法在當代數論與算術代數幾何中有重要應用, 一个函数是当且仅当这个函数在它定义域内的每个点的邻域内的泰勒级数都收敛, 解析函數集有時也寫作, displaystyle, omega, 目录, 定義, 例子, 等价描述, 基本性質. 在數學中 解析函数 英語 Analytic function 是局部上由收斂冪級數給出的函數 解析函數可分成實解析函數與複解析函數 兩者有類似之處 同時也有重要的差異 两种类型的解析函数都是无穷可导的 但复解析函数表现出一些一般实解析函数不成立的性质 此外在超度量域上也可以定義解析函數 這套想法在當代數論與算術代數幾何中有重要應用 一个函数是解析函数当且仅当这个函数在它定义域内的每个点的邻域内的泰勒级数都收敛 解析函數集有時也寫作 C w displaystyle C omega 目录 1 定義 2 例子 3 等价描述 4 基本性質 5 解析與可微 6 實解析函數與複解析函數 7 超度量域上的解析函數 8 多元解析函數 9 相關條目 10 文獻 11 外部連結定義 编辑形式地說 设開集D R displaystyle D subseteq mathbb R nbsp 且函數 f D R displaystyle f D rightarrow mathbb R nbsp 若對任何 x 0 D displaystyle x 0 in D nbsp 都存在 x 0 displaystyle x 0 nbsp 在 D displaystyle D nbsp 中的開鄰域 使得 f displaystyle f nbsp 在其內可表為下述收斂冪級數 則此 實 函數稱為D displaystyle D nbsp 上的 實 解析函數 f x n 0 a n x x 0 n a 0 a 1 x x 0 a 2 x x 0 2 a 3 x x 0 3 displaystyle f x sum n 0 infty a n left x x 0 right n a 0 a 1 x x 0 a 2 x x 0 2 a 3 x x 0 3 cdots nbsp 其中係數 a i displaystyle a i nbsp 皆為實數 或者等价地 實解析函數也可以定義為在定義域 D displaystyle D nbsp 內每一點x 0 displaystyle x 0 nbsp 的泰勒級數皆逐点收斂的光滑函數 f displaystyle f nbsp 即 T x n 0 f n x 0 n x x 0 n displaystyle T x sum n 0 infty frac f n x 0 n x x 0 n nbsp 在x 0 displaystyle x 0 nbsp 的某个邻域收斂到 f x displaystyle f x nbsp 集合D displaystyle D nbsp 上的解析函数全体组成的集合通常记做C w D displaystyle mathcal C omega D nbsp 若函数f x displaystyle f x nbsp 在点x 0 displaystyle x 0 nbsp 的某个邻域上解析 则称f x displaystyle f x nbsp 在点x 0 displaystyle x 0 nbsp 处解析 複解析函數的定義類此 僅須將上式的中的實數線換作複平面 並將實數換作複數即可 一个函数是复解析的 当且仅当这个函数是全纯的 即复可微的 出于这个原因 术语 全纯 和 解析 经常可以互换 例子 编辑典型的解析函数有 全部初等函数 多項式函数是解析的 对于次数为n的多项式 其泰勒级数中大于n阶的项必为零 自然也是收敛的 指數函數是解析的 这个函数的泰勒级数在整个复平面上收敛 三角函數 对数函数 幂函数在相应的定义域上都是解析的 多数特殊函数 至少在复平面上的某些区域 超几何函数 贝塞尔函数 伽马函数 典型的非解析函数有 絕對值函數非解析函數 因為它在点0处不可微 分段定义的函数在分段处通常不是解析的 複共軛函數z z displaystyle z mapsto z nbsp 非複解析函數 尽管它在實數線上的限制 即恆等函数 是实解析函數 但如果把它看作从R 2 displaystyle mathbb R 2 nbsp 到R 2 displaystyle mathbb R 2 nbsp 的映射 则是实解析的 等价描述 编辑以下条件等价 f displaystyle f nbsp 是D R displaystyle D subseteq mathbb R nbsp 上的实解析函数 f displaystyle f nbsp 可以复解析延拓到复平面的开集G displaystyle G nbsp 上 G D displaystyle G supseteq D nbsp f displaystyle f nbsp 是光滑的 且对任意紧集K D displaystyle K subset D nbsp 存在常数C displaystyle C nbsp 使得对任意的x K displaystyle x in K nbsp 非负整数k displaystyle k nbsp 不等式 d k f d x k C k 1 k displaystyle left frac d k f dx k right leq C k 1 k nbsp 成立 复解析函数与全纯函数等价 因此也更容易鉴别 基本性質 编辑解析函數的和 積與复合仍是解析函數 惟合成時須留意定義域的問題 若解析函數在一個開集上非零 則它在該開集上的倒數仍為解析函數 若一个可逆解析函数的导函数处处不为0 则其反函数也是解析函数 凡解析函數皆屬光滑函數 即无穷可微 逆命题对实解析函数不成立 实际上 在某种意义上 实解析函数相比于实光滑函数是很稀少的 对复函数 逆命题确实成立 实际上任何一次可微的复函数都是解析的 对任何开集W C displaystyle Omega subseteq mathbb C nbsp 所有解析函数组成的集合A W displaystyle mathcal A Omega nbsp 是弗雷歇空间 关于紧集上的一致收敛 由莫雷拉定理易得解析函数在紧集上的一致极限仍是解析函数 全部的有界解析函数A W displaystyle mathcal A infty Omega nbsp 关于上确界范数构成巴拿赫空间 事實上 假設所論解析函數皆可在原點附近一開集 B 0 r x x lt r displaystyle B 0 r x x lt r nbsp 上表示為冪級數 則上述運算可以形式地操作 i 0 a i x i i 0 b i x i i 0 a i b i x i displaystyle sum i geq 0 a i x i sum i geq 0 b i x i sum i geq 0 a i b i x i nbsp i 0 a i x i j b j x j k 0 i j k a i b j x k displaystyle sum i geq 0 a i x i cdot sum j b j x j sum k geq 0 sum i j k a i b j x k nbsp f x i 0 a i x i g x i gt 0 b i x i displaystyle f x sum i geq 0 a i x i g x sum i gt 0 b i x i nbsp f g x i 0 j gt 0 b j x j i displaystyle Rightarrow f circ g x sum i geq 0 sum j gt 0 b j x j i nbsp 定義域可能會縮小 dd f x 1 i gt 0 a i x i 1 f x j 0 i gt 0 a i x i j displaystyle f x 1 sum i gt 0 a i x i Rightarrow dfrac 1 f x sum j geq 0 sum i gt 0 a i x i j nbsp 其中每個運算結果的係數都可以寫成有限的代數式 一個非零多項式的零點數不大於它的次數 解析函數的零點也有類似的限制 若一解析函數的零點集在定義域內有極限點 則函數在包含該點的连通分支上恆為零 此外 若解析函數在一點的各階導數皆為零 則該函數在含該點的连通分支上為常數函數 這些性質表明 尽管解析函數比多项式有更多的自由度 它仍是一個具有相當 剛性 的數學物件 解析與可微 编辑 nbsp 本段中提到的光滑卻非解析的函數 如上所述 實或複解析函數均在實變數的意義上無窮可微 記作光滑函數 或 C displaystyle C infty nbsp 但是存在光滑卻非解析的函數 典型的例子是 f x e 1 x x gt 0 0 x 0 displaystyle f x begin cases e frac 1 x amp x gt 0 0 amp x leq 0 end cases nbsp 可證明它是光滑的 且在原點的任意開鄰域內都有無窮多個零點 故非解析 複解析函數則不同 凡複解析函數必為全純函數 即複可導 以實變數表示則是滿足柯西 黎曼方程 反之亦然 因此全純函數與解析函數在複分析中是同一類對象 實解析函數與複解析函數 编辑實解析與複解析函數有些重要差異 一般而言複解析函數更具剛性 依據劉維爾定理 定義在整個複平面上的有界解析函數必為常數 此結論對實解析函數不成立 例如 f x 1 x 2 1 displaystyle f x frac 1 x 2 1 nbsp 此外 若一個複解析函數在一個以 x 0 displaystyle x 0 nbsp 為中心的開圓盤內有定義 則在 x 0 displaystyle x 0 nbsp 的冪級數展开式在該開圓盤內收斂 對實解析函數則不然 上面举的例子在x 0 0 displaystyle x 0 0 nbsp 处的泰勒展开式为 n 0 1 n x 2 n 1 x 2 x 4 x 6 displaystyle sum n 0 infty 1 n x 2n 1 x 2 x 4 x 6 cdots nbsp 在 x gt 1 displaystyle x gt 1 nbsp 时发散 給定實數線上一個區間 I displaystyle I nbsp 上的實解析函數 f displaystyle f nbsp 則 f displaystyle f nbsp 能延拓為複平面上一開集 U I displaystyle U supset I nbsp 上的複解析函數 然而定義在整個 R displaystyle mathbb R nbsp 上的實解析函數不一定能延拓到整個 C displaystyle mathbb C nbsp 如前例之 f displaystyle f nbsp 在点 i displaystyle pm i nbsp 处无定义 这解释了为何f displaystyle f nbsp 的泰勒级数在 x gt 1 displaystyle x gt 1 nbsp 时发散 收敛半径为1 超度量域上的解析函數 编辑冪級數可以定義在任意域上 取帶有絕對值的域則能探討收歛性 實解析函數與複解析函數分別對應到 R displaystyle mathbb R nbsp 與 C displaystyle mathbb C nbsp 在數論上也考慮超度量域 如 p進數域 Q p displaystyle mathbb Q p nbsp 或 C p Q p displaystyle mathbb C p widehat bar mathbb Q p nbsp 由於超度量域滿足強三角不等式 x y m a x x y displaystyle x y leq mathrm max x y nbsp 遂具備許多獨特性質 例如 i a i displaystyle sum i a i nbsp 收斂当且仅当lim i a i 0 displaystyle lim i to infty a i 0 nbsp 雖然超度量分析缺乏實數或複數上的直觀 技術上卻往往簡單得多 多元解析函數 编辑利用多元冪級數 可將解析函數的定義直接推廣到多變元的情形 它們是局部上形如 s x I a I x a I displaystyle s x sum I a I x a I nbsp 的函數 其中 x a displaystyle x a nbsp 皆為向量 而 I displaystyle I nbsp 代表多重指标 多元解析函数有一些性质和一元解析函数相同 但是 二維以上的解析函數还有一些有趣的新性質 複解析函數的情形尤其特出 例如 根据Hartogs扩张定理 二元以上的复解析函数的零点集不会是离散的 相關條目 编辑柯西 黎曼方程 全纯函数 偽解析函數 解析延拓文獻 编辑Conway John B Functions of One Complex Variable I Graduate Texts in Mathematics 11 2nd Springer Verlag 1978 ISBN 978 0 387 90328 6 外部連結 编辑Hazewinkel Michiel 编 Analytic function 数学百科全书 Springer 2001 ISBN 978 1 55608 010 4 埃里克 韦斯坦因 Analytic Function MathWorld 取自 https zh wikipedia org w index php title 解析函数 amp oldid 79865518, 维基百科,wiki,书籍,书籍,图书馆,