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发表时间 : January 3, 2025论文链接 : https://arxiv.org/abs/2501.00155 本研究运用李群理论来计算一类由四个常数参数化的偏微分方程的对称群：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等软件在处理包含四个常数参数的漂移函数时，无法区分这些常数或施加必要的条件来识别对称群理论完整性 ：需要系统性地确定所有情况下的对称群，并与Maple等软件的结果进行比较应用价值 ：李对称性在求解偏微分方程、降阶和寻找精确解方面具有重要意义完整分类 ：对Longstaff-Schwartz模型对应的PDE在参数( a , b , d , e ) (a,b,d,e) ( a , b , d , e ) 结构分析 ：确定了各种情况下李代数的具体结构，包括同构关系和维数显式对称性 ：给出了所有情况下的无穷小生成元和相应的单参数群变换理论框架 ：建立了从有限维对称代数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 ϕ ( 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 μ 根据参数条件将问题分为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 ) 最小李代数 ：情况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 ) 根据分析，有限维李代数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 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种情况的计算过程冗长，可能存在计算错误的风险应用展示有限 ：虽然给出了理论结果，但具体的金融应用案例较少数值验证缺失 ：没有通过数值方法验证理论结果的正确性与软件比较不足 ：虽然提到与Maple比较，但没有详细展示比较结果理论贡献 ：为金融数学中的对称性理论做出了重要贡献方法论价值 ：为处理多参数PDE系统的对称性分析提供了范例应用前景 ：为期权定价、风险管理等金融问题提供了新的数学工具金融工程 ：美式期权定价、利率模型分析数学物理 ：类似结构的PDE求解理论研究 ：李群在金融数学中的应用研究论文引用了41篇相关文献，主要包括：
Olver的李群应用经典著作 Longstaff和Schwartz的原始金融模型论文 Lescot和Zambrini关于金融方程对称性的研究 Bluman和Kumei的对称性理论基础文献 总体评价 ：这是一篇理论严谨、计算详实的数学论文，系统性地解决了Longstaff-Schwartz模型的李对称性问题。虽然计算过程复杂，但结果具有重要的理论价值和潜在的实际应用前景。论文的主要贡献在于提供了完整的分类和结构分析，为相关领域的进一步研究奠定了基础。
