偏微分方程式

偏微分方程式（へんびぶんほうていしき、）は、未知関数の偏導関数を含む微分方程式である。

概要 偏微分方程式の厳密解を明示的な公式として得ることは、限られた場合を除いて困難である。そのため、解の存在性や一意性、正則性といった定性的な性質を研究する理論的アプローチ、近似的な解析解を求める摂動論や漸近解析、そしてコンピュータを使用して解を数値的に近似する手法が、それぞれ重要な役割を果たしている。偏微分方程式は純粋数学の研究においても大きな分野を占めており、そこでは存在性、一意性、正則性、安定性といった、様々な偏微分方程式の解の定性的な特徴に焦点が当てられている。数多くの未解決問題の中には、2000年にミレニアム懸賞問題の一つとして挙げられた、ナビエ–ストークス方程式の解の存在と滑らかさがある。

偏微分方程式は、物理学や工学といった数学指向の科学分野で広く現れる。例えば、音、熱、拡散、静電気学、電磁気学、熱力学、流体力学、弾性、一般相対性理論、量子力学（シュレーディンガー方程式、パウリ方程式など）の現代的な科学的理解において、偏微分方程式は基礎となっている。また、微分幾何学や変分法などの純粋な数学的考察からも発生する。特筆すべき応用として、幾何学的トポロジーにおけるポアンカレ予想の証明において基本的な道具となったことが挙げられる。現代では、画像処理、コンピュータビジョン、機械学習、金融工学などの分野でも偏微分方程式が重要な役割を果たしている。

このような発生源の多様性もあり、偏微分方程式の種類は広範囲にわたる。個々の方程式を扱うために、多くの異なる手法が開発されてきた。そのため、偏微分方程式の「万能な理論」は存在せず、専門知識はいくつかの異なる下位分野に分かれている。

常微分方程式は、一変数関数に対応する偏微分方程式のサブクラスと見なすことができる。や非局所方程式は、「PDE」の概念を拡張したものであり、広く研究されている。より古典的なトピックとして、現在も活発な研究が行われているものには、楕円型偏微分方程式、放物型偏微分方程式、流体力学におけるナビエ–ストークス方程式、ボルツマン方程式、などがある。

歴史 偏微分方程式 (PDE) の歴史は、物理現象を数学的に記述しようとする試みと、それに伴う解析学の基礎概念（関数、微分、積分）の確立と密接に関わって発展してきた。

18世紀： 偏微分方程式の研究は、1740年代にニュートン力学を連続体へと拡張する過程で本格化した。中心となったのは「弦の振動」の問題である。ジャン・ル・ロン・ダランベールは1747年に一次元波動方程式を見出し、その一般解（ダランベールの解）を示した。直後にレオンハルト・オイラーやダニエル・ベルヌーイもこの問題に取り組み、解の表現（進行波による表現か、三角関数の重ね合わせか）を巡って論争が起きた。この論争は、当時の「関数」の定義（滑らかな曲線のみを指すのか、角を持つ折れ線も許容するのか）を再考させる契機となった。

また、流体力学や重力ポテンシャルの研究において、ピエール＝シモン・ラプラスはラプラス方程式を定式化し、これが楕円型偏微分方程式の原型となった。ジョゼフ＝ルイ・ラグランジュらは一階偏微分方程式の一般論を整備した。

19世紀：熱伝導とフーリエ解析 19世紀に入ると、ジョゼフ・フーリエによる熱伝導方程式の研究（1822年）が大きな転換点をもたらした。フーリエは、任意の関数を三角関数の級数（フーリエ級数）で表現できると主張し、これにより偏微分方程式を変数分離法で解く道が開かれた。これは同時に、不連続な関数を含む広範な対象を扱うための厳密な解析学（イプシロン-デルタ論法など）の整備を、ベルンハルト・リーマンやカール・ワイエルシュトラスらに促すこととなった。

19世紀後半には、オーギュスタン＝ルイ・コーシーとソフィア・コワレフスカヤによって解の局所的な存在定理（コーシー＝コワレフスカヤの定理）が証明されたほか、ジョージ・グリーン、ガウス、ディリクレらによって、境界値問題（ポテンシャル論）の手法が飛躍的に発展した。

20世紀：現代理論の確立 20世紀初頭、ダフィット・ヒルベルトはヒルベルトの23の問題において、偏微分方程式の解の滑らかさや存在条件を主要な未解決問題として挙げた。これに応える形で、偏微分方程式論は「解を見つける」ことから「関数空間の構造を調べる」方向へと大きくシフトした。

古典的な微分が定義できないような現象（衝撃波など）や、不連続な境界値を持つ問題を扱うために、解の概念そのものを拡張する必要が生じた。1930年代以降、セルゲイ・ソボレフによるソボレフ空間の導入や、ローラン・シュヴァルツによる超関数（ディストリビューション）の理論により、「弱解」という概念が確立された。これにより、偏微分方程式は関数解析学の枠組みで統一的に扱われるようになり、現代の線形およびの理論的基礎が完成した。

定義 偏微分方程式とは、 個の変数の未知関数とその偏微分を含む方程式である。方程式に含まれる導関数のうち、最高の階数をその偏微分方程式の階数 (order) と呼ぶ。例えば、二階導関数を含み、三階以上の導関数を含まないものは二階偏微分方程式となる。

の開集合 に属する変数 の未知関数

に対して、一般に 階の偏微分方程式は以下のように記述される。

ここで、 は適当な領域から への関数であり、 の 階までの全ての偏微分、 自身、および独立変数 を変数とする。 は 階の偏微分の全体を表す。

未知関数がベクトル値をとる場合、すなわち の場合には、偏微分方程式は方程式系となり、 は 値関数となる。このような方程式系は流体力学や電磁気学などで自然に現れる。

記法

PDEを書く際、偏微分を下付き文字で表すことが一般的である。例えば：

が 変数の関数である一般的な状況では、 または は 番目の独立変数 に関する一階偏微分を表し、 は二階偏微分を表す。なお、未知関数がベクトル値をとる場合の成分表示と混同を避けるため、添字の前にカンマを打つ、あるいは変数を明示する記法も用いられる。

ギリシャ文字 はラプラス作用素を表す。もし が 変数の関数であれば、以下のようになる。

物理学の文献では、ラプラス作用素はしばしば で表される。数学の文献でもこの記法は用いられるが、多変数関数の二階導関数全体を指すヘッセ行列（ または と記される）との混同を避けるため、 が好まれる傾向にある。

分類 線形および非線形方程式

PDEは、未知数とその微分に関して線形である場合、線形と呼ばれる。例えば、 と の関数 に対して、二階線形PDEは以下の形式をとる。

ここで と は独立変数 と のみの関数である。（多くの場合、混合偏微分 と は等置されるが、これは線形性の議論には必須ではない。） もし が定数（ と に依存しない）であれば、そのPDEは定数係数線形と呼ばれる。もし がどこでもゼロであれば、その線形PDEは斉次であり、そうでなければ非斉次である。（これは、PDEの解に対する高周波振動の影響を研究するとは別のものである。）

線形PDEに最も近いのが半線形 (semi-linear) PDEであり、最高階微分のみが線形項として現れ、その係数は独立変数の関数である。低階の微分と未知関数は任意に現れてよい。例えば、2変数の一般的な二階半線形PDEは以下のようになる。

準線形 (quasilinear) PDEでは、同様に最高階微分は線形項としてのみ現れるが、係数は未知数および低階微分の関数であってもよい。

物理学における基本的なPDEの多くは準線形である。例えば、一般相対性理論のアインシュタイン方程式や、流体運動を記述するナビエ–ストークス方程式などが挙げられる。

線形性の性質を持たないPDEは完全非線形 (fully nonlinear) と呼ばれ、最高階微分の1つ以上に非線形性を持つ。例として、微分幾何学で現れるがある。

一般に非線形な偏微分方程式として重要なものに、 流体を記述するナビエ-ストークス方程式Roger Temam　(1984): "Navier–Stokes Equations: Theory and Numerical Analysis", ACM Chelsea Publishing. 一般相対性理論におけるアインシュタインの場の方程式 非線形波動を記述するKdV方程式Korteweg-de Vries and Nonlinear Schrödinger Equations: Qualitative Theory (2001), Zhidkov, Peter E., Springer.・mKdV方程式 (これらの方程式は可積分系でも研究されている) クレローの方程式 非線形シュレディンガー方程式The Nonlinear Schrödinger Equation (1999) -Self-Focusing and Wave Collapse-, Sulem, Catherine, Sulem, Pierre-Louis, Springer.The Nonlinear Schrödinger Equation -Singular Solutions and Optical Collapse- (2015), Gadi Fibich, Springer. などがある。

二階方程式 を仮定すると、2つの独立変数を持つ一般的な線形二階偏微分方程式は以下の形式を持つ。

ここで係数 , , ... は と に依存してもよい。 平面のある領域上で であれば、PDEはその領域で二階である。この形式は円錐曲線の式に類似している。

より正確には、 を に置き換え、他の変数についても同様にすることで（形式的にはフーリエ変換によって行われる）、定数係数PDEを同次数の多項式に変換でき、最高次数の項（斉次多項式、ここでは二次形式）が分類にとって最も重要となる。

円錐曲線と二次形式を判別式 に基づいて放物型、双曲型、楕円型に分類するのと同様に、与えられた点における二階PDEについても同じことができる。ただし、PDEの判別式は、 の項が ではなく という慣例のため、 で与えられる。形式的には、（関連する二次形式の）判別式は であるが、単純化のために係数4は落とされる。

(楕円型偏微分方程式): 楕円型PDEの解は、方程式と解が定義されている領域の内部において、係数が許す限り滑らかである。代表的な例としてラプラス方程式がある。例えば、ラプラス方程式の解は定義されている領域内で解析的であるが、境界値は滑らかでない場合がある。物理的な例として、定常な亜音速流の支配方程式は楕円型となる。例えば、（）は、 の領域において楕円型である。定数係数の楕円型方程式の場合、適切な変数変換により、方程式を次の標準形で表現できる： ここで x と y は変換後の変数に対応する。これは、ラプラス方程式がこのタイプの例であることを裏付けている。

(放物型偏微分方程式): すべての点で放物型である方程式は、独立変数の変換によって熱方程式に類似した形式に変換できる。解は変換された時間変数の増加とともに滑らかになる。オイラー＝トリコミ方程式は の直線上で放物型である。定数係数の放物型方程式の場合、適切な変数変換により、方程式を次の標準形で表現できる： ここで t は時間変数、x は空間変数に対応する。これは熱方程式がこのタイプの例であることを示している。

(双曲型偏微分方程式): 双曲型方程式は、初期データにおける関数や微分の不連続性を保持する。例として波動方程式がある。超音速での流体の運動は双曲型PDEで近似でき、オイラー＝トリコミ方程式は において双曲型である。変数変換により、方程式は常に次の形式で表現できる： ここで x と y は変換後の変数に対応する。これは、波動方程式がこのタイプの例であることを正当化する。

個の独立変数 がある場合、一般的な二階線形偏微分方程式は以下の形式を持つ。

分類は係数行列 の固有値の符号（シグネチャ）に依存する。

楕円型: 固有値がすべて正、またはすべて負。 放物型: 固有値がすべて正、またはすべて負だが、1つだけゼロがある。 双曲型: 負の固有値が1つだけで残りがすべて正、または正の固有値が1つだけで残りがすべて負。 超双曲型 (Ultrahyperbolic): 正の固有値が複数かつ負の固有値が複数あり、ゼロ固有値がないCourant and Hilbert (1962), p.182.。

楕円型、放物型、双曲型方程式の理論は、主にラプラス方程式、熱方程式、波動方程式という標準的な例を中心に、あるいはそれらに基づいて、何世紀にもわたって研究されてきた。

二階偏微分方程式の楕円型・放物型・双曲型の分類は、PDEの理論と応用において極めて重要である。この分類は、解の定性的な性質、適切な初期条件および境界条件の設定、数値解法の選択、そして解の滑らかさや伝播特性に関する指針を与える。楕円型方程式は通常境界値問題として定式化され、放物型および双曲型方程式は初期値問題または初期境界値問題として扱われる。また、この分類は解の情報伝播の仕方とも密接に関連しており、双曲型では有限速度での伝播、放物型では無限速度での伝播、楕円型では瞬時の影響が特徴的である。

しかし、この分類は二階項の線形性にのみ依存するため、半線形および準線形PDEにも適用可能である。基本的なタイプは、領域によって楕円型から双曲型に変化するのような混合型や、高階PDEにも拡張される。

これらの方程式の型は、適切な問題設定（境界条件や初期条件）と密接に関係している。一般に、楕円型方程式は境界値問題として定式化され、領域の境界上で未知関数や微分に関する条件を与えることで領域内部の解が一意に定まることが多い。一方、放物型および双曲型方程式は、時間発展を記述するため、初期値問題または初期境界値問題として扱われるのが通常である。

一階方程式系と特性曲面

偏微分方程式の分類は一階方程式系にも拡張できる。ここで未知数 は 個の成分を持つベクトルであり、係数行列 は に対して × 行列である。偏微分方程式は以下の形式をとる。

ここで係数行列 とベクトル は と に依存してもよい。もし超曲面 が陰関数形式

で与えられ、 が非ゼロの勾配を持つとき、特性形式 (characteristic form) が消えるならば、 は与えられた点における作用素 の特性曲面 (characteristic surface) である。

この条件の幾何学的解釈は以下の通りである。 上で のデータが規定されている場合、微分方程式から 上の の法線微分を決定できる可能性がある。もし 上のデータと微分方程式が 上の の法線微分を決定する場合、 は非特性的である。もし 上のデータと微分方程式が 上の の法線微分を決定しない場合、その曲面は特性的であり、微分方程式は 上のデータを制限する。すなわち、微分方程式は に「内在的」である。

一階方程式系 は、 に対して特性的な曲面が存在しない場合、楕円型である。 上の の値と微分方程式は、常に 上の の法線微分を決定する。

一階方程式系は、ある点において法線 を持つ空間的 (spacelike) 曲面 が存在する場合、その点で双曲型である。これは、 に直交する任意の非自明なベクトル とスカラー乗数 に対して、方程式 が 個の実根 を持つことを意味する。これらの根が常に異なる場合、システムは狭義双曲型である。この条件は幾何学的には以下のように解釈される。特性形式 は、 空間において原点を頂点とする錐体（法線錐）を定義する。双曲型の場合、この法線錐は実数領域に非自明な解を持ち、時間的な方向軸はこの錐体の内側を通る。一方、楕円型の場合、特性形式 を満たす実ベクトル は存在せず（法線錐が一点に縮退する、あるいは虚の方向にしか存在しない）、したがって実特性曲面を持たない。

境界条件と初期条件 偏微分方程式の一般解は通常、任意関数を含むため、特定の物理現象を一意に記述するには、方程式本体に加えて適切な付加条件が必要となる。これらの方程式と条件の組み合わせが、解の存在性と一意性が保証された良設定問題を構成する。

初期条件 時間発展を含む問題（放物型や双曲型）において、解析を開始する時刻（通常は t = 0）における未知関数の状態を指定する条件。

境界条件 解析領域の境界における振る舞いを規定する条件であり、主に以下の3種類がある。 ディリクレ境界条件：境界上での未知関数の値を直接指定する（例：境界の温度を固定する）。 ノイマン境界条件：境界上での法線方向の微分値を指定する（例：境界を通る熱流束や流体の流入量を指定する）。 ロビン境界条件：未知関数とその微分の線形結合を指定する（例：境界での熱伝達・対流を考慮する）。

数学的基礎と理論的研究 純粋数学において、PDEの理論的研究は、解の公式を見つけることよりも解が存在するための基準や解の性質に焦点を当てられる。

良設定性

良設定性 (well-posedness) とは、アダマールによって提唱された、偏微分方程式の問題設定が物理的・数学的に適切であることを示す概念である。問題が良設定であるためには、以下の条件を満たす必要がある。

解の存在性：与えられたデータ（初期条件や境界条件）に対し、少なくとも一つの解が存在する。 解の一意性：解が存在する場合、それはただ一つである。 解の連続依存性（安定性）：入力データを連続的に変化させたとき、対応する解も連続的に変化する。

偏微分方程式においてこれらの条件を確認することは、常微分方程式 (ODE) よりもはるかに困難かつ重要である。ODEの一般解が有限個の任意定数（パラメータ）を含むのに対し、PDEの一般解は任意関数を含むためである。

例えば、2変数関数 に対する単純な方程式 の一般解は、任意の1変数関数 を用いて と表される。このように無数の解が存在するため、特定の解を定めるには定義域全体を含めた適切な条件設定が不可欠である。

方程式の型によって、解の一意性を保証するために必要な条件は異なる。以下にその著しい対比を示す。 楕円型（ラプラス方程式）: 単位円盤 上の問題 では、境界である単位円周上で未知関数 の値を与える（ディリクレ問題）ことで、内部の解がただ一つに定まる。 双曲型（波動方程式の類似）: 領域 上の問題 では、ある時刻（例えば ）における関数値とその微分値（初期条件）を与えることで解が一意に定まる。

さらに、非線形方程式ではより複雑な現象が起こりうる。例えば、微分幾何学に由来する（極小曲面方程式）は、

という非線形方程式であるが、全平面 で定義された解は、 という1次式に限られる（ベルンシュタインの定理）。これは、任意関数を含む一般解を持つ線形方程式とは対照的な性質である。

弱解

弱解 (weak solution) は、PDEを満たすが、通常の古典的な意味（すべての微分が通常の意味で存在し連続である）とは異なる意味で満たす関数のことである。弱解の概念は、古典解が存在しない場合や、不連続性を持つ解を扱う際に特に重要となる。この用語の意味は文脈によって異なる場合があるが、最も一般的に使用される定義の一つは、超関数 (distribution) の概念とソボレフ空間に基づいている。ソボレフ空間とは、関数とその弱微分が可積分であることを要求する関数空間であり、弱解の理論において中心的な役割を果たす。

弱解の定義の例は以下の通りである。

次で与えられる境界値問題を考える。

ここで は発散形式の二階偏微分作用素を表す。

が弱解であるとは、 すべての に対して が成り立つことである。これは形式的な部分積分によって導出できる。

弱解の例は以下の通りである。 は、 を超関数の意味で満たす弱解である。

なぜなら、形式的に となるからである。

ここで は、コンパクトな台を持つ滑らかな関数の空間（テスト関数空間）を表す。

正則性

正則性 (regularity) は、弱解の可積分性と微分可能性を指し、多くの場合ソボレフ空間によって表現できる。

この問題は、古典解を探すのが難しいために生じる。研究者は、最初は弱解を見つけ、その後、それが古典解としての資格を得るのに十分滑らかであるかどうかを確認する傾向がある。

この研究分野では、関数解析学の結果が頻繁に使用される。

定性理論における重要概念 偏微分方程式の解の振る舞いを調べる上で、以下の概念が重要である。 最大値原理：楕円型や放物型方程式の解が、領域の内部で最大値（または最小値）を取らず、必ず境界上で取るという性質。解の一意性や安定性の証明に用いられる。 エネルギー法：解の「エネルギー」（通常はL2ノルムなど）の物理的な保存則や減衰を数学的に定式化する手法。双曲型方程式の解の評価などに多用される。

代表的な偏微分方程式 偏微分方程式の一般解は、常微分方程式とは異なり、任意定数ではなく任意関数を含むため、無数の解を持つ自由度の高いものである。したがって、物理的あるいは数学的に意味のある特定の解を一意に決定するためには、方程式に加えて適切な境界条件や初期条件を課して定式化する必要がある（良設定問題）。

代表的な境界条件には、境界上で未知関数の値を指定するディリクレ境界条件、境界上での法線方向微分（流束など）を指定するノイマン境界条件、未知関数とその法線微分の線形結合を指定するロビン境界条件などがある。

以下の節では、特別な記述がない限り、変数は時間 t と3次元空間 (x, y, z) とする。ただし、これらの方程式は数学的には一般の次元に拡張できる。

楕円型偏微分方程式

ラプラス方程式

楕円型偏微分方程式の典型的な例として、

で表されるラプラス方程式がある。これはまた、∇（ナブラ）や Δ（ラプラス作用素）といった微分作用素を用いて

のようにも書かれる。ラプラス方程式の解は調和関数と呼ばれ、重力場や静電場といった物理的なベクトル場のポテンシャルを与える。

ポアソン方程式

ラプラス方程式は既知の関数 f (x, y, z) に関する微分方程式

に一般化される。この偏微分方程式をポアソン方程式というR. Courant, D. Hilbert, Methoden Der Mathematischen Physik , R. クーラン, D. ヒルベルト (著), 丸山 滋弥, 斎藤 利弥 (翻訳)『数理物理学の方法』東京図書。これは質量の存在する重力場や、電荷の存在する静電場など、場に発生源がある場合のポテンシャルを記述する方程式である。

ヘルムホルツ方程式

次の方程式のことをいう。電磁波の放射、地震学、音響学などで用いられる。

双曲型偏微分方程式

波動方程式

波動方程式は時間変数 t を含む双曲型偏微分方程式

のことである恒藤敏彦『弾性体と流体』岩波書店〈物理入門コース 8〉、1983年。。際本泰士『振動・波動論講義―物理実験を取り入れて』コロナ社、2005年。。。この方程式は光波や音波といった波を記述するもので、定数 c は波の速さを示している。より身近な現象として、ひもの振動であるとか太鼓の鼓面の振動などといったものもこの方程式に従う。波動方程式の解は基本的には正弦波を重ね合わせることによって得られる。

移流方程式

移流方程式（:en:Advection）は速度場 u = (u, v, w )のもとでの保存スカラー量ψの輸送を記述するもので、方程式は

であたえられる。もし速度場 u が管状ベクトル場、すなわち ∇・u = 0 ならば方程式は

と簡略化される。

一次元線形移流方程式

（u は定数）は、初期波形が速度 u で平行移動する解を持つ基本的な方程式である。

バーガース方程式

次の方程式は、流体力学における非線形性と粘性の相互作用を記述する。

ここで は粘性係数である。左辺の非線形項（対流項）により衝撃波が形成され、右辺の拡散項により滑らかさが保たれる。非線形波動や乱流の基礎モデルとして重要である。

放物型偏微分方程式

熱方程式・拡散方程式

熱方程式（または拡散方程式）は、与えられた領域において時間とともに変化する熱や物質の拡散を記述する放物型偏微分方程式の代表例である。

によって与えられる。ここで u は温度場や濃度場を表し、定数 k は熱拡散率や拡散係数を示す。解は時間の経過とともに滑らかになり、空間的に均一な状態へと近づく性質を持つ。定数 k は物質の熱伝導性や拡散係数などを示している。解は時間の増加とともに大体均一に分布するように変化し、t→∞で調和関数に近づく。

その他の重要な方程式 シュレーディンガー方程式

量子力学の基礎方程式であるシュレーディンガー方程式も重要な偏微分方程式であるシュレーディンガー方程式I, II (朝倉数学大系) by 谷島賢二 (著), 砂田利一 (編集), 増田久弥 (編集), 堀田良之 (編集), 朝倉書店.。時間に依存するシュレーディンガー方程式

は、虚数単位を含む複素係数の方程式であり、純粋な実係数の二階方程式とは性質が異なる。数学的にはの代表的な例に位置づけられ、解は時間とともに波動的に振る舞い、ノルムを保存する（ユニタリ発展）という性質を持つ。一方、時間に依存しない（定常状態の）シュレーディンガー方程式は楕円型偏微分方程式である。

マクスウェル方程式

電磁気学の基礎となる4つの方程式系である。真空中の電場 と磁場 に対して以下のように記述される。

これは一階の偏微分方程式系であり、電磁波の存在を予言する。

ナビエ–ストークス方程式

流体の運動を記述する非線形偏微分方程式である。非圧縮性粘性流体の場合は次のように書かれる。

この方程式は、左辺の非線形項（対流項）のために解析が極めて困難であり、3次元における解の存在と滑らかさはミレニアム懸賞問題の一つとなっている。

アインシュタイン方程式

一般相対性理論において、時空の歪みと物質・エネルギーの分布を関連付ける方程式である。

これは計量テンソル に関する高度に非線形な二階偏微分方程式系であり、宇宙論やブラックホールの研究の基礎となる。

ブラック–ショールズ方程式

金融工学において、オプション価格の理論的な値を算出するための方程式である。

この方程式は適切な変数変換によって熱方程式に帰着させることができ、偏微分方程式の理論が社会科学分野へ応用された顕著な例である。

反応拡散方程式

化学物質の反応と拡散を記述する方程式系である。

1952年にアラン・チューリングは、この方程式によって、生物の縞模様や斑点模様（チューリング・パターン）が自己組織的に形成されることを理論的に示した。

KdV方程式とソリトン

浅い水域を伝わる波などを記述する非線形偏微分方程式である。

この方程式は、非線形効果と分散効果が釣り合うことで、形を崩さずに一定速度で進む孤立波ソリトンを解として持つ。ソリトン同士は衝突しても互いに形を変えずに通り抜けるという粒子のような性質を持ち、この発見は可積分系という分野を切り拓いた。現代では光ファイバー中の通信パルスの挙動（非線形シュレディンガー方程式による記述）などに応用されている。

主要な方程式と応用分野のまとめ 以下の表に、代表的な偏微分方程式とその主な適用分野を示す。

方程式名 分類 主な応用分野 ラプラス方程式 楕円型 静電位、重力ポテンシャル、定常流 熱方程式 放物型 熱伝導、物質拡散、金融オプション価格 波動方程式 双曲型 音波、光波、地震波、弾性体の振動 ナビエ-ストークス方程式 非線形 流体力学、気象予測、航空機設計 シュレーディンガー方程式 分散型 量子力学、半導体物理、化学反応解析 反応拡散方程式 非線形 生物の形態形成、化学反応のパターン生成

解法