本工具是一款专业的 拟微分算子级数形式分析工具, 专为数学研究人员、物理学者及高年级学生设计。支持 Kohn-Nirenberg Weyl Quantization Hörmander Class 等多种符号演算体系。 通过智能算法推导算子的 渐近级数展开, 并解析其在 偏微分方程 求解与奇性分析中的具体应用。
拟微分算子的核心在于其象征的渐近级数展开,通常表示为 $\sigma(x,\xi) \sim \sum_{j=0}^{\infty} a_j(x,\xi)$。
广泛应用于椭圆算子的正则性理论、双曲方程的能量估计以及奇性传播分析。
支持 Hörmander 类 $S^m_{\rho,\delta}$,包括经典的 $S^m_{1,0}$ 和 $S^m_{1/2,1/2}$。
工具提供详细的推导步骤,建议结合教科书(如 Hörmander 的著作)进行交叉验证。