Generalizations of the Dirichlet problem for bianalytic functions

技术摘要：双解析函数狄利克雷问题的推广

问题陈述
本文探讨了高阶迭代韦库阿（Vekua）方程狄利克雷边值问题的适定性，特别聚焦于推广比茨阿泽（Bitsadze）方程（$\frac{\partial^2 w}{\partial \bar{z}^2} = 0$）的二阶方程。虽然调和函数的经典狄利克雷问题在平面域上是适定的，但复单位圆盘上比茨阿泽方程的狄利克雷问题已知是病态的，即在零边界数据下存在无穷多解。近期文献（特别是 Moreno García 等人，[26]）证实，当边界为非退化的圆锥曲线（非圆周）且边界条件为多项式时，比茨阿泽狄利克雷问题变为适定的。本研究旨在将上述发现扩展至两个更广泛的背景：

1. 二阶迭代韦库阿方程：确定在非圆形圆锥曲线上的适定性是否可推广至形式为 $(\frac{\partial}{\partial \bar{z}} - A)^2 w = 0$ 的方程，其中 $A$ 为系数函数。
2. 双复数扩展：将复值函数的结果推广至双复值函数（取值于四维双复数代数 $\mathbb{B}$ 的函数），这对于研究复稳态薛定谔方程具有重要意义。

方法论
作者利用双复数的幂等表示，将双复值问题分解为成对的经典复值问题。

• 幂等分解：任何双复数 $w$ 均可唯一表示为 $w = p_+ w_+ + p_- w_-$，其中 $p_\pm$ 为幂等元。这使得双复微分算子（如 $\bar{\partial}$ 和迭代韦库阿算子）可表示为作用于分量 $w_+$ 和 $w_-$ 的标准复微分算子的线性组合。
• 相似性原理：本文利用了“相似性原理”（定理 2.1），该原理指出韦库阿方程的解可表示为指数函数（由系数 $A$ 通过韦库阿积分算子 $T_D$ 确定）与全纯（或广义解析）函数的乘积。
• 约化策略：核心方法论涉及将双复狄利克雷问题约化为两个独立的复狄利克雷问题。通过求解复分量并通过幂等基重新组合，作者构建了双复系统的解。该方法同时应用于单位圆盘和非退化圆锥曲线边界。

主要贡献与结果

1. 非圆形圆锥曲线上韦库阿 - 比茨阿泽方程的适定性：
   本文证明了二阶迭代韦库阿方程 $(\frac{\partial}{\partial \bar{z}} - A)^2 w = 0$ 的狄利克雷问题在非退化的圆锥曲线 $\Gamma$（非圆周）所围成的区域 $D$ 上是适定的，前提是边界条件形式为 $w = e^{T_D[A]}P$，其中 $P$ 为多项式，$T_D[A]$ 为作用于系数 $A$ 的韦库阿积分算子。这将 Moreno García 等人 [26] 关于比茨阿泽方程（$A \equiv 0$）的结果推广至一般韦库阿 - 比茨阿泽情形。

2. 单位圆盘上病态性的双复数扩展：
   作者证明了单位圆盘上狄利克雷问题的病态性在双复数设定下依然存在。具体而言，当单位圆上的边界条件为零时，双复比茨阿泽方程（$\bar{\partial}^2 w = 0$）和双复迭代韦库阿方程 ($( \bar{\partial} - A)^n w = 0$) 均存在无穷多个线性无关解。这是通过利用复分量中可用的无穷多解族来构造解而确立的。

3. 圆盘上可解性的刻画：
   推导出了单位圆盘上双复高阶迭代韦库阿方程狄利克雷问题唯一可解的必要充分条件。这些条件表现为对边界数据和非齐次部分的积分约束，与复情形中发现的条件（定理 2.19）相一致。解被显式表示为涉及边界数据和双复韦库阿算子的积分之和。

4. 非圆形圆锥曲线上双复适定性：
   本文确立了当边界为非退化圆锥曲线（非圆周）时，双复比茨阿泽方程和双复韦库阿 - 比茨阿泽方程的狄利克雷问题是适定的。对于韦库阿 - 比茨阿泽情形，边界条件被证明是多项式与双复指数函数的乘积，该指数函数由系数 $A$ 通过双复积分算子 $T_D^B$ 确定。

意义
本文声称，通过两个相关联的复狄利克雷问题的可解性，完整刻画了任意高阶韦库阿方程狄利克雷问题的可解性。通过利用幂等表示，该工作统一了复广义解析函数理论与双复分析。它证实了在复情形下观察到的支配适定性的结构性质（特别是依赖于边界几何形状和边界数据形式），对于其双复类比以及高阶迭代韦库阿方程同样成立。这些结果将已知的边值问题理论从复平面扩展至双复数设定，为分析物理建模中出现的（如稳态薛定谔方程）双复微分方程提供了框架。