加法定理とは? わかりやすく解説

かほう‐ていり〔カハフ‐〕【加法定理】

読み方:かほうていり

関数f(α+β)=Ff(α),f(β)}の関係で表される定理三角関数では、sin(α±β)=sinαcosβ±cosαsinβやcos(α±β)=cosαcosβ∓ sinαsinβなどの定理。→確率の加法定理


加法定理

[数式]


加法定理

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/06/01 03:59 UTC 版)

ナビゲーションに移動 検索に移動

数学物理学等において、特殊函数加法定理(かほうていり、: addition theorem)、加法法則(かほうほうそく、: addition law/rule)あるいは加法公式(かほうこうしき、: addition formula)とは、ある関数対応写像について、2 つ以上の変数の和として記される変数における値を、それぞれの変数における値によって書き表したもの。

概要

変数が 2 つの場合には関数 f の加法定理は形式的に 2 変数の関数 G を用いて f (x + y) = G(f (x), f (y)) の形に書き表される。このときの G がどのような関数としてとれるかという基準で加法定理を分類することも考えられる。

たとえば a という定数によって a 倍する写像 ma: xax を考えるとき、a(x + y) = ax + ay となるという性質は分配法則と呼ばれるが、これはベクトル空間や環(あるいは環上の加群)などで成立する加法定理の一種である。もう少し一般に関数 ff (x + y) = f (x) + f (y) の形の加法定理を満足するとき、関数 f は加法的であるまたは加法性を持つという。これは関数 f加法群の間の準同型となることを意味している。また、指数法則の一つである指数関数の加法定理 exp(x + y) = exp(x)exp(y) などは加法が乗法に写るような加法定理である。

多様な加法定理が世の中には存在するが、代表的なものを以下に掲げる。

三角関数の加法定理[1]
球面調和函数の加法定理[2]
ベッセル関数の加法定理
楕円関数の加法定理
θ 関数やワイエルシュトラスの この項目は、解析学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めていますプロジェクト:数学Portal:数学)。

加法定理

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/04/07 03:05 UTC 版)

球面調和関数」の記事における「加法定理」の解説

球面調和関数には「加法定理」と呼ばれる性質がある。これは三角関数における加法定理 cos ⁡ ( θ ′ − θ ) = cos ⁡ θ ′ cos ⁡ θ + sin ⁡ θ sin ⁡ θ ′ {\displaystyle \cos(\theta '-\theta )=\cos \theta '\cos \theta +\sin \theta \sin \theta '} を一般化したものと捉えることができる。上式の右辺球面調和関数に、左辺ルジャンドル多項式置き換えられる二つ単位ベクトル x および y を考え、それらの球面座標それぞれ (θ, φ) および (θ′, φ′) とする。このとき、加法定理は以下のように表すことができる: P ℓ ( x ⋅ y ) = 4 π 2 ℓ + 1 ∑ m = − ℓ ℓ Y ℓ m ( θ ′ , φ ′ ) Y ℓ m ∗ ( θ , φ ) . {\displaystyle P_{\ell }({\boldsymbol {x}}\cdot {\boldsymbol {y}})={\frac {4\pi }{2\ell +1}}\sum _{m=-\ell }^{\ell }Y_{\ell m}(\theta ',\varphi ')\,Y_{\ell m}^{*}(\theta ,\varphi ).} (1) ここで Pℓ は ℓ 次のルジャンドル多項式である。この表式実数調和関数虚数調和関数双方について成り立つ。この結果単位球面上のポアソン核性質用いて、あるいはベクトル y を z 軸沿うように幾何的回転させたのちに右辺直接計算することにより解析的証明することができる。 特に、x = y場合はウンゼルトの定理 ∑ m = − ℓ ℓ Y ℓ m ∗ ( θ , φ ) Y ℓ m ( θ , φ ) = 2 ℓ + 1 4 π {\displaystyle \sum _{m=-\ell }^{\ell }Y_{\ell m}^{*}(\theta ,\varphi )\,Y_{\ell m}(\theta ,\varphi )={\frac {2\ell +1}{4\pi }}} に帰着する。この式は一次元三角関数における恒等式 cos2 θ + sin2θ = 1 を二次元拡張したものとみなすことができる。 式 (1) の左辺 Pℓ(x⋅y) は ℓ 次の帯球調和関数英語版)の定数倍である。この観点から、より高次元の場合にも次のように一般化することができる。Yjn 次元超球面上の次の球面調和関数張る空間 Hℓ の任意の正規直交基底とする。このとき、単位ベクトル x に対応する次の帯球調和関数 Z (ℓ)x は以下のように書き下せる。 Z x ( ℓ ) ( y ) = ∑ j = 1 dim ⁡ ( H ℓ ) Y j ( x ) ¯ Y j ( y ) . {\displaystyle Z_{\boldsymbol {x}}^{(\ell )}({\boldsymbol {y}})=\sum _{j=1}^{\dim(\mathbf {H} _{\ell })}{\overline {Y_{j}({\boldsymbol {x}})}}\,Y_{j}({\boldsymbol {y}}).} (2) さらに、帯球調和関数 Z (ℓ)x (y) は適切なゲーゲンバウアー多項式定数倍として表すことができる: Z x ( ℓ ) ( y ) = C ℓ ( ( n − 1 ) / 2 ) ( x ⋅ y ) . {\displaystyle Z_{\boldsymbol {x}}^{(\ell )}({\boldsymbol {y}})=C_{\ell }^{((n-1)/2)}({\boldsymbol {x}}\cdot {\boldsymbol {y}}).} (3) x および y が球面座標表される場合、(2) および (3)組み合わせると (1) が得られる最後にx = y場合評価する次の恒等式得られるdim ⁡ H ℓ ω n − 1 = ∑ j = 1 dim ⁡ ( H ℓ ) | Y j ( x ) | 2 . {\displaystyle {\frac {\dim \mathbf {H} _{\ell }}{\omega _{n-1}}}=\sum _{j=1}^{\dim(\mathbf {H} _{\ell })}|Y_{j}({\boldsymbol {x}})|^{2}.} ここで ωn − 1 は (n − 1) 次元超球の体積である。

※この「加法定理」の解説は、「球面調和関数」の解説の一部です。
「加法定理」を含む「球面調和関数」の記事については、「球面調和関数」の概要を参照ください。

ウィキペディア小見出し辞書の「加法定理」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ

「加法定理」の例文・使い方・用例・文例

Weblio日本語例文用例辞書はプログラムで機械的に例文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。



固有名詞の分類


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「加法定理」の関連用語

加法定理のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



加法定理のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
デジタル大辞泉デジタル大辞泉
(C)Shogakukan Inc.
株式会社 小学館
数理検定協会数理検定協会
Copyright©2025 数理検定協会 All Rights Reserved.
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの加法定理 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの球面調和関数 (改訂履歴)、三角関数 (改訂履歴)、双曲線関数 (改訂履歴)、ヤコビの楕円関数 (改訂履歴)、体球調和関数 (改訂履歴)、テータ関数 (改訂履歴)、三角関数の公式の一覧 (改訂履歴)、atan2 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。
Tanaka Corpusのコンテンツは、特に明示されている場合を除いて、次のライセンスに従います:
 Creative Commons Attribution (CC-BY) 2.0 France.
この対訳データはCreative Commons Attribution 3.0 Unportedでライセンスされています。
浜島書店 Catch a Wave
Copyright © 1995-2025 Hamajima Shoten, Publishers. All rights reserved.
株式会社ベネッセコーポレーション株式会社ベネッセコーポレーション
Copyright © Benesse Holdings, Inc. All rights reserved.
研究社研究社
Copyright (c) 1995-2025 Kenkyusha Co., Ltd. All rights reserved.
日本語WordNet日本語WordNet
日本語ワードネット1.1版 (C) 情報通信研究機構, 2009-2010 License All rights reserved.
WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved. License
日外アソシエーツ株式会社日外アソシエーツ株式会社
Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.
「斎藤和英大辞典」斎藤秀三郎著、日外アソシエーツ辞書編集部編
EDRDGEDRDG
This page uses the JMdict dictionary files. These files are the property of the Electronic Dictionary Research and Development Group, and are used in conformance with the Group's licence.

©2025 GRAS Group, Inc.RSS