この論文では、氷河の進化を記述するストークスモデルにおける表面標高の数値解析について検討している。
まず、ストークス問題の弱形式を定式化し、その解の性質を明らかにしている。特に、表面速度の上界を導出している。
次に、表面標高の時間発展を表す変分不等式問題を定式化している。この問題は、ストークス問題と非線形相補性問題が連成した DAE システムとなっている。
この変分不等式問題の well-posedness を仮定の下で示し、有限要素法による離散化誤差を一般的に評価する定理を証明している。
最後に、この一般的な誤差評価定理を氷河表面標高の問題に適用し、誤差の各項の物理的意味を考察している。
この研究により、氷河表面標高の数値シミュレーションにおける誤差構造が明らかになり、より精度の高い数値解析手法の開発につながると期待される。
Til et andet sprog
fra kildeindhold
arxiv.org
Vigtigste indsigter udtrukket fra
by Ed Bueler kl. arxiv.org 09-23-2024
https://arxiv.org/pdf/2408.06470.pdfDybere Forespørgsler