从梯度方程编写单个 PDE

计算科学 pde 康索尔
2021-12-04 22:38:18

我有一个这样的微分系统,其中是一个标量值未知函数: 我正在尝试解决它在 FEM 求解器 (COMSOL Multiphysics) 中,其中将是我的因变量,而是已知函数。Φ

Φ=(f1(x,y),f2(x,y))T
Φf1,f2

通常,描述因变量的 DE将具有以下形式: 其中的函数上面,我们有一个单一的微分方程,对于一个单一的标量值未知u

f1ux+f2uy=f3
f1,f2,f3x,yuu

但是在我描述的问题(第一个方程)中,我有一个未知的标量,但是有两个单独的微分方程。如何将其转换为单个微分方程以在 COMSOL 中求解?因为 COMSOL 接受每个因变量一个微分方程。Φ

2个回答

你的方程不是很好:对于一般函数,没有函数可以满足方程。例如,如果您有,那么您正在寻找使得 但是这些方程中的第一个意味着 而第二个意味着 这是一个矛盾。f1,f2Φf1=f2=xΦ(x,y)

Φx=x
Φy=y.
Φ=x2+by+c
Φ=xy+dx+e.

换句话说,你必须回到绘图板上,想想你得到的方程来自哪里,以及它的推导错误在哪里。

(或者,当然,函数可能满足非常特定的条件来保证解决方案的存在。但是您将希望在您的解决方案方法中利用这些条件。)f1,f2

要使这个问题适定,充分必要条件是如果满足,则是一个势场,它由下式给出yf1=xf2Φ

Φ(r)=Φ(r0)+r0r(f1,f2)Tdr

在哪里r=(x,y)r0=(x0,y0)是参考位置。

或者,可以将其转换为泊松方程的形式,该方程可以通过标准数值技术求解(提供适当的边界条件)

2Φ=ρ,

在哪里ρ=xf1+yf2