フィックの法則とは、物質の拡散を記述する物理法則です。第1法則は定常状態、第2法則は非定常状態の拡散を記述し、気体、液体、固体など様々な物質の拡散現象に適用されます。拡散係数、濃度勾配、温度などの要素が拡散速度にどのように影響するかを解説します。
ネーターの定理とは、物理系における連続的な対称性と保存則の関係を記述する重要な定理です。1918年にエミー・ネーターによって発表され、解析力学、場の理論など幅広い物理学分野で活用されています。本記事では、その詳細な内容をラグランジュ形式、ハミルトニアン形式、そして場の理論における定理の表現、具体的な例を交えながら解説します。
シュテファン=ボルツマンの法則とは、黒体から放出される熱輻射エネルギーと絶対温度の関係を表す物理法則です。シュテファンが実験的に発見し、ボルツマンが理論的に証明しました。この法則は、様々な物理現象の理解や、天体の温度推定などに応用されています。放射率や、プランク定数、ボルツマン定数といった物理定数との関係についても解説します。
エネルギー流束とは、ある面を通過するエネルギー移動の強さを示す物理量です。単位面積・単位時間当たりのエネルギー移動量として定義され、ワット毎平方メートル（W/m²）で表されます。放射、熱、音など、エネルギーの種類に応じて様々なエネルギー流束が定義されます。本記事では、エネルギー流束の概念、種類、関連する物理量について詳しく解説します。
この記事では、質量流量の定義、計算方法、単位、関連事項について解説します。質量流量とは単位時間あたりに通過する物質の質量のこと。様々な分野で重要な概念であり、その理解は不可欠です。密度、速度、面積といった要素と密接に関連しています。
学校や大学における時間割のあり方について解説した記事です。時間割作成のルール、様々な時間割の運用方法、近年における時間割編成の複雑化、そして時間割の自己設定についても詳しく解説しています。時間割作成に関わる様々な問題点についても言及しています。
5年生存率とは、主にがんの予後を示す医学指標です。診断後5年経過して生存している患者の割合を示し、治療効果の判定に用いられます。個人の余命予測には使えません。膵臓がんは5年生存率が低いことで知られています。早期発見が難しく、再発・転移のリスクも高い疾患です。5年生存率は、治療による寛解後の生存期間を測る指標であり、がんの終生再発率とは異なります。
本記事では、正則行列の絶対値最小の固有値を求める数値計算手法である逆べき乗法について解説します。べき乗法との関係性、具体的な計算手順、収束性などを丁寧に説明します。固有値問題を解くための重要な手法として、その原理や応用例を理解することで、数値解析の幅が広がります。
線形代数学における正方行列の跡（トレース）について解説する記事です。跡の定義、性質、固有値との関係、フロベニウスノルム、リー環への拡張、さらには一般化についても詳細に説明しています。線形代数の理解を深めるための必読書です。
この記事では、線形代数学における行列の指数関数について解説します。行列の指数関数の定義、性質、計算方法、そして線形微分方程式への応用について、詳細に説明します。また、行列の指数関数の重要な性質であるゴールデン-トンプソン不等式とリーブの定理についても触れ、さらに、行列の指数関数の計算に用いられる様々な手法についても解説します。
行列値関数は、行列を変数とする特殊関数の総称です。通常の特殊関数とは異なり、微分方程式の解として定義されることは少なく、行列への拡張において、多項式近似やベキ級数展開、Lagrange-Sylvester多項式などが用いられます。工学や統計学における応用も広く、数値計算の分野で盛んに研究されています。
行列の対数とは、行列の指数関数の逆関数として定義される行列であり、全ての行列が対数を持つとは限らない。この概念はリー群とリー代数の理論と深く関連しており、回転行列などの具体的な例を通して理解を深めることができる。正定値行列や可換行列など、特殊な条件下での性質も重要な論点である。
行列の基本変形について解説した記事です。行列の基本変形とは、行列の行または列に対して行う6種類の基本的な操作を指します。これらの操作は、基本行列の積として表現でき、行列の階数、行列式、逆行列などの計算に利用されます。線形方程式の解法への応用についても説明します。
線形代数学における行列の分解について解説します。LU分解、QR分解、固有値分解、特異値分解など、様々な行列分解とその応用、性質について、具体的な計算方法や数値解析における重要性などを丁寧に解説します。1000文字以上の詳細な解説と、参考文献も掲載しています。
数学における置換行列の詳細な解説記事です。定義、性質、行列式、トレース、群論との関連性、および関連事項について、分かりやすく丁寧に解説しています。線形代数や離散数学を学ぶ学生、研究者にとって貴重な情報源となるでしょう。
線形代数学における線形独立と線形従属について解説する記事です。線形独立の定義、線形従属との違い、具体的な例、行列式を用いた判定方法などを分かりやすく説明しています。線形独立性の概念を理解するために役立つ情報を網羅しています。
線型代数における線型包（線型部分空間）について解説。ベクトルの集合から生成される最小の部分空間、その定義、性質、基底との関係、そして関数解析における閉線型包について詳細に説明します。数学、特に線型代数や関数解析を学ぶ学生、研究者にとって有用な情報を提供します。
線型変換（線型写像）の詳細な解説。ベクトル空間における加法とスカラー倍を保つ写像の定義、性質、例、行列による表現、核・像、連続性などを数学的に厳密に説明しています。線型代数学、抽象代数学の基礎概念を理解する上で役立ちます。
線形代数ライブラリの機能を比較した一覧表です。最小二乗法、固有値問題、特異値分解といった線形代数における主要な問題に対する対応状況を、複数のライブラリについて網羅的に示しています。一覧表は現在も更新中であり、情報の追加や修正に協力していただける方を募集しています。数値解析ソフトウェアや数値線形代数といった関連分野への理解を深めるのに役立つ情報です。
数学における終結式について解説する記事です。2つの多項式が共通の根を持つ条件や、終結式の計算方法、判別式との関係、そして数論における応用まで、詳細な情報を分かりやすく解説しています。Sylvester行列式を用いた定義や、その証明についても触れています。
線形代数学におけるベクトルの外積について解説します。外積の定義、内積との違い、行列としての表現、テンソルへの拡張、そして具体的な応用例まで、詳細な情報を分かりやすく説明します。
直交行列とは、その転置行列が逆行列と等しくなる正方行列です。線形代数において重要な役割を果たし、回転や鏡映などの幾何学的変換を表すために用いられます。本記事では、直交行列の定義、性質、例、そして関連する概念について詳細に解説します。
疎行列とは、成分のほとんどがゼロである行列のことです。数値解析や機械学習において重要な役割を果たし、効率的な保存と処理のための様々な格納形式が存在します。本記事では、疎行列の概念、格納形式、そしてそれらの利点と欠点について詳しく解説します。
本記事では、線形代数学における正規行列について解説します。正規行列の定義、性質、スペクトル定理、そして他の行列との関係性について、詳細な説明と例を用いて分かりやすく解説します。正規行列の重要な概念と応用について理解を深められます。
線形代数と関数解析における正規直交系の解説記事です。直交系、正規直交系、完全正規直交系の定義、性質、具体例、そしてグラム・シュミットの正規直交化法について、詳細な数学的説明と様々な例題を用いて分かりやすく解説します。1000文字以上の詳細な記事です。
正則行列とは、逆行列を持つ正方行列のことです。逆行列は、元の行列と掛け合わせると単位行列になる行列です。正則行列は線形代数において重要な役割を果たし、様々な応用があります。この記事では、正則行列の定義、性質、判定法、そして具体的な例を解説します。
数値解析における問題の解きやすさを示す指標である条件数について解説。行列の条件数、特に良条件と悪条件、特異値・固有値との関係、そして他の数値問題への条件数の拡張について詳細に説明します。
線形代数学における行列の標準形である有理標準形について解説します。固有値を用いない行列の相似性の判定方法、その理論的背景、具体的な計算アルゴリズムまでを詳細に説明します。ジョルダン標準形との違いにも触れ、理解を深めます。
線型代数学における線形変換の最小多項式について解説した記事です。最小多項式の定義、固有多項式との関係、対角化可能性との関連、計算方法、そして関連する概念について詳細に説明しています。線形代数学の学習に役立つでしょう。
数値解析ソフトウェアとその主要ライブラリ、アプリケーション、応用分野を網羅的に解説。フリーソフトと商用ソフト、様々な分野への応用事例を紹介し、数値解析ソフトウェアの全体像を理解できる記事です。
数値的安定性とは、数値計算におけるアルゴリズムの信頼性を示す重要な性質です。計算過程での誤差の拡大を防ぎ、正確な結果を得るためのアルゴリズムの安定性を解説します。前方安定性、後方安定性、A安定性など、様々な安定性の概念と、微分方程式の数値解法における安定性の重要性についても詳しく説明します。
線形代数学における一般化固有ベクトルの概念を解説。通常の固有ベクトルの定義を拡張し、対角化不可能な行列の性質や、微分方程式への応用まで詳細に説明します。ジョルダン標準形やジョルダン鎖、一般化固有空間といった関連概念も丁寧に解説します。
「射影」という数学用語を様々な分野で解説します。集合論、線形代数、位相幾何学、そしてデータベースにおける射影の概念を丁寧に説明し、関連する概念との関係性も明らかにします。初学者にも分かりやすいよう、具体的な例を交えながら解説します。投影図や写像との関連も踏まえ、射影の多様な側面を包括的に理解できる内容となっています。
対称代数の定義、構成法、対称テンソル空間との違い、多項式環との関係、アフィン空間への拡張、圏論的性質、外積代数との比較、加群への一般化、そして普遍包絡環としての側面を解説した数学記事です。
線形代数学における固有多項式について解説します。固有値を求めるための多項式、その性質、ケイリー・ハミルトンの定理、相似な行列との関係、そしてグラフ理論への応用までを詳細に説明します。固有多項式と行列式、トレース、最小多項式といった関連概念についても触れ、理解を深めます。
数値線形代数における固有値問題の高速・高精度な数値解法について解説。5次以上の行列では代数的な厳密解は存在せず、反復法が用いられる。固有値だけでなく固有ベクトルを求める方法、代表的な解法であるJacobi法、逆べき乗法、クリロフ部分空間法、Givens回転やHouseholder変換などを解説。疎行列への対処法や歴史的背景にも触れ、関連書籍も紹介。
線形代数学における固有値分解とは、行列を固有値と固有ベクトルを用いて分解する手法です。行列の冪乗計算や指数関数の計算を簡略化し、様々な工学的問題への応用が可能です。固有値分解は、行列の対角化可能性に密接に関連しており、固有ベクトルが線形独立であることが条件となります。
線形代数学における固有値と固有ベクトルの概念、その歴史、定義、計算方法、応用、そして量子力学への関与を詳細に解説した記事です。固有値問題の数値解法や関連するソフトウェアについても触れています。
線形代数における回転行列について解説する記事です。2次元および3次元の回転行列、オイラー角、任意軸の回転、ケーリー・クラインのパラメータといった重要な概念を、数式を交えながら丁寧に解説します。コンピュータグラフィックスや物理学の分野における応用についても触れています。
反復法とは、数値解析において反復計算によって解を求める手法です。様々な関数に適用可能な単純なアルゴリズムであり、ニュートン法やハレー法など多くの手法が提案されています。本記事では、反復法のアルゴリズム、具体的な例、収束性に関する不動点定理、そして関連する参考文献について解説します。
線形代数学における双対空間と双対基底について解説する記事です。双対空間の定義、双対基底の存在条件、有限次元と無限次元空間における違い、そして双対基底の具体的な計算方法を、例を用いて分かりやすく説明します。
代数学における行列の単因子について解説します。単因子とは行列の標準形を定める不変量であり、その定義、性質、計算方法、そして関連する概念について詳しく説明します。具体的な例を用いて理解を深めます。
区分行列とは、複数の小行列をブロックとして並べた行列のこと。ブロック行列とも呼ばれ、行や列を分割して構成される。本記事では、区分行列の定義、積、逆行列の求め方、対称区分けについて解説する。線形代数における重要な概念である区分行列を理解することで、行列演算の効率化や複雑な問題へのアプローチが容易になる。
冪零行列とは、ある自然数乗すると零行列になる正方行列のことです。この記事では、冪零行列の定義、性質、標準形について詳細に解説します。具体的な例や計算方法、関連する線形代数学の概念についても触れ、理解を深めます。
余弦定理とは、三角形の内角の余弦と辺の長さの関係を表す定理です。第一余弦定理と第二余弦定理があり、第二余弦定理は一般的に余弦定理と呼ばれ、ピタゴラスの定理を一般化したものです。ユークリッド幾何学、三角測量、ベクトル解析など様々な分野で利用されています。
線形代数学におけるn次正方行列の余因子行列について解説する記事です。余因子行列の定義、性質、計算方法、逆行列との関係、固有多項式との関係、ヤコビの公式、ケイリー・ハミルトンの定理、高階余因子行列について具体例を交えながら丁寧に解説します。
線型代数学におけるヴァンデルモンド行列式について解説する記事です。ヴァンデルモンド行列、その行列式、公式、証明、そしてラグランジュ補間への応用まで詳しく説明します。18世紀の数学者、ヴァンデルモンドに因んだこの行列式は、数学の様々な場面で活用されています。
リチャード・バルガは、数値解析、数値線形代数、反復法、行列解析、複素解析に多大な貢献をしたアメリカ合衆国の数学者です。1950年代から2000年代にわたる多くの論文や書籍の著者であり、特にゲルシュゴリンの定理に関する研究で知られています。ハーバード大学で博士号を取得し、その後の研究生活で数値計算分野の発展に大きく貢献しました。
ユニモジュラ行列とは、整数行列で行列式が±1の行列のこと。逆行列も整数行列となる性質を持つ。全ユニモジュラ行列はそのすべての正方部分行列がユニモジュラ行列である行列で、線形計画問題において重要な役割を果たす。この記事では、ユニモジュラ行列と全ユニモジュラ行列の定義、性質、具体例、応用について解説する。
ユニタリ行列とは、複素正方行列の一種で、その随伴行列との積が単位行列となる行列です。ユニタリ行列は、線形代数学において重要な役割を果たし、量子力学など様々な分野に応用されています。本記事では、ユニタリ行列の定義、性質、関連する概念を詳しく解説します。
ヤコビ法は、実対称行列の固有値と固有ベクトルを同時に求める数値線形代数の解法です。ヤコビ回転行列を用いて、反復計算によって固有値と固有ベクトルを算出します。古典ヤコビ法、しきい値ヤコビ法、特別巡回ヤコビ法など様々な変種があり、現代においても固有値と固有ベクトルを同時に求めることができる有用な手法として利用されています。
ヤコビ法は、連立一次方程式や実対称行列の固有値問題を解く反復解法です。係数行列を上三角行列、下三角行列、対角行列に分解し、反復計算で解に収束させます。ガウス＝ザイデル法と比較して並列計算に向く反面、収束速度は遅いです。固有値問題への適用ではヤコビ対角化法と呼ばれます。
ペロン＝フロベニウスの定理は、線形代数学における重要な定理で、正方行列の固有値と固有ベクトルの性質を明らかにしています。正行列や非負行列に適用され、確率論、力学系、経済学など幅広い分野で応用されています。本記事では、定理の内容、証明、様々な応用例について詳しく解説します。
ベクトルのなす角と類似度について解説します。平面や空間だけでなく、一般的なベクトルにおけるなす角の定義、計算方法、そしてベクトルの類似度との関係を、コサイン類似度を例に詳細に説明します。内積やノルムといった数学的要素も分かりやすく解説します。
線形代数学におけるハウスホルダー変換とは、原点を通る超平面に関する鏡映を表す線形変換です。数値線形代数で広く用いられ、特にQR分解や行列の三重対角化に重要な役割を果たします。本記事では、その定義、性質、応用について詳しく解説します。幾何光学への応用についても触れます。
イギリスの数値解析学者ニコラス・ハイアムの業績を紹介する記事です。数値線形代数における彼の貢献、代表的な著書や論文、学会活動、講演内容などを詳細に解説しています。専門性の高い内容を含みますが、平易な言葉で記述し、理解しやすくなっています。
本記事では、数学におけるテンソル代数の概念を詳細に解説します。テンソル積を乗法とする多元環としての定義から、その普遍性、非可換多項式環との関連性、さらには外積代数や対称代数などとの関係、そして余代数構造についても丁寧に説明します。テンソル代数の理解を深めるための包括的な解説記事です。
ジーン・ゴラブは、数値解析、特に数値線形代数分野におけるアメリカの著名な数学者でした。数々の著書や論文を発表し、数値計算における様々なアルゴリズムの開発や改良に貢献しました。SIAMの代表も務めた彼の功績は、現代の数値計算学に多大な影響を与えています。
ジョルダン標準形とは、複素数体などの代数的閉体上の正方行列を、相似変換を用いて特定の標準形（ジョルダン標準形）に変換する手法です。固有値とジョルダン細胞を用いた表現行列は、行列の性質を分析する上で非常に役立ちます。線形変換への拡張や特性多項式・最小多項式との関連性、さらには具体的な計算アルゴリズムと存在証明についても解説します。
シルベスターの慣性法則とは、実二次形式の係数行列の基底変換によって不変となる性質を記述する線形代数学の定理です。正則行列による変換で得られる対角行列における正の成分数と負の成分数は、変換行列によらず一定であることを示します。この法則は、二次形式の性質を理解する上で重要な役割を果たします。
シューア補行列は、区分行列から定義される線形代数学の重要な概念です。数値解析、統計学、行列解析で広く用いられ、行列の逆行列計算や線形方程式系の解法、確率論における条件付き共分散の算出などに役立ちます。正定値対称行列の判定にも応用されます。
シュトラッセンのアルゴリズムは、行列の積を高速に計算するアルゴリズムです。従来のアルゴリズムより高速な計算を可能にし、大規模な行列計算において計算時間を大幅に削減します。本記事では、アルゴリズムの詳細な手順と、その計算効率の高さについて解説します。
3×3行列の行列式の計算方法であるサラスの公式について解説します。フランスの数学者サラスによって考案されたこの公式は、3×3行列の行列式を効率的に求めることができます。本記事では、公式の導出と具体的な計算例、そしてその応用についても詳しく説明します。
コーシー・シュワルツの不等式は、内積空間における2つのベクトルの関係を示す重要な不等式です。線形代数、関数解析、確率論など、幅広い分野で活用され、様々な数学的結果を導く基礎となっています。本記事では、その定理の内容、意義、証明方法、そして具体的な例を分かりやすく解説します。
コーシー・ビネの公式は、2つの行列の積の行列式を、元の行列の小行列式の積の和で表す公式です。線形代数学において重要な役割を果たし、様々な応用を持ちます。本記事では、公式の詳細な説明、証明、具体例、そして関連する概念について解説します。
正定値エルミート行列を下三角行列とその共役転置の積に分解するコレスキー分解について解説。様々なアルゴリズムやその応用、改良版である修正コレスキー分解、不完全コレスキー分解についても詳細に説明します。数値計算における重要な手法を理解するのに役立ちます。
ゲルシュゴリンの定理とは、正方行列の固有値の存在範囲を推定する際に用いられる重要な定理です。各行の非対角成分の絶対値の和を半径、対角成分を中心とする円板（ゲルシュゴリン円板）を考え、すべての固有値は少なくとも一つのゲルシュゴリン円板上に存在することを示します。数値計算の分野で広く活用されています。
ケイリー・ハミルトンの定理とは、正方行列がその固有多項式を満たすという線形代数学の基本定理です。この定理は、行列の冪乗をより低次の多項式で表現できることを示し、行列式や逆行列の計算、行列関数の簡略化などに幅広く応用されます。本記事では、定理の主張、証明、応用について詳細に解説します。
グラム・シュミットの正規直交化法は、線形独立なベクトル集合から正規直交基底を生成するアルゴリズムです。ベクトル空間における直交性と正規化の概念を理解する上で重要な手法であり、様々な数学的応用を持ちます。本記事では、そのアルゴリズムの詳細な解説と具体的な計算例を示します。
クリーブ・モラーは、数値解析と数値線形代数の第一人者として知られるアメリカの数学者、プログラマです。MATLABの開発や、数値計算ソフトウェアの開発への貢献で有名です。数々の賞を受賞しており、その業績は現代の数値計算の発展に大きな影響を与えています。
線形代数におけるクリロフ部分空間とは、行列とベクトルから生成される線形部分空間です。大規模な疎行列の固有値計算や連立一次方程式の解法に用いられるクリロフ部分空間法は、行列の疎性を活かした効率的な数値解法として知られています。ロシアの数学者アレクセイ・クリロフにちなんで名付けられました。
クラメルの法則とは、線形方程式系の解を、係数行列とその行列の列ベクトルを右辺ベクトルで置き換えた行列の行列式を用いて表す公式です。n個の未知数とn個の方程式からなる線形方程式系の一意解を求める際に有効で、特に低次元の線形方程式系では簡潔な解の表現を提供します。18世紀にクラメルによって発表され、その後コーシーらによって発展しました。
ギブンス回転とは、行列の線形変換において、特定の平面での回転操作を行う手法です。直交行列を用いたこの変換は、行列のQR分解などの数値計算において、効率的なアルゴリズムを実現するために利用されます。アメリカの数学者ウォレス・ギブンスにちなんで名付けられました。
ガウス＝ザイデル法は、連立一次方程式を反復的に解く数値解法です。ヤコビ法と比較して収束が速い反面、並列計算には不向きです。本記事では、ガウス＝ザイデル法の原理、アルゴリズム、収束条件、具体的な計算例、ヤコビ法との比較などを分かりやすく解説します。
ガウスの消去法は、連立一次方程式を解くための効率的なアルゴリズムです。拡大係数行列に行基本変形を繰り返し適用し、行階段形に変形することで解を求めます。前進消去と後退代入の2段階からなり、行列の階数計算や逆行列計算にも利用されます。計算量は変数の個数の3乗に比例しますが、効率的な解法として広く用いられています。
エルミート行列とは、複素数を成分とする正方行列で、自身の随伴行列と一致する行列です。実対称行列を複素数へ拡張した概念であり、固有値は常に実数という重要な性質を持ちます。量子力学など、理論物理学で広く利用されています。
べき乗法とは、行列の絶対値最大の固有値を求める数値計算手法です。反復計算により、初期ベクトルを繰り返し行列で変換することで、最大固有値に対応する固有ベクトルの方向に収束する性質を利用します。固有値は、ベクトルのノルムの比率から近似的に求めます。収束速度は固有値間の差に依存し、差が小さいと収束が遅くなります。逆べき乗法は、絶対値最小の固有値を求める類似の手法です。
Z行列とは、非対角成分がすべて0以下の行列のことです。競争的力学系のヤコビ行列はZ行列となり、協力的な力学系ではそのヤコビ行列の-1倍がZ行列となります。L行列、M行列、P行列など、様々な関連する行列も存在し、それぞれの定義や性質は密接に関連しています。Z行列は、数学、特に数値解析の分野において重要な役割を果たしています。
SOR法（逐次加速緩和法）は、連立一次方程式を反復的に解く数値解法です。ガウス＝ザイデル法を改良し、収束速度を向上させる加速パラメータωを導入しています。ωの最適値を求める方法や、SOR法の収束性、近年の研究動向について解説します。
QR法は、行列の固有値を数値的に安定して求める反復アルゴリズムです。QR分解を用いて行列を相似変換し、固有値が対角要素に収束していく性質を利用します。対称行列の場合、三重対角行列へと収束し、計算効率が向上します。原点移動付きQR法は、収束を加速させる改良版です。
QR分解とは、行列を直交行列と上三角行列の積に分解する手法です。線形最小二乗問題やQR法といった数値計算において重要な役割を果たします。グラム・シュミット、ハウスホルダー変換、ギブンス回転といった様々なアルゴリズムが存在し、それぞれ計算効率や数値的安定性で特徴があります。本記事では、QR分解の定義、計算方法、線形逆問題への応用、固有値との関係などを解説します。
OpenBLASは、広く利用されている数値線形代数ライブラリです。BLASとLAPACKの機能を備え、様々なプロセッサアーキテクチャに最適化された高速な計算を提供します。GotoBLASをベースに開発され、Intel oneAPI Math Kernel Libraryに匹敵する性能を実現しています。様々なハードウェア環境で高性能な数値計算を必要とするアプリケーション開発に最適です。
Python数値計算ライブラリNumPyの詳細解説。開発経緯からMATLABとの比較、不規則配列への対応、関連ライブラリまで網羅。高速処理や利便性、そして関連ツールとの連携についても言及します。
正方行列を下三角行列と上三角行列の積に分解するLU分解について解説。LU分解の手法であるドゥーリトル法とクラウト法、連立一次方程式への応用、逆行列や行列式の計算方法、そしてLDU分解やLUP分解といった変種についても詳述します。数学、線形代数に関する専門的な知識を有する方を対象としています。
LAPACKは、線形代数問題を数値的に解くための高性能ソフトウェアライブラリです。FORTRANで実装され、C言語インターフェースも提供。LU分解、QR分解など様々な行列分解アルゴリズムを実装し、様々なプログラミング言語との連携も可能です。近年は、並列計算やGPU計算にも対応した拡張版も開発されています。
INTLABはS.M. Rump氏によって開発された、MATLAB/GNU Octave用の区間演算ライブラリです。Windows、Linux、macOSに対応し、数値計算の精度保証に貢献します。線形代数、常微分方程式の数値解法、最適化問題など幅広い機能を提供し、様々な分野で活用されています。1998年の初版公開から継続的にアップデートされ、現在も発展を続けています。
GMRES法は、連立一次方程式を解くための反復解法です。クリロフ部分空間内で残差を最小化することで近似解を求め、アーノルディ法を用いて効率的に計算します。正定値行列や条件数が小さい行列に対しては高速に収束する一方、収束が遅い場合もあります。前処理やリスタートなどの工夫により、実用的な問題への適用が可能です。
Basic Linear Algebra Subprograms (BLAS)は、数値線形代数の基礎演算を定義するAPIです。ベクトル・行列演算を効率的に実行するための関数群を提供し、科学技術計算、高性能計算において広く利用されています。様々なハードウェアベンダーが最適化された実装を提供しており、その性能は計算速度に直結します。
Armadilloは、C++数値線形代数ライブラリとして、高速な行列演算を実現するツールです。LAPACKとの統合、テンプレートメタプログラミング、遅延評価といった高度な技術により、従来のライブラリを凌駕するパフォーマンスを発揮します。MATLABライクなAPIも特徴です。オーストラリア、CSIRO Data61のConrad Sanderson氏によって開発されました。
完全活性空間摂動理論（CASPTn）とは、特に重原子を含む分子系の電子状態を精密に計算するための量子化学的手法です。単一参照法では困難な複雑な系にも適用でき、遷移金属錯体などの研究に広く用いられています。本記事ではCASPTnの原理、歴史、適用範囲について解説します。
完全活性空間（CAS）とは、量子化学計算において、分子の電子状態を記述する手法の一つです。電子配置を効率的に選択することで、化学結合の解離過程などを正確に計算できます。ただし、計算コストの増加に注意が必要です。CASSCFやCASPT2などの関連手法と合わせて、正確な分子シミュレーションを実現します。
量子化学における多参照配置間相互作用法(MRCI法)について解説する記事です。MRCI法の原理、計算方法、参照行列式の選択、歴史、応用例などを詳しく説明し、関連手法との比較も行います。量子化学計算手法に関心のある研究者や学生にとって有益な情報が満載です。
変分法は、汎関数の微分を扱う数学的手法で、物理学や工学における様々な問題の近似解を求めるために用いられます。最小作用の原理やディリクレの原理など、重要な原理の導出や、多体問題における波動関数の近似計算などに広く応用されています。本記事では、変分法の基本概念、計算例、そしてヘリウム原子への応用について解説します。
量子化学計算における基底関数系について解説する記事です。最小基底系から高度な基底関数系まで、様々な種類と特徴、そして計算化学における役割を詳細に説明します。平面波基底や実空間基底についても触れ、基底関数系の選び方が計算結果にどう影響するかを理解するのに役立ちます。
ロンドン分散力とは、分子や原子に一時的に生じる電気双極子間の弱い引力のこと。無極性分子間の主要な分子間力であり、物質の状態変化に影響を与える重要な要素です。ヘリウムのような希ガスの液体状態や、ハロゲンの沸点の違いを説明する上で重要な役割を果たします。量子論的な効果に基づき、分子サイズや表面積に依存した複雑な相互作用を示します。
量子化学におけるポストハートリーフォック法とは、電子相関エネルギーを考慮することでハートリーフォック法の精度を高めるための計算手法群のこと。計算コストは増加するものの、より正確な結果が得られるため、様々な改良手法が開発されています。分子構造や反応性の精密な予測に役立ちます。
ボルン-オッペンハイマー近似とは、分子の電子と原子核の運動を分離して考える近似法です。原子核の質量が電子に比べて非常に大きいため可能になり、電子状態と核の運動を別々に計算することで、分子の性質を効率的に解明します。この近似は、分子の振動・回転状態や励起状態を理解する上で非常に重要です。
多電子系の波動関数を求める近似法であるハートリー近似について解説します。ハートリー方程式、ハートリー軌道、近似の波動関数、問題点、改良されたハートリー・フォック近似との比較などを詳しく説明します。
スレイター行列式とは、フェルミ粒子からなる多粒子系の状態を記述する際に用いられる行列式です。パウリの排他原理を満たし、量子化学計算において重要な役割を果たします。本記事では、その定義、性質、ハートリー積との比較、そして第二量子化との関係について詳しく解説します。
コーン・シャム方程式とは、密度汎関数理論において用いられる、電子などの相互作用のある粒子系を記述する方程式です。相互作用のない仮想的な粒子系を導入することで、複雑な多電子系の問題を扱いやすくします。この方程式は、コーンとシャムによって1965年に提唱され、量子化学計算において重要な役割を果たしています。
【記事の利用について】
タイトルと記事文章は、記事のあるページにリンクを張っていただければ、無料で利用できます。
※画像は、利用できませんのでご注意ください。
【リンクついて】
リンクフリーです。