解析関数








複素変数 z の複素数値関数 f(z) が1点 z = c で解析的 (analytic) であるとは、c の近傍で z − c の冪級数で表されることを云う。解析関数（かいせきかんすう、英: analytic function）とは、定義域の各点において解析的な関数のことであるが、場合により多少異なった意味でも用いられる。




目次






  • 1 一般の用法


  • 2 ワイエルシュトラスの解析関数


  • 3 関連項目


  • 4 参考文献





一般の用法


数学において、解析関数（かいせきかんすう）とは、局所的に収束冪級数で与えられる関数のことである。


複素解析によれば、もし一変数複素関数 f が複素領域の点 c を中心とする開近傍 D で微分可能であれば、同じ開近傍内で任意の階数の導関数が存在し、冪級数


∑n=0∞f(n)(c)n!(z−c)n{displaystyle sum _{n=0}^{infty }{f^{(n)}(c) over n!}(z-c)^{n}}sum _{{n=0}}^{infty }{f^{{(n)}}(c) over n!}(z-c)^{n}

が D 内の全ての点で f(z) に収束するという意味で（複素）解析的である。そして複素平面上の定義域内のすべての点で解析的な関数を解析関数という。このことは、複素関数が実関数と比べ良い挙動を示すという重要な性質である。 結果として、定義域を複素平面上の一つの領域に限れば、複素解析では解析関数は正則関数と同義となる。


多変数の複素関数は、もしその関数がその各変数での収束冪級数で局所的に展開可能なときに解析的または正則と定義される。この条件はコーシー・リーマンの関係式より強い条件である。


実関数では微分可能性は解析性の十分条件ではない。局所的に冪級数で与えられた実変数の関数を実解析関数という。



ワイエルシュトラスの解析関数


複素平面上のある領域で定義された正則関数はその中の各点にそれを中心とする冪級数を有する。冪級数とその収束円との組をその点における関数要素と言う。1点から出発して曲線に沿った解析接続で関数要素を次々に接続していくことにより定義域が拡張される。（詳細は項目「解析接続」を参照）あらゆる曲線に沿って出来るだけ解析接続を行い、定義域を限度一杯まで拡張して得られる関数を（ワイエルシュトラスの）解析関数と云う。ある点における関数の値は、その点を中心とする関数要素のとる値として得られる。関数論はこの意味の解析関数を対象とする数学分野である。


こうして得られる解析関数には次のような特色がある。



  • 解析関数はその1つの関数要素を与えれば、その定義域を含めて完全に定まる。 従って複素平面上の小さな領域で定義された正則関数からもその拡張である大域的な解析関数が一意的に定まる。

  • 複素平面上の1点 c での値はそれを中心とする関数要素により定まるが、その関数要素は基準点からの解析接続の経路により一般には異なる。従って c での関数の値は一般には2つ以上定まり、関数は多価になる。例えば平方根を表す関数は2価であり、対数関数は無限多価関数である。

  • 多価解析関数は、複素平面を変形して適当なリーマン面をつくると、その上では1価の正則関数と見なせるようになる。かくして通常の正則関数に関する多くの成果、例えばコーシーの積分定理なども適切な扱いのもとでそのまま使えるようになる。


「形容詞‘解析’ (analytic) は、むしろ全局的の意味において用いられる。局所的には簡便に正則 (regular) という。フランス系では整型 (holomorphe) ともいう。」（高木貞治『解析概論』p.202）


関連項目



  • 関数論

  • 正則関数



参考文献



  • 高木貞治『解析概論』岩波書店、1938年（第1版）、1961年（改訂第3版）








Popular posts from this blog

Can a sorcerer learn a 5th-level spell early by creating spell slots using the Font of Magic feature?

Image
28 6 $begingroup$ Per the Font of Magic feature, sorcerer can use Flexible Casting to create 5th-level spell slots at level 7, even though they are not typically available until level 9. You can transform unexpended sorcery points into one spell slot as a bonus action on your turn. The Creating Spell Slots table shows the cost of creating a spell slot of [5th level is 7] If such a sorcerer levels up while still having this 5th-level spell slot, can they choose a 5th-level spell as the spell they gain upon levelling up? The Spellcasting feature states: Additionally, when you gain a level in this class, you can choose one of the sorcerer spells you know and replace it with another spell from the sorcerer spell list, which also must be of a level for which you have spell slots.
Read more

Does disintegrating a polymorphed enemy still kill it after the 2018 errata?

Image
up vote 13 down vote favorite 1 After the 2018 errata, the disintegrate spell description now reads: A creature targeted by this spell must make a Dexterity saving throw. On a failed save, the target takes 10d6 + 40 force damage. The target is disintegrated if this damage leaves it with 0 hit points. If you were to polymorph an enemy into a rat and then disintegrate it, would the enemy be disintegrated or would it just return to its original form? I know that for Druids, it’s not an instant kill anymore, but is this the case for polymorph as well? dnd-5e spells polymorph errata share | improve this question edited 18 hours ago
Read more

A Topological Invariant for $pi_3(U(n))$

Image
3 3 $begingroup$ Recently, I saw a construction of topological invariant for $pi_3(U(n))$ with $ngeq 2$ : $$ N=frac{1}{24pi^2}int_{S^3} d^3x epsilon^{ijk} Tr[(U^{-1}partial_{x_i}U)(U^{-1}partial_{x_j}U)(U^{-1}partial_{x_k}U)] , $$ where $Uin U(n)$ depends on $boldsymbol{x}=(x_1,x_2,x_3)in S^3$ , $epsilon^{ijk}$ is the Levi-Civita symbol, $i,j,k=1,2,3$ , and the duplicated indexes are summed over. It is claimed that $N$ is an integer, but why? Update 02/02/2019 I think I got an argument for $n=2$ . In this case, $U=e^{i varphi} q$ with $qin SU(2)$ . Due to the trace and the Levi-Civita symbol in $N$ , $varphi$ does not contribute to $N$ . As $Tr[q^{dagger}partial_i q]=0$ and $(q^{dagger}partial_i q)^{dagger}=-q^{dagger}partial_i q$ , $q^{dagger}partial_i q$ in geneeral has the form $q^{dagger}partia
Read more