Power series

ウィキペディア

パワーシリーズ

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/01/25 17:00 UTC 版)

パワーシリーズ
ジャンル	スポーツゲーム
開発元	ハドソン
発売元	ハドソン
主な製作者	奥野仁
1作目	パワーリーグ（PCエンジン） （1988年6月24日）
最新作	パワーリーグ（プレイステーション） （1998年11月12日）

パワーシリーズ（Power Series）は、日本のコンピュータゲームメーカー・ハドソンが1988年から1998年まで発売していたスポーツゲームのシリーズ作品。

なおハドソンは2012年にコナミデジタルエンタテインメント (KDE) に吸収合併され、現在はKDEが全ソフトの著作権を保有している。

概要

1988年6月24日発売のPCエンジン用野球ゲーム『パワーリーグ』を第1作とする。同作は当時、ハドソンが夏休みシーズンに行っていた全国キャラバンの第4回認定ソフトとなり、PCエンジン用の野球ゲームとしては5月20日に発売されていたナムコの『プロ野球ワールドスタジアム』を凌ぐ人気を博して毎年夏に新データ版が発売される定番タイトルとなった。

当時ハドソンのPCエンジンソフト開発に深く関わったことで知られるプログラマー・岩崎啓眞の証言によれば、中心開発者の奥野仁は野球に興味が無く、本来はゴルフゲームを作りたかったが『パワーリーグ』の売上が好調で続編の発売が決定したことから中々作れず、1989年に、ようやく念願のゴルフゲーム（『パワーゴルフ』）を作れることになったとのこと。これ以後、PCエンジンで「パワー」を冠するスポーツゲームが多数製作され、シリーズ化に至った。

PCエンジン以外で展開されたタイトルは野球、つまり『パワーリーグ』のみであり、1998年に発売されたプレイステーション版『パワーリーグ』がシリーズ最終作となっている。ただし、2000年から2001年にかけてトレーディングカードゲーム『POWER LEAGUE 〜夢のスタジアム〜』が発売されている。

タイトル一覧

• パワーリーグシリーズ（野球）
  • PCエンジン - 全6作
  • PC-FX - 1作
  • スーパーファミコン - 全4作
  • NINTENDO64 - 1作
  • プレイステーション - 1作

『パワーリーグ』以外のシリーズ作品は全てPCエンジンのみで発売。

• パワーゴルフ
  • パワーゴルフ2 GOLFER

※ 初作『パワーゴルフ』は、KDEから2020年3月19日に一部ECサイト限定で発売される予定の復刻系テレビゲーム機・PCエンジン miniに海外発売版『 POWER GOLF 』が収録される（海外版はパッケージなどの装丁が現地仕様になっているが、ゲームの内容自体は国内版とほとんど同じ）。

• パワーイレブン
• パワースポーツ - 陸上・水泳など6競技18種目のオムニバス。
• パワーテニス

関連項目

• パワーリーグシリーズ

外部リンク

• パワーリーグ（ハドソンゲームナビ） - ウェイバックマシン（2004年5月5日アーカイブ分）
• パワーゴルフ（ハドソンゲームナビ） - ウェイバックマシン（2004年5月5日アーカイブ分）
• パワーゴルフ2 GOLFER（ハドソンゲームナビ） - ウェイバックマシン（2004年5月5日アーカイブ分）
• パワーイレブン（ハドソンゲームナビ） - ウェイバックマシン（2004年5月5日アーカイブ分）
• Wiiバーチャルコンソール パワーイレブン（ハドソン公式サイト） - ウェイバックマシン（2010年1月5日アーカイブ分）
• パワースポーツ（ハドソンゲームナビ） - ウェイバックマシン（2004年5月5日アーカイブ分）
• Wiiバーチャルコンソール パワースポーツ（ハドソン公式サイト） - ウェイバックマシン（2010年1月5日アーカイブ分）
• PCエンジンアーカイブス パワースポーツ（ハドソン公式サイト） - ウェイバックマシン（2010年10月26日アーカイブ分）
• パワーテニス（ハドソンゲームナビ） - ウェイバックマシン（2004年5月5日アーカイブ分）

冪級数

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/06/25 16:37 UTC 版)

下記テーマに関する記事の一部
解析学
基本定理 関数の極限 連続性 平均値の定理
微分法 定義 導関数 (一般化) 微分 無限小 関数の 全 概念 微分の記法 二階導関数 三階導関数 変数変換 陰関数の微分 Related rates テイラーの定理 法則と恒等式 和 積 合成 冪 商 一般ライプニッツ ファー・ディ・ブルーノの公式
積分法 積分一覧 定義 不定積分 積分 (広義) リーマン積分 ルベーグ積分 線積分 複素線積分 道具 部分 Discs 円殻（バウムクーヘン） 置換 三角置換 部分分数 順序 漸化式
級数 幾何 (算術幾何) 調和 交代 冪 二項 テイラー 収束判定法 項の極限（項判定法） 比 冪根 積分 比較 極限比較 交代級数 凝集 ディリクレ アーベル
ベクトル 勾配 発散 回転 ラプラシアン 方向微分 公式 定理 発散 勾配 グリーン ケルビン・ストークス
多変数 形式と枠組み 行列 テンソル 外 幾何学的 定義 偏微分 多重積分 線積分 面積分 体積分 ヤコビアン ヘッセ行列
特殊化 分数階微積分 解析接続 マリアヴァン 確率 変分
その他 解析学記号
表 話 編 歴

数学において、（一変数の）冪級数（べききゅうすう、英: power series）あるいは整級数（せいきゅうすう、仏: série entière）とは

$\sum _{n=0}^{\infty }a_{n}\left(x-c\right)^{n}=a_{0}+a_{1}(x-c)^{1}+a_{2}(x-c)^{2}+\cdots$

指数関数（青色）と、そのマクローリン級数の最初の n + 1 項の和（赤色）。

任意の多項式は任意の中心 c のまわりの冪級数として容易に表すことができる。ただし係数のほとんどは 0 になる。冪級数は定義により無限個の項を持つからである。例えば、多項式 f(x) = x² + 2x + 3 は中心 c = 0 のまわりの冪級数として

$f(x)=3+2x+1x^{2}+0x^{3}+0x^{4}+\cdots$

と書くことができ、また中心 c = 1 のまわりでは

$f(x)=6+4(x-1)+1(x-1)^{2}$ $+0(x-1)^{3}+0(x-1)^{4}+\cdots \,$

と書け、他の任意の中心 c のまわりの冪級数としても書ける。冪級数を「無限次の多項式」のようなものとみなすことができる。冪級数は多項式ではないが。

幾何級数の公式

${\frac {1}{1-x}}=\sum _{n=0}^{\infty }x^{n}=1+x+x^{2}+x^{3}+\cdots$

は、|x| < 1 に対して有効であるが、冪級数の最も重要な例の1つであり、任意の実数 x に対して有効な指数関数の公式

$e^{x}=\sum _{n=0}^{\infty }{\frac {x^{n}}{n!}}=1+x+{\frac {x^{2}}{2!}}+{\frac {x^{3}}{3!}}+\cdots$

や正弦関数の公式

$\sin(x)=\sum _{n=0}^{\infty }{\frac {(-1)^{n}x^{2n+1}}{(2n+1)!}}=x-{\frac {x^{3}}{3!}}+{\frac {x^{5}}{5!}}-{\frac {x^{7}}{7!}}+\cdots$

もそうである。これらの冪級数はテイラー級数の例でもある。

負冪は冪級数においては許されていない。例えば、 $1+x^{-1}+x^{-2}+\cdots$ は冪級数とは考えない（ローラン級数ではあるが）。同様に、 $x^{1/2}$ のような分数冪も許されていない（がピュイズー級数を参照）。係数 a_n が x に依存することは許されていない。したがって例えば

$\sin(x)x+\sin(2x)x^{2}+\sin(3x)x^{3}+\cdots \,$

は冪級数ではない。

収束半径

冪級数は変数 x がある値のときには収束し、別の値のときには発散するかもしれない。(x − c) の冪によるすべての冪級数 f(x) は x = c において収束する。（正しい値 f(c) = a₀ を得るには数式 0⁰ を 1 と解釈しなければならない。）c が唯一の収束点でなければ、必ず 0 < r ≤ ∞ なるある数 r が存在して、級数は |x − c| < r のときにはいつでも収束し、|x − c| > r のときにはいつでも発散する。この数 r をその冪級数の収束半径 (radius of convergence) と呼ぶ。一般に収束半径は次で与えられる：

$r=\liminf _{n\to \infty }\left|a_{n}\right|^{-{\frac {1}{n}}},$

あるいは同じことだが

$r^{-1}=\limsup _{n\to \infty }\left|a_{n}\right|^{\frac {1}{n}}.$

（これはコーシー・アダマールの定理であり。記号の説明は上極限と下極限を参照。）それを計算する速い方法は

$r^{-1}=\lim _{n\to \infty }\left|{a_{n+1} \over a_{n}}\right|$

である（ただしこの極限が存在するときに限る）。

級数は |x − c| < r に対して絶対収束し、{x : |x − c| < r} の任意のコンパクト部分集合上一様収束する。つまり、級数は収束円板の内部において絶対かつコンパクト収束する。

|x − c| = r に対しては、級数が収束するか発散するかの一般的なステートメントを述べることは出来ない。しかしながら、実変数の場合には、級数が x において収束するならば級数の和は x において連続である（ただしｃからｘに向かう側だけにおける片側の連続）というアーベルの定理がある。複素変数の場合には、c と x を結ぶ線分に沿っての連続性しか主張できない。

冪級数の操作

加法と減法

2つの関数 f と g が同じ中心 c のまわりの冪級数で書かれているとき、それらの関数の和や差の冪級数は項ごとの加法と減法によって得られる。つまり、

$f(x)=\sum _{n=0}^{\infty }a_{n}(x-c)^{n}$

$g(x)=\sum _{n=0}^{\infty }b_{n}(x-c)^{n}$

であるとき、

$f(x)\pm g(x)=\sum _{n=0}^{\infty }(a_{n}\pm b_{n})(x-c)^{n}$

である。

乗法と除法

上と同じ定義で、関数の積と商の冪級数は以下のように得られる：

${\begin{aligned}f(x)g(x)&=\left(\sum _{n=0}^{\infty }a_{n}(x-c)^{n}\right)\left(\sum _{n=0}^{\infty }b_{n}(x-c)^{n}\right)\\&=\sum _{i=0}^{\infty }\sum _{j=0}^{\infty }a_{i}b_{j}(x-c)^{i+j}\\&=\sum _{n=0}^{\infty }\left(\sum _{i=0}^{n}a_{i}b_{n-i}\right)(x-c)^{n}.\end{aligned}}$

数列 $m_{n}=\sum _{i=0}^{n}a_{i}b_{n-i}$ は数列 a_n と b_n の畳み込みと呼ばれる。

除法については、

${f(x) \over g(x)}={\sum _{n=0}^{\infty }a_{n}(x-c)^{n} \over \sum _{n=0}^{\infty }b_{n}(x-c)^{n}}=\sum _{n=0}^{\infty }d_{n}(x-c)^{n}$

$f(x)=\left(\sum _{n=0}^{\infty }b_{n}(x-c)^{n}\right)\left(\sum _{n=0}^{\infty }d_{n}(x-c)^{n}\right)$

として、上を用い、係数を比較する。（零ではない初めてのa_nの添え字が零ではない初めてのｂ_nの添え字よりも"以上"になっていなければ、除法は冪級数を与えないことに注意。）

微分と積分

関数が冪級数として与えられると、それは収束領域の内部で微分可能である。それは極めて容易に微分および積分ができる。各項ごとに扱えばよい：

$f^{\prime }(x)=\sum _{n=1}^{\infty }a_{n}n\left(x-c\right)^{n-1}=\sum _{n=0}^{\infty }a_{n+1}\left(n+1\right)\left(x-c\right)^{n}$

$\int f(x)\,dx=\sum _{n=0}^{\infty }{\frac {a_{n}\left(x-c\right)^{n+1}}{n+1}}+k=\sum _{n=1}^{\infty }{\frac {a_{n-1}\left(x-c\right)^{n}}{n}}+k.$

（ただしここでｋは不定積分の積分定数を表している）

これら項別に微分あるいは積分して得られた級数はどちらももとの級数と同じ収束半径を持つ。

解析関数

R あるいは C の開集合上定義された関数 f が解析的 (analytic) であるとは、局所的に収束冪級数によって与えられることをいう。つまり、すべての a ∈ U はある開近傍 V ⊆ U を持ち、a を中心に持つ冪級数ですべての x ∈ V に対して f(x) に収束するものが存在することをいう。

収束半径が正のすべての冪級数はその収束域の内部で解析的である。すべての正則関数は複素解析的である。解析関数の和や積は解析的であり、商も分母が非零である限り正則である。

関数が解析的であれば、無限回微分可能であるが、実の場合には逆は一般には正しくない。解析関数に対し、係数 a_n は

$a_{n}={\frac {f^{\left(n\right)}\left(c\right)}{n!}}$

と計算できる。ここで $f^{(n)}(c)$ は f の c における n 階微分を表し、 $f^{(0)}(c)=f(c)$ である。これはすべての解析関数は局所的にテイラー級数によって表されることを意味する。

解析関数の大域的な形はその局所的な振る舞いによって次の意味で完全に決定される： f と g が同じ連結開集合 U 上定義された2つの解析関数で、ある元 c ∈ U が存在してすべての n ≥ 0 に対して f⁽ⁿ⁾(c) = g⁽ⁿ⁾(c) が成り立つとき、すべての x ∈ U に対して f(x) = g(x) である。

収束半径 r の冪級数が与えられると、級数の解析接続を考えることができる。つまり { x : |x − c| < r } よりも（一般的には）大きい集合上で定義され、この集合上では与えられた冪級数に一致するような解析関数 f を考えることができる。そのとき収束半径 r は、ｃを中心として級数の解析接続ｆが解析的ではない複素数の点ｘを周上に持つような最小の円板の半径になる。冪級数が収束する範囲の複素円板をその級数の収束円と呼ぶ。（冪級数によってはその収束円がその冪級数の定義する解析関数の自然境界となっていてそれを超えた解析接続がまったく行えないものもある。）

解析関数の逆関数の冪級数展開はラグランジュの反転定理を用いて決定することができる。

形式的冪級数

抽象代数学において、冪級数の本質を、実数や複素数の体に制限されることなく、また収束について議論する必要なく、捉えようと試みられる。これは形式的冪級数の概念、代数的組合せ論においてとても有益な概念、を導く。

多変数の冪級数

理論の拡張は多変数微積分学の目的のために必要である。ここで冪級数は

$f(x_{1},\dots ,x_{n})=\sum _{j_{1},\dots ,j_{n}=0}^{\infty }a_{j_{1},\dots ,j_{n}}\prod _{k=1}^{n}\left(x_{k}-c_{k}\right)^{j_{k}}$

の形の無限級数として定義される。ただし j = (j₁, ..., j_n) は自然数のベクトルであり、係数 a_(j1,...,jn) は通常実数か複素数であり、中心 c = (c₁, ..., c_n) と引数 x = (x₁, ..., x_n) は通常実あるいは複素ベクトルである。記号 $\Pi$ は総乗を表す。より便利な多重指数表記を用いてこれは

$f(x)=\sum _{\alpha \in \mathbb {N} ^{n}}a_{\alpha }\left(x-c\right)^{\alpha }$

と書くことができる。ただし $\mathbb {N}$ は自然数全体の集合であり、したがって $\mathbb {N} ^{n}$ は順序付けられた n 個の自然数の組全体の集合である。

そのような級数の理論は一変数の級数よりもトリッキーで、収束域は複雑である。例えば、冪級数 $\sum _{n=0}^{\infty }x_{1}^{n}x_{2}^{n}$ は2つの双曲線の間の集合 $\{(x_{1},x_{2}):|x_{1}x_{2}|<1\}$ で絶対収束する。（これは log 凸集合の例である、つまり $(x_{1},x_{2})$ が上の領域に属するときの点 $(\log |x_{1}|,\log |x_{2}|)$ 全体の集合は凸集合である。より一般に、c = 0 のとき、絶対収束領域の内部は常にこの意味で log 凸集合であることを示すことができる。）一方、この収束領域の内部では、通常の冪級数のときとまったく同様に、項別に微分・積分ができる。

冪級数のオーダー

α を冪級数 f(x₁, x₂, …, x_n) に対する多重指数とする。冪級数 f のオーダー (order) は a_α ≠ 0 なる最小の値 |α| と定義される。ただし f ≡ 0 のときは 0 と定義される。とくに、一変数 x の冪級数 f(x) に対して、f のオーダーは非零係数を持つ x の最小冪である。この定義は直ちにローラン級数に拡張される。

関連項目

• 多項式
• 総和
• 解析関数
• ローラン級数
• テイラー展開
• 平坦関数
• 線型近似
• 確率変数

参考文献

• Solomentsev, E.D. (2001), "Power series", in Hazewinkel, Michiel (ed.), Encyclopaedia of Mathematics, Springer, ISBN 978-1-55608-010-4。

外部リンク

• Weisstein, Eric W. "Formal Power Series". MathWorld (英語).
• Weisstein, Eric W. "Power Series". MathWorld (英語).
• Complex Power Series Module by John H. Mathews
• Powers of Complex Numbers by Michael Schreiber, Wolfram Demonstrations Project.

Weblio日本語例文用例辞書

「Power series」の例文・使い方・用例・文例

• 開会の辞：Dotty Powers（議長）が午後6 時30 分に会議を開始し、新会計係のClaire Hudsonを紹介した。
• さまざまな事業：Powersさんは、センターの青少年バスケットボールプログラムがBrookville Inquirer の記事内で最近、賞賛されたと知らせた。
• 会議は、Powersさんによって午後7時30分に一時休会とされた。
• 技術部のPhil Powersが、先週後半に異動の辞令を受け、来月末にDunkirk工場へ転勤することになりました。
• Phil Powersの異動を担当した。