#python #pde #fipy
#python #pde #fipy
Вопрос:
Я пытаюсь решить для эллиптического pde с помощью FiPy и сталкиваюсь с некоторыми проблемами сходимости. Уравнение, которое я пытаюсь решить, является:
[ frac{partial ^ 2 alpha}{partial x ^ 2} = (alpha -1)/L ^ 2 ]
где L = f (x), и я использую кортеж значений dx, поскольку решение для alpha зависит от сетки.
Я создал следующий скрипт для решения уравнения с использованием FiPy:
from fipy import *
import numpy as np
deltax = tuple(np.genfromtxt('delx_eps.dat')[:,0])
mesh = Grid1D(dx=deltax, nx=257)
# compute L^2
CL = 0.161
Ceta = 80.0
eps = np.genfromtxt('delx_eps.dat')[:,1]
nu = np.empty_like(eps)
nu[:] = 1.0/590.0
L_sq = np.empty_like(eps)
L_sq = (CL*Ceta*(nu**3/eps)**(1/4))**2
coeff_L = CellVariable(mesh=mesh, value=L_sq, name='Lsquare')
alpha = CellVariable(mesh=mesh, name='Solution', value=0.0)
# Boundary conditions
alpha.constrain(0., where=mesh.facesLeft)
alpha.constrain(0., where=mesh.facesRight)
eq = DiffusionTerm(coeff=1.0, var=alpha) == (alpha-1.0)/coeff_L
mySolver = LinearLUSolver(iterations=10, tolerance=5e-6)
res = 1e 100
while res > 1e-8:
res = eq.sweep(var=alpha, solver=mySolver)
print(res)
Решение расходится до тех пор, пока значение res
не будет равно «inf», что приводит к ошибке:
/usr/local/lib/python3.8/dist-packages/fipy/variables/variable.py:1143: RuntimeWarning: overflow encountered in true_divide
return self._BinaryOperatorVariable(lambda a, b: a / b, other)
/usr/local/lib/python3.8/dist-packages/fipy/variables/variable.py:1122: RuntimeWarning: invalid value encountered in multiply
return self._BinaryOperatorVariable(lambda a, b: a*b, other)
Traceback (most recent call last):
File "elliptic_shielding.py", line 73, in <module>
res = eq.sweep(var=alpha, solver=mySolver)
File "/usr/local/lib/python3.8/dist-packages/fipy/terms/term.py", line 232, in sweep
solver._solve()
File "/usr/local/lib/python3.8/dist-packages/fipy/solvers/scipy/scipySolver.py", line 26, in _solve
self.var[:] = numerix.reshape(self._solve_(self.matrix, self.var.ravel(), numerix.array(self.RHSvector)), self.var.shape)
File "/usr/local/lib/python3.8/dist-packages/fipy/solvers/scipy/linearLUSolver.py", line 31, in _solve_
LU = splu(L.matrix.asformat("csc"), diag_pivot_thresh=1.,
File "/usr/local/lib/python3.8/dist-packages/scipy/sparse/linalg/dsolve/linsolve.py", line 337, in splu
return _superlu.gstrf(N, A.nnz, A.data, A.indices, A.indptr,
RuntimeError: Factor is exactly singular
Я заметил, что решение хорошо сходится, когда значение L ^ 2 является постоянным. Однако я не смог заставить его работать с переменным L.
Как мне лучше всего решить эту проблему?
Любая помощь или рекомендации приветствуются.
Заранее спасибо.
PS: Используемые данные доступны по этой ссылке.
Ответ №1:
Если L ^ 2 достаточно мало, решение нестабильно, даже когда L ^ 2 является постоянным.
Похоже, что изменение на неявный источник работает, например,
eq = DiffusionTerm(coeff=1.0, var=alpha) == ImplicitSourceTerm(coeff=1./coeff_L, var=alpha) - 1.0 / coeff_L
Комментарии:
1. Действительно, вы правы, небольшое значение L ^ 2 приводит к нестабильному решению. Спасибо за ответ!
2. Я слишком долго пытался доказать себе, что он должен быть нестабильным, но я ужасен как в анализе устойчивости по фон Нейману, так и в аналитическом решении ODE. Я должен был просто попробовать
ImplicitSourceTerm
в первую очередь!3. Признаюсь, в спешке, чтобы решить эту проблему, я не потратил время на анализ стабильности. Однако, если вам интересно, аналитическое решение уравнения равно [ alpha(x) = 1.0 — exp( — x / L)]. Спасибо за разработку этого удивительного инструмента!
4. Маленький грязный секрет: я никогда не трачу время на анализ стабильности! FWIW, с условиями Дирихле на обоих концах (и для константы L), я получил [ alpha(x) = 1 — cosh((2x — x_R)/ 2L) / cosh((x_R) / 2L) ] . Это, казалось, соответствовало численному результату (даже достаточно хорошо для неоднородного L).