This study uses Lie's theory of symmetries to compute the symmetry group of a class of partial differential equations parameterized by four constants: $u_{t}=-\left((a-bx)u_{x}+(d-ey)u_{y}+\frac{x}{2}u_{xx}+\frac{y}{2}u_{yy}\right)$; under the various conditions on the constants $a,b,d$ and $e$, we deduce the largest and smallest Lie algebra of symmetries, and we also determined the structure of these algebras.
論文ID : 2501.00155タイトル : The Lie symmetry algebra of the Longstaff-Schwartz model著者 : OUKNINE Anas (Univ Rouen Normandie, CNRS, Normandie Univ, LMRS UMR 6085, F-76000 Rouen France)分類 : math.RA math.AP発表日 : 2025年1月3日論文リンク : https://arxiv.org/abs/2501.00155 本研究はリー群理論を応用して、4つの定数パラメータで表現される偏微分方程式のクラスの対称群を計算する:u t = − ( ( a − b x ) u x + ( d − e y ) u y + x 2 u x x + y 2 u y y ) u_t = -((a-bx)u_x + (d-ey)u_y + x^2u_{xx} + y^2u_{yy}) u t = − (( a − b x ) u x + ( d − ey ) u y + x 2 u xx + y 2 u yy ) 。定数a , b , d , e a, b, d, e a , b , d , e の様々な条件下において、著者は最大および最小のリー代数対称性を導出し、これらの代数の構造を決定した。
金融数学の背景 :Longstaff-Schwartz モデルは1992年にFrancis LongstaffとEduardo Schwartzによって開発された金融評価モデルであり、アメリカンオプションの評価に用いられる。このモデルは二要因Cox-Ingersoll-Ross (CIR)過程に基づいている:
d X t = ( a − b X t ) d t + X t d B t 1 dX_t = (a-bX_t)dt + \sqrt{X_t}dB_t^1 d X t = ( a − b X t ) d t + X t d B t 1 d Y t = ( d − e Y t ) d t + Y t d B t 2 dY_t = (d-eY_t)dt + \sqrt{Y_t}dB_t^2 d Y t = ( d − e Y t ) d t + Y t d B t 2 数学的問題 :対応するKolmogorov後退方程式のリー対称性を研究する:
u t = − L u u_t = -Lu u t = − Lu
ここでL u = ( a − b x ) u x + ( d − e y ) u y + x 2 u x x + y 2 u y y Lu = (a-bx)u_x + (d-ey)u_y + x^2u_{xx} + y^2u_{yy} Lu = ( a − b x ) u x + ( d − ey ) u y + x 2 u xx + y 2 u yy ソフトウェアツールの限界 :Maple、Mathematica、Pythonなどの既存ソフトウェアは、4つの定数パラメータを含むドリフト関数を処理する際に、これらの定数を区別したり、対称群を識別するために必要な条件を適用することができない理論的完全性 :すべての場合における対称群を体系的に決定し、Maplなどのソフトウェアの結果と比較する必要がある応用価値 :リー対称性は偏微分方程式の求解、階数低下、および厳密解の探索において重要な意義を持つ完全な分類 :Longstaff-Schwartz モデルに対応するPDEについて、パラメータ( a , b , d , e ) (a,b,d,e) ( a , b , d , e ) の16種類の異なる組み合わせの下で、すべての可能なリー対称代数を体系的に計算した構造分析 :各種の場合におけるリー代数の具体的な構造を決定し、同型関係と次元を含める明示的な対称性 :すべての場合における無限小生成元と対応する単一パラメータ群変換を提供した理論的枠組み :有限次元対称代数L a , b , d , e L_{a,b,d,e} L a , b , d , e から完全な対称代数V a , b , d , e = L a , b , d , e ⋉ H V_{a,b,d,e} = L_{a,b,d,e} \ltimes H V a , b , d , e = L a , b , d , e ⋉ H への体系的な理論的枠組みを確立した偏微分方程式Δ ( x , y , t , u ( 2 ) ) = ( a − b x ) u x + ( d − e y ) u y + x 2 u x x + y 2 u y y + u t = 0 \Delta(x,y,t,u^{(2)}) = (a-bx)u_x + (d-ey)u_y + x^2u_{xx} + y^2u_{yy} + u_t = 0 Δ ( x , y , t , u ( 2 ) ) = ( a − b x ) u x + ( d − ey ) u y + x 2 u xx + y 2 u yy + u t = 0 のリー点対称性を研究する。ここで( x , y , t ) (x,y,t) ( x , y , t ) は独立変数、u u u は従属変数である。
Olverのリー群理論方法に基づき、以下の形式のベクトル場を探索する:
v = ξ ( x , y , t , u ) ∂ ∂ x + γ ( x , y , t , u ) ∂ ∂ y + τ ( x , y , t , u ) ∂ ∂ t + ϕ ( x , y , t , u ) ∂ ∂ u v = \xi(x,y,t,u)\frac{\partial}{\partial x} + \gamma(x,y,t,u)\frac{\partial}{\partial y} + \tau(x,y,t,u)\frac{\partial}{\partial t} + \phi(x,y,t,u)\frac{\partial}{\partial u} v = ξ ( x , y , t , u ) ∂ x ∂ + γ ( x , y , t , u ) ∂ y ∂ + τ ( x , y , t , u ) ∂ t ∂ + ϕ ( x , y , t , u ) ∂ u ∂
対応する単一パラメータ群exp ( ϵ v ) \exp(\epsilon v) exp ( ϵ v ) が方程式の対称群となるようにする。
延拓計算 :ベクトル場v v v の二階延拓p r ( 2 ) v pr^{(2)}v p r ( 2 ) v を計算するリー条件の適用 :リー定理に基づき、v v v が対称群を生成するのは、p r ( 2 ) v [ Δ ] = 0 pr^{(2)}v[\Delta] = 0 p r ( 2 ) v [ Δ ] = 0 がΔ = 0 \Delta = 0 Δ = 0 の時に成立する場合のみである決定系の求解 :これはξ , γ , τ , ϕ \xi, \gamma, \tau, \phi ξ , γ , τ , ϕ およびそれらの偏導数に関する多項式方程式系をもたらすパラメータ分類 :定数a , b , d , e a,b,d,e a , b , d , e の異なる値に基づいて体系的に分類する決定系を求解することにより、以下が発見された:
τ \tau τ はt t t のみに依存するξ , γ \xi, \gamma ξ , γ はu u u に依存しないϕ \phi ϕ はu u u に関して affine である:ϕ ( x , y , t , u ) = λ ( x , y , t ) u + μ ( x , y , t ) \phi(x,y,t,u) = \lambda(x,y,t)u + \mu(x,y,t) ϕ ( x , y , t , u ) = λ ( x , y , t ) u + μ ( x , y , t ) λ \lambda λ とμ \mu μ の両方が元のPDEを満たすパラメータ条件に基づいて問題を16の部分ケースに分割する:
b b b の条件:( b = e , b ≠ 0 ) (b = e, b \neq 0) ( b = e , b = 0 ) 、( b = − e , b ≠ 0 ) (b = -e, b \neq 0) ( b = − e , b = 0 ) 、( b = e = 0 ) (b = e = 0) ( b = e = 0 ) 、( b ≠ ± e ) (b \neq \pm e) ( b = ± e ) a , d a,d a , d の条件:( a = 1 4 , d = 1 4 ) (a = \frac{1}{4}, d = \frac{1}{4}) ( a = 4 1 , d = 4 1 ) 、( a = 1 4 , d ≠ 1 4 ) (a = \frac{1}{4}, d \neq \frac{1}{4}) ( a = 4 1 , d = 4 1 ) 、( a ≠ 1 4 , d = 1 4 ) (a \neq \frac{1}{4}, d = \frac{1}{4}) ( a = 4 1 , d = 4 1 ) 、( a ≠ 1 4 , d ≠ 1 4 ) (a \neq \frac{1}{4}, d \neq \frac{1}{4}) ( a = 4 1 , d = 4 1 ) 各ケースについて決定系方程式(3.39a)-(3.39f)を求解する 対応する無限小生成元を計算する リー括弧表を構成し、代数構造を分析する 単一パラメータ群変換と解の変換公式を決定する 最大リー代数 :ケース1.4 ( b = e = 0 , a = d = 1 4 ) (b = e = 0, a = d = \frac{1}{4}) ( b = e = 0 , a = d = 4 1 ) 、9個のベクトル場を有する最小リー代数 :ケース2.1 ( b ≠ ± e , a ≠ 1 4 , d ≠ 1 4 ) (b \neq \pm e, a \neq \frac{1}{4}, d \neq \frac{1}{4}) ( b = ± e , a = 4 1 , d = 4 1 ) 、2個のベクトル場のみ分析に基づいて、有限次元リー代数L a , b , d , e L_{a,b,d,e} L a , b , d , e の構造は以下の通りである:
ケース 次元 代数構造 a = d = 1 4 , b ≠ ± e a = d = \frac{1}{4}, b \neq \pm e a = d = 4 1 , b = ± e 6 i s o 2 iso_2 i s o 2 (ポアンカレ代数)a = d = 1 4 , b = ± e ≠ 0 a = d = \frac{1}{4}, b = \pm e \neq 0 a = d = 4 1 , b = ± e = 0 9 s l 2 ⋉ J sl_2 \ltimes J s l 2 ⋉ J a = d = 1 4 , b = e = 0 a = d = \frac{1}{4}, b = e = 0 a = d = 4 1 , b = e = 0 9 s l 2 ⋉ J sl_2 \ltimes J s l 2 ⋉ J a ≠ 1 4 , d ≠ 1 4 , b ≠ ± e a \neq \frac{1}{4}, d \neq \frac{1}{4}, b \neq \pm e a = 4 1 , d = 4 1 , b = ± e 2 アーベル代数 a ≠ 1 4 , d ≠ 1 4 , b = ± e ≠ 0 a \neq \frac{1}{4}, d \neq \frac{1}{4}, b = \pm e \neq 0 a = 4 1 , d = 4 1 , b = ± e = 0 4 R × s l 2 \mathbb{R} \times sl_2 R × s l 2
ケース1.4の例として、9つの基本対称性は以下の通りである:
v 1 = ∂ ∂ t , v 2 = u ∂ ∂ u v_1 = \frac{\partial}{\partial t}, \quad v_2 = u\frac{\partial}{\partial u} v 1 = ∂ t ∂ , v 2 = u ∂ u ∂ v 3 = 2 t x ∂ ∂ x + 2 t y ∂ ∂ y + t 2 ∂ ∂ t + ( 2 ( x + y ) − t 2 ) u ∂ ∂ u v_3 = 2tx\frac{\partial}{\partial x} + 2ty\frac{\partial}{\partial y} + t^2\frac{\partial}{\partial t} + (2(x+y) - \frac{t}{2})u\frac{\partial}{\partial u} v 3 = 2 t x ∂ x ∂ + 2 t y ∂ y ∂ + t 2 ∂ t ∂ + ( 2 ( x + y ) − 2 t ) u ∂ u ∂
など。
重要な同型関係が発見された:
L 1 1 ≅ L 2 1 ≅ L 3 1 ≅ L 1 2 ≅ L 2 2 ≅ L 3 2 ≅ s l 2 ⋉ h 3 L_1^1 \cong L_2^1 \cong L_3^1 \cong L_1^2 \cong L_2^2 \cong L_3^2 \cong sl_2 \ltimes h_3 L 1 1 ≅ L 2 1 ≅ L 3 1 ≅ L 1 2 ≅ L 2 2 ≅ L 3 2 ≅ s l 2 ⋉ h 3 L 0 1 ≅ L 0 2 ≅ i s o 2 L_0^1 \cong L_0^2 \cong iso_2 L 0 1 ≅ L 0 2 ≅ i s o 2 L 1 0 ≅ L 2 0 ≅ L 3 0 ≅ R × s l 2 L_1^0 \cong L_2^0 \cong L_3^0 \cong \mathbb{R} \times sl_2 L 1 0 ≅ L 2 0 ≅ L 3 0 ≅ R × s l 2 Olver法 :Olverの延拓法に基づくリー対称性の計算等向量法 :HarrisonとEstabrookの等向量法を代替案として金融応用 :LescotとZambriniによるHamilton-Jacobi-Bellman方程式とBlack-Scholes方程式の対称性研究著者は熱方程式u x x = u t u_{xx} = u_t u xx = u t を例として方法を示し、この方程式は6次元リー代数を有する:
v 1 = ∂ ∂ x , v 2 = ∂ ∂ t , v 3 = u ∂ ∂ u v_1 = \frac{\partial}{\partial x}, \quad v_2 = \frac{\partial}{\partial t}, \quad v_3 = u\frac{\partial}{\partial u} v 1 = ∂ x ∂ , v 2 = ∂ t ∂ , v 3 = u ∂ u ∂ v 4 = x ∂ ∂ x + 2 t ∂ ∂ t − u 2 ∂ ∂ u v_4 = x\frac{\partial}{\partial x} + 2t\frac{\partial}{\partial t} - \frac{u}{2}\frac{\partial}{\partial u} v 4 = x ∂ x ∂ + 2 t ∂ t ∂ − 2 u ∂ u ∂
など。
完全な分類 :Longstaff-Schwartz モデルのすべての16種類のパラメータケースについて、リー対称性の完全な分類に成功した構造の決定 :各種の場合におけるリー代数の正確な構造を決定し、2次元アーベル代数から9次元複合代数までの範囲を確認した応用価値 :対応する偏微分方程式と確率微分方程式を求解するための強力なツールを提供した金融数学における重要なモデルの対称性理論を確立した 類似の多パラメータPDEシステムに対する体系的な分析方法を提供した リー群理論と金融数学を結びつけた 対称性を通じて以下が可能である:
新しい解の構成:u ( x , y , t ) u(x,y,t) u ( x , y , t ) が解ならば、u ϵ , v i u_{\epsilon,v_i} u ϵ , v i も解である 階数低下による求解:対称性を利用して方程式を簡略化する 不変解:対称変換の下で不変である特殊解を探索する 体系性が強い :すべての可能なパラメータ組み合わせについて完全な分析を実施し、漏れがない理論が厳密 :リー群理論の標準手順に厳密に従い、計算過程が詳細で信頼できる結果が豊富 :対称性を与えるだけでなく、代数構造と同型関係も分析している実用的価値 :明示的な群変換と解の変換公式を提供している方法の革新性 :既存ソフトウェアツールの限界を克服し、手計算で完全な結果を導出した計算の複雑性 :16ケースの計算過程が冗長であり、計算誤りのリスクが存在する可能性がある応用展示が限定的 :理論結果を提供しているが、具体的な金融応用例が少ない数値検証の欠落 :数値方法を通じて理論結果の正確性を検証していないソフトウェアとの比較が不十分 :Maplとの比較に言及しているが、比較結果の詳細な展示がない理論的貢献 :金融数学における対称性理論に重要な貢献をした方法論的価値 :多パラメータPDEシステムの対称性分析を処理するための範例を提供した応用の見通し :オプション価格設定、リスク管理などの金融問題に新しい数学的ツールを提供した金融工学 :アメリカンオプション価格設定、金利モデル分析数学物理 :類似構造のPDE求解理論研究 :金融数学におけるリー群の応用研究論文は41篇の関連文献を引用しており、主に以下を含む:
Olverのリー群応用の古典的著作 LongstaffとSchwartzの元の金融モデル論文 LescotとZambriniによる金融方程式対称性の研究 BlumanとKumeiの対称性理論の基礎文献 総合評価 :これは理論が厳密で計算が詳実な数学論文であり、Longstaff-Schwartz モデルのリー対称性問題を体系的に解決している。計算過程は複雑であるが、結果は重要な理論的価値と潜在的な実用的応用の見通しを有している。論文の主な貢献は完全な分類と構造分析を提供することにあり、関連分野のさらなる研究の基礎を築いている。