方程式の求解とは？わかりやすく解説

方程式の求解（ほうていしきのきゅうかい、英: equation solving）とは、方程式または方程式系を満たす解を求めること、ならびにそのための理論・方法・算法の総称である。対象には、一次方程式や多項式方程式のような代数方程式、超越方程式、微分方程式、偏微分方程式、ディオファントス方程式、積分方程式などが含まれる。古典的には未知数の値を具体的に算出する操作として発達したが、現代数学においては、解の存在・一意性・構造の記述、閉形式解の可否、近似解の構成、計算量や算法の安定性の評価までを含む広い研究主題となっている。^[1]^[2]^[3]

方程式の求解は、初等代数学、線型代数学、解析学、数値解析、計算機代数、代数幾何学など多くの分野にまたがる。初等代数学では恒等変形・因数分解・代入・消去法が基本となり、線型代数学では連立一次方程式を行列とベクトルによって表してガウスの消去法や各種分解法を用いる。閉形式解が得がたい場合には、二分法、ニュートン法などの数値的方法や、グレブナー基底に代表される記号的手法が用いられる。^[4]^[5]^[6]

概説

方程式

F(x_{1},\dots ,x_{n})=0

または方程式系

F_{1}(x_{1},\dots ,x_{n})=0,\ \dots ,\ F_{m}(x_{1},\dots ,x_{n})=0

の求解とは、与えられた定義域においてこれらを満たす未知量 $x_{1},\dots ,x_{n}$ を決定することである。未知量は実数・複素数・整数のような数に限らず、函数、行列、作用素、あるいは幾何学的対象であることもある。そのため「方程式を解く」とは、具体的な値を算出することだけでなく、解集合を記述すること、解の存在や個数を論じること、近似列や反復列を与えることをも意味する。^[7]^[8]

現代数学において求解は、少なくとも次の観点から考察されることが多い。すなわち、解が存在するか、存在するとき一意か、解をどのような形で表現できるか、そして解を実際に計算できるか、という区別である。たとえば一般五次方程式は複素数の範囲では解を持つが、係数から四則演算と根号のみで一般解を表す公式は存在しない。また整数係数多項式方程式が整数解を持つかどうかについては、一般に判定する算法が存在しないことが知られている。したがって求解論では、解の存在、表示可能性、計算可能性を区別して理解する必要がある。^[9]^[10]

基本概念

解と解集合

方程式の解とは、未知量に値を代入したとき方程式を真にする対象である。解全体の集合を解集合という。たとえば $x^{2}-1=0$ の実数解集合は $\{-1,1\}$ であるが、 $x^{2}-2=0$ は実数では解を持つ一方、整数では解を持たない。したがって求解では、未知量の属する範囲、すなわち体、環、位相空間、函数空間などの設定が本質的である。^[11]

同値変形

求解において中心的役割を果たすのが同値変形である。二つの方程式または方程式系が同じ解集合を持つとき、それらは同値であるという。両辺に同じ式を加える、適切な範囲で零でない量を掛ける、正則な置換を施すといった操作は通常は同値変形である。一方、両辺を二乗する、分母を払う、対数をとる、絶対値を外すなどの操作は、条件によって余分な解を生じたり、逆に解を失わせたりするため、一般には同値変形ではない。このため、求解の最後に検算が必要になる。^[12]

厳密解と近似解

求解の結果は、その表現のしかたによって厳密解、記号的解、数値解、定性的解に分けられる。厳密解は有限回の代数的操作や既知函数により表される解であり、記号的解は媒介変数や代数的関係を含む形での表示を含む。数値解は所定の誤差許容のもとで与えられる近似値であり、定性的解は存在、漸近挙動、正則性、安定性、位相的構造などの記述を指す。とくに非線形方程式や偏微分方程式では、閉形式解の明示よりも、弱解や数値近似の構成が中心となることが多い。^[13]^[14]

良設定性と安定性

数値的求解においては、解が存在し一意であり、さらに入力データの微小な変化に対して解が大きく乱れないことが重要である。アダマールの意味でこうした性質を満たす問題は良設定と呼ばれる。とくに線形方程式 $Ax=b$ では、係数行列 $A$ の条件数が解の感度の指標となる。また、方程式そのものの感度と、用いる算法が丸め誤差をどの程度増幅するかという数値安定性とは区別される。^[15]^[16]

類型

代数方程式

多項式を零に等置して得られる方程式を代数方程式という。一次方程式と二次方程式は初等的に解くことができ、三次方程式と四次方程式についても16世紀に一般解法が得られた。これに対し、一般五次方程式は四則演算と根号だけによる普遍的な解法を持たないことが、アーベル＝ルフィニの定理およびガロア理論によって示された。したがって高次代数方程式の求解では、因数分解、特殊形への変換、代数拡大の利用、数値近似などを組み合わせることになる。^[17]^[18]

連立一次方程式

連立一次方程式は

Ax=b

の形にまとめられる。ここで $A$ は係数行列、 $x$ は未知ベクトル、 $b$ は定数ベクトルである。有限次元線型代数学の観点では、求解は階数、核、像、行列式などと結び付く。計算においては、稠密行列に対するガウスの消去法や分解法、大規模・疎行列系に対する共役勾配法やGMRES法などの反復法が重要である。^[19]^[20]

非線形方程式と超越方程式

指数関数、対数関数、三角関数などを含む方程式、あるいは多項式で表せない非線形方程式の多くには一般的な閉形式解法が存在しない。このため求解は数値的方法に大きく依存する。一変数の場合、二分法は収束保証に優れるが収束は比較的遅く、ニュートン法は条件が整えば高速に収束するが、初期値や導関数の性質によっては失敗することもある。多変数の場合にはヤコビ行列を用いたニュートン法、その変種、準ニュートン法などが用いられる。^[21]^[22]

微分方程式

未知量が函数である方程式が微分方程式である。常微分方程式では、変数分離形、線形方程式、完全微分方程式などに対して解析的解法が知られているが、一般には積分表示、級数解、特殊函数、あるいは数値解法が必要となる。偏微分方程式では、フーリエ解析、グリーン関数、変分法、有限差分法、有限要素法などが用いられる。ここでの「解く」とは、古典解を明示することに限らず、弱解や分布解の意味で存在・一意性・正則性を示すことも含む。^[23]^[24]

ディオファントス方程式

整数解または有理解を求める方程式をディオファントス方程式という。これは実数解や複素数解を求める問題とは性格が大きく異なり、整除性、合同式、代数的整数論、楕円曲線論などと深く関わる。線形ディオファントス方程式には古典的解法があるが、一般には解の存在判定そのものが困難である。さらに、整数係数多項式方程式が整数解を持つかどうかを判定する一般算法は存在しない。^[25]^[26]

求解法

初等的手法

初等的求解法には、移項、通分、因数分解、平方完成、置換、消去法などがある。これらは、元の方程式をより扱いやすい同値な方程式へ変形するという意味で、求解の原型をなす。二次方程式の解の公式は平方完成の体系化であり、連立一次方程式に対する消去法は多未知数系への一般化である。古典代数学の重要な部分は、こうした変形を規則化・一般化する営みとして理解できる。^[27]

代数的・記号的手法

記号的求解では、未知数を含む式を厳密に操作して解を表現する。多変数多項式系に対しては、消去理論やグレブナー基底を用いることにより、変数の逐次消去、三角化、解集合の代数幾何学的記述などが可能になる。こうした方法は厳密性に優れる一方で、問題の規模が大きくなると計算量が急増しやすい。^[28]^[29]

数値的方法

数値的求解は、厳密解の代わりに所定精度の近似解を得る方法である。単独の非線形方程式に対する求根アルゴリズムでは、収束保証、収束速度、丸め誤差への頑健性、初期値依存性が主要な評価基準となる。線形系に対しては直接法と反復法が区別され、微分方程式に対しては時間刻み、空間離散化、安定条件、誤差解析が重要となる。現代の科学技術計算では、大規模並列計算や疎行列技法と結び付いた数値求解が重要な役割を果たす。^[30]^[31]^[32]

幾何学的手法

一変数方程式 $f(x)=0$ の求解は、グラフ $y=f(x)$ と $x$ 軸との交点を求めることに対応する。連立方程式の求解は複数の曲線・曲面・多様体の交点問題として理解できる。古典幾何学では円錐曲線の交点による三次方程式の解法が研究され、現代では代数幾何学の立場から、方程式系の求解は代数多様体やその上の写像の研究として再解釈される。^[33]

理論的限界

方程式の求解には本質的な限界が存在する。第一に、解が存在しても、それを所望の形式で表現できるとは限らない。一般五次方程式に対する根号解法の不存在は、その代表例である。第二に、問題によっては解の存在を判定する一般算法そのものが存在しない。整数係数多項式方程式に整数解が存在するかどうかに関する一般判定算法の不存在は、ヒルベルトの第10問題の否定的解決として知られる。第三に、算法が存在する場合でも、計算量や数値的不安定性のために、実用上は求解がきわめて困難になることがある。このため現代の求解論では、理論的可解性、表現可能性、計算可能性、実用的実行可能性を区別する必要がある。^[34]^[35]^[36]

歴史

古代から中世

方程式の求解は、土地測量、商業計算、天文暦法などの実務的要求とともに発達した。古代バビロニア数学には二次型問題に相当する解法が見られ、古代ギリシアでは幾何学的構成が重視された。中国数学では『九章算術』に連立一次方程式の算法が含まれており、後世の行列的消去法に通じる発想が見られる。^[37]^[38]

9世紀のアル＝フワーリズミーは、二次方程式を類型化し、それぞれに対する体系的解法を提示した。これにより、方程式の求解は個別問題の技巧から一般的規則をもつ理論へと移行した。代数学を意味する al-jabr の語源は、この文脈に由来する。中世から近世にかけては記号法が整備され、未知数や係数を一般的に扱う近代的代数表記の基礎が形成された。^[39]^[40]

ルネサンス以後

16世紀には、タルタリア、カルダーノ、フェラーリらにより、三次方程式および四次方程式の一般解法が得られた。これにより高次方程式の一般解法探索が進展したが、18世紀から19世紀にかけてルフィニ、アーベル、ガロアの研究により、一般五次方程式には根号による普遍的解法が存在しないこと、また方程式の可解性が根の置換群の構造と結び付くことが明らかにされた。この展開は、方程式論を抽象代数学へ接続する重要な契機となった。^[41]^[42]

19世紀から20世紀にかけて、解析学と線型代数学の発展により、微分方程式、積分方程式、変分問題の求解が理論化された。同時に、近似法と誤差解析の整備により数値解析が独立分野として成立した。電子計算機の普及以後は、大規模線形系、非線形方程式、偏微分方程式、記号計算、計算代数幾何などが計算数学の中心課題となり、厳密記号計算と浮動小数点数値計算とを併用することが一般化した。^[43]^[44]^[45]

応用

方程式の求解は、自然科学・工学・社会科学の広範な領域に現れる。力学・電磁気学・流体力学では微分方程式の求解が基本であり、回路理論、構造解析、逆問題、画像処理、最適化、統計的推定なども広義には方程式または方程式系の求解として定式化される。この普遍性のため、求解法の改良は理論数学のみならず、計算機科学や応用科学の発展と密接に結び付いている。^[46]^[47]

脚注

^ Katz, Victor J.; Parshall, Karen Hunger (2014). Taming the Unknown: A History of Algebra from Antiquity to the Early Twentieth Century. Princeton University Press
^ Becker, Thomas; Weispfenning, Volker (1993). Gröbner Bases: A Computational Approach to Commutative Algebra. Springer
^ Higham, Nicholas J. (2002). Accuracy and Stability of Numerical Algorithms (2nd ed.). SIAM
^ Driscoll, Tobin A.; Braun, Richard J. (2017). Fundamentals of Numerical Computation. SIAM
^ Cox, David; Little, John; O'Shea, Donal (2015). Ideals, Varieties, and Algorithms (4th ed.). Springer
^ Golub, Gene H.; Van Loan, Charles F. (2013). Matrix Computations (4th ed.). Johns Hopkins University Press
^ van der Waerden, B. L. (1985). A History of Algebra: From al-Khwarizmi to Emmy Noether. Springer-Verlag
^ Conte, Samuel D.; de Boor, Carl (2017). Elementary Numerical Analysis: An Algorithmic Approach. SIAM
^ Stewart, Ian (2015). Galois Theory (4th ed.). Chapman and Hall/CRC
^ Matiyasevich, Yuri V. (1993). Hilbert's Tenth Problem. MIT Press
^ Stillwell, John (1994). Elements of Algebra: Geometry, Numbers, Equations. Springer
^ Polya, G.; Szegő, G. (1972). Problems and Theorems in Analysis I. Springer
^ Evans, Lawrence C. (2010). Partial Differential Equations (2nd ed.). American Mathematical Society
^ Hairer, Ernst; Nørsett, Syvert P.; Wanner, Gerhard (1993). Solving Ordinary Differential Equations I: Nonstiff Problems. Springer
^ Trefethen, Lloyd N.; Bau, David (1997). Numerical Linear Algebra. SIAM
^ Higham, Nicholas J. (2002). Accuracy and Stability of Numerical Algorithms (2nd ed.). SIAM
^ Edwards, Harold M. (1984). Galois Theory. Springer
^ Stewart, Ian (2015). Galois Theory (4th ed.). Chapman and Hall/CRC
^ Golub, Gene H.; Van Loan, Charles F. (2013). Matrix Computations (4th ed.). Johns Hopkins University Press
^ Saad, Yousef (2003). Iterative Methods for Sparse Linear Systems (2nd ed.). SIAM
^ Boyd, John P. (2014). Solving Transcendental Equations: The Chebyshev Polynomial Proxy and Other Numerical Rootfinders, Perturbation Series, and Oracles. SIAM
^ Ortega, James M.; Rheinboldt, Werner C. (2000). Iterative Solution of Nonlinear Equations in Several Variables. SIAM
^ Evans, Lawrence C. (2010). Partial Differential Equations (2nd ed.). American Mathematical Society
^ Hairer, Ernst; Nørsett, Syvert P.; Wanner, Gerhard (1993). Solving Ordinary Differential Equations I: Nonstiff Problems. Springer
^ Matiyasevich, Yuri V. (1993). Hilbert's Tenth Problem. MIT Press
^ Stillwell, John (2003). Elements of Number Theory. Springer
^ Katz, Victor J.; Parshall, Karen Hunger (2014). Taming the Unknown: A History of Algebra from Antiquity to the Early Twentieth Century. Princeton University Press
^ Cox, David; Little, John; O'Shea, Donal (2015). Ideals, Varieties, and Algorithms (4th ed.). Springer
^ Becker, Thomas; Weispfenning, Volker (1993). Gröbner Bases: A Computational Approach to Commutative Algebra. Springer
^ Driscoll, Tobin A.; Braun, Richard J. (2017). Fundamentals of Numerical Computation. SIAM
^ Trefethen, Lloyd N.; Bau, David (1997). Numerical Linear Algebra. SIAM
^ Higham, Nicholas J. (2002). Accuracy and Stability of Numerical Algorithms (2nd ed.). SIAM
^ Cox, David; Little, John; O'Shea, Donal (2015). Ideals, Varieties, and Algorithms (4th ed.). Springer
^ Edwards, Harold M. (1984). Galois Theory. Springer
^ Matiyasevich, Yuri V. (1993). Hilbert's Tenth Problem. MIT Press
^ Higham, Nicholas J. (2002). Accuracy and Stability of Numerical Algorithms (2nd ed.). SIAM
^ Katz, Victor J. (2008). A History of Mathematics: An Introduction (3rd ed.). Addison-Wesley
^ Chemla, Karine; Guo, Shuchun (2004). Les Neuf Chapitres: Le Classique mathématique de la Chine ancienne et ses commentaires. Dunod
^ van der Waerden, B. L. (1985). A History of Algebra: From al-Khwarizmi to Emmy Noether. Springer-Verlag
^ Katz, Victor J.; Parshall, Karen Hunger (2014). Taming the Unknown: A History of Algebra from Antiquity to the Early Twentieth Century. Princeton University Press
^ Edwards, Harold M. (1984). Galois Theory. Springer
^ Stewart, Ian (2015). Galois Theory (4th ed.). Chapman and Hall/CRC
^ Golub, Gene H.; Van Loan, Charles F. (2013). Matrix Computations (4th ed.). Johns Hopkins University Press
^ Driscoll, Tobin A.; Braun, Richard J. (2017). Fundamentals of Numerical Computation. SIAM
^ Higham, Nicholas J. (2002). Accuracy and Stability of Numerical Algorithms (2nd ed.). SIAM
^ Saad, Yousef (2003). Iterative Methods for Sparse Linear Systems (2nd ed.). SIAM
^ Golub, Gene H.; Van Loan, Charles F. (2013). Matrix Computations (4th ed.). Johns Hopkins University Press

参考文献

Katz, Victor J.; Parshall, Karen Hunger (2014). Taming the Unknown: A History of Algebra from Antiquity to the Early Twentieth Century. Princeton University Press
van der Waerden, B. L. (1985). A History of Algebra: From al-Khwarizmi to Emmy Noether. Springer-Verlag
Driscoll, Tobin A.; Braun, Richard J. (2017). Fundamentals of Numerical Computation. SIAM
Golub, Gene H.; Van Loan, Charles F. (2013). Matrix Computations (4th ed.). Johns Hopkins University Press
Cox, David; Little, John; O'Shea, Donal (2015). Ideals, Varieties, and Algorithms (4th ed.). Springer
Boyd, John P. (2014). Solving Transcendental Equations: The Chebyshev Polynomial Proxy and Other Numerical Rootfinders, Perturbation Series, and Oracles. SIAM
Ortega, James M.; Rheinboldt, Werner C. (2000). Iterative Solution of Nonlinear Equations in Several Variables. SIAM
Evans, Lawrence C. (2010). Partial Differential Equations (2nd ed.). American Mathematical Society
Matiyasevich, Yuri V. (1993). Hilbert's Tenth Problem. MIT Press
Higham, Nicholas J. (2002). Accuracy and Stability of Numerical Algorithms (2nd ed.). SIAM
Stewart, Ian (2015). Galois Theory (4th ed.). Chapman and Hall/CRC
Stillwell, John (1994). Elements of Algebra: Geometry, Numbers, Equations. Springer

[1] Katz, Victor J.; Parshall, Karen Hunger (2014). Taming the Unknown: A History of Algebra from Antiquity to the Early Twentieth Century. Princeton University Press

[2] Becker, Thomas; Weispfenning, Volker (1993). Gröbner Bases: A Computational Approach to Commutative Algebra. Springer

[3] Higham, Nicholas J. (2002). Accuracy and Stability of Numerical Algorithms (2nd ed.). SIAM

[4] Driscoll, Tobin A.; Braun, Richard J. (2017). Fundamentals of Numerical Computation. SIAM

[5] Cox, David; Little, John; O'Shea, Donal (2015). Ideals, Varieties, and Algorithms (4th ed.). Springer

[6] Golub, Gene H.; Van Loan, Charles F. (2013). Matrix Computations (4th ed.). Johns Hopkins University Press

[7] van der Waerden, B. L. (1985). A History of Algebra: From al-Khwarizmi to Emmy Noether. Springer-Verlag

[8] Conte, Samuel D.; de Boor, Carl (2017). Elementary Numerical Analysis: An Algorithmic Approach. SIAM

[9] Stewart, Ian (2015). Galois Theory (4th ed.). Chapman and Hall/CRC

[10] Matiyasevich, Yuri V. (1993). Hilbert's Tenth Problem. MIT Press

[11] Stillwell, John (1994). Elements of Algebra: Geometry, Numbers, Equations. Springer

[12] Polya, G.; Szegő, G. (1972). Problems and Theorems in Analysis I. Springer

[13] Evans, Lawrence C. (2010). Partial Differential Equations (2nd ed.). American Mathematical Society

[14] Hairer, Ernst; Nørsett, Syvert P.; Wanner, Gerhard (1993). Solving Ordinary Differential Equations I: Nonstiff Problems. Springer

[15] Trefethen, Lloyd N.; Bau, David (1997). Numerical Linear Algebra. SIAM

[16] Higham, Nicholas J. (2002). Accuracy and Stability of Numerical Algorithms (2nd ed.). SIAM

[17] Edwards, Harold M. (1984). Galois Theory. Springer

[18] Stewart, Ian (2015). Galois Theory (4th ed.). Chapman and Hall/CRC

[19] Golub, Gene H.; Van Loan, Charles F. (2013). Matrix Computations (4th ed.). Johns Hopkins University Press

[20] Saad, Yousef (2003). Iterative Methods for Sparse Linear Systems (2nd ed.). SIAM

[21] Boyd, John P. (2014). Solving Transcendental Equations: The Chebyshev Polynomial Proxy and Other Numerical Rootfinders, Perturbation Series, and Oracles. SIAM

[22] Ortega, James M.; Rheinboldt, Werner C. (2000). Iterative Solution of Nonlinear Equations in Several Variables. SIAM

[23] Evans, Lawrence C. (2010). Partial Differential Equations (2nd ed.). American Mathematical Society

[24] Hairer, Ernst; Nørsett, Syvert P.; Wanner, Gerhard (1993). Solving Ordinary Differential Equations I: Nonstiff Problems. Springer

[25] Matiyasevich, Yuri V. (1993). Hilbert's Tenth Problem. MIT Press

[26] Stillwell, John (2003). Elements of Number Theory. Springer

[27] Katz, Victor J.; Parshall, Karen Hunger (2014). Taming the Unknown: A History of Algebra from Antiquity to the Early Twentieth Century. Princeton University Press

[28] Cox, David; Little, John; O'Shea, Donal (2015). Ideals, Varieties, and Algorithms (4th ed.). Springer

[29] Becker, Thomas; Weispfenning, Volker (1993). Gröbner Bases: A Computational Approach to Commutative Algebra. Springer

[30] Driscoll, Tobin A.; Braun, Richard J. (2017). Fundamentals of Numerical Computation. SIAM

[31] Trefethen, Lloyd N.; Bau, David (1997). Numerical Linear Algebra. SIAM

[32] Higham, Nicholas J. (2002). Accuracy and Stability of Numerical Algorithms (2nd ed.). SIAM

[33] Cox, David; Little, John; O'Shea, Donal (2015). Ideals, Varieties, and Algorithms (4th ed.). Springer

[34] Edwards, Harold M. (1984). Galois Theory. Springer

[35] Matiyasevich, Yuri V. (1993). Hilbert's Tenth Problem. MIT Press

[36] Higham, Nicholas J. (2002). Accuracy and Stability of Numerical Algorithms (2nd ed.). SIAM

[37] Katz, Victor J. (2008). A History of Mathematics: An Introduction (3rd ed.). Addison-Wesley

[38] Chemla, Karine; Guo, Shuchun (2004). Les Neuf Chapitres: Le Classique mathématique de la Chine ancienne et ses commentaires. Dunod

[39] van der Waerden, B. L. (1985). A History of Algebra: From al-Khwarizmi to Emmy Noether. Springer-Verlag

[40] Katz, Victor J.; Parshall, Karen Hunger (2014). Taming the Unknown: A History of Algebra from Antiquity to the Early Twentieth Century. Princeton University Press

[41] Edwards, Harold M. (1984). Galois Theory. Springer

[42] Stewart, Ian (2015). Galois Theory (4th ed.). Chapman and Hall/CRC

[43] Golub, Gene H.; Van Loan, Charles F. (2013). Matrix Computations (4th ed.). Johns Hopkins University Press

[44] Driscoll, Tobin A.; Braun, Richard J. (2017). Fundamentals of Numerical Computation. SIAM

[45] Higham, Nicholas J. (2002). Accuracy and Stability of Numerical Algorithms (2nd ed.). SIAM

[46] Saad, Yousef (2003). Iterative Methods for Sparse Linear Systems (2nd ed.). SIAM

[47] Golub, Gene H.; Van Loan, Charles F. (2013). Matrix Computations (4th ed.). Johns Hopkins University Press

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

[24]

[25]

[26]

[27]

[28]

[29]

[30]

[31]

[32]

[33]

[34]

[35]

[36]

[37]

[38]

[39]

[40]

[41]

[42]

[43]

[44]

[45]

[46]

[47]

方程式の求解とは？わかりやすく解説

方程式の求解

概説