The focus of the present work is the (theoretical) approximation of a solution of the p(x)-Poisson equation. To devise an iterative solver with guaranteed convergence, we will consider a relaxation of the original problem in terms of a truncation of the nonlinearity from below and from above by using a pair of positive cut-off parameters. We will then verify that, for any such pair, a damped Ka\v{c}anov scheme generates a sequence converging to a solution of the relaxed equation. Subsequently, it will be shown that the solutions of the relaxed problems converge to the solution of the original problem in the discrete setting. Finally, the discrete solutions of the unrelaxed problem converge to the continuous solution. Our work will finally be rounded up with some numerical experiments that underline the analytical findings.
翻译:本文关注解p(x)-Poisson方程的(理论)逼近问题。为设计一个具有收敛保证的迭代求解器,我们考虑通过使用一对正截断参数,将非线性从上下两方面进行截断,从而对原问题进行了松弛处理。然后我们将验证,对于任何这样的一组参数,阻尼Ka\v{c}anov方案都可以生成一条收敛于松弛方程的解的序列。随后,将说明松弛问题的解在离散的情况下收敛于原问题的解。最后,非松弛问题的离散解收敛于连续解。我们最终通过一些数值实验来强调分析发现。