The operator div(ρ∇) is invertible, so long as ρ is a differentiable positive function, which can be ensured by requiring that this condition holds initially.
Оператор div(ρ∇) обратим, если ρ — дифференцируемая положительная функция; это можно обеспечить, потребовав выполнения данного условия в начальный момент.