Manufactured solutions and the verification of three-dimensional Stokes ice-sheet models
The manufactured solution technique is used for the verification of computational models in many fields. In this paper, we construct manufactured solutions for the three-dimensional, isothermal, nonlinear Stokes model for flows in glaciers and ice sheets. The solution construction procedure starts w...
Published in: | The Cryosphere |
---|---|
Main Authors: | , , , |
Format: | Text |
Language: | English |
Published: |
2018
|
Subjects: | |
Online Access: | https://doi.org/10.5194/tc-7-19-2013 https://tc.copernicus.org/articles/7/19/2013/ |
id |
ftcopernicus:oai:publications.copernicus.org:tc15899 |
---|---|
record_format |
openpolar |
spelling |
ftcopernicus:oai:publications.copernicus.org:tc15899 2023-05-15T16:40:09+02:00 Manufactured solutions and the verification of three-dimensional Stokes ice-sheet models Leng, W. Ju, L. Gunzburger, M. Price, S. 2018-09-27 application/pdf https://doi.org/10.5194/tc-7-19-2013 https://tc.copernicus.org/articles/7/19/2013/ eng eng doi:10.5194/tc-7-19-2013 https://tc.copernicus.org/articles/7/19/2013/ eISSN: 1994-0424 Text 2018 ftcopernicus https://doi.org/10.5194/tc-7-19-2013 2020-07-20T16:25:37Z The manufactured solution technique is used for the verification of computational models in many fields. In this paper, we construct manufactured solutions for the three-dimensional, isothermal, nonlinear Stokes model for flows in glaciers and ice sheets. The solution construction procedure starts with kinematic boundary conditions and is mainly based on the solution of a first-order partial differential equation for the ice velocity that satisfies the incompressibility condition. The manufactured solutions depend on the geometry of the ice sheet, basal sliding parameters, and ice softness. Initial conditions are taken from the periodic geometry of a standard problem of the ISMIP-HOM benchmark tests. The upper surface is altered through the manufactured solution procedure to generate an analytic solution for the time-dependent flow problem. We then use this manufactured solution to verify a parallel, high-order accurate, finite element Stokes ice-sheet model. Simulation results from the computational model show good convergence to the manufactured analytic solution. Text Ice Sheet Copernicus Publications: E-Journals The Cryosphere 7 1 19 29 |
institution |
Open Polar |
collection |
Copernicus Publications: E-Journals |
op_collection_id |
ftcopernicus |
language |
English |
description |
The manufactured solution technique is used for the verification of computational models in many fields. In this paper, we construct manufactured solutions for the three-dimensional, isothermal, nonlinear Stokes model for flows in glaciers and ice sheets. The solution construction procedure starts with kinematic boundary conditions and is mainly based on the solution of a first-order partial differential equation for the ice velocity that satisfies the incompressibility condition. The manufactured solutions depend on the geometry of the ice sheet, basal sliding parameters, and ice softness. Initial conditions are taken from the periodic geometry of a standard problem of the ISMIP-HOM benchmark tests. The upper surface is altered through the manufactured solution procedure to generate an analytic solution for the time-dependent flow problem. We then use this manufactured solution to verify a parallel, high-order accurate, finite element Stokes ice-sheet model. Simulation results from the computational model show good convergence to the manufactured analytic solution. |
format |
Text |
author |
Leng, W. Ju, L. Gunzburger, M. Price, S. |
spellingShingle |
Leng, W. Ju, L. Gunzburger, M. Price, S. Manufactured solutions and the verification of three-dimensional Stokes ice-sheet models |
author_facet |
Leng, W. Ju, L. Gunzburger, M. Price, S. |
author_sort |
Leng, W. |
title |
Manufactured solutions and the verification of three-dimensional Stokes ice-sheet models |
title_short |
Manufactured solutions and the verification of three-dimensional Stokes ice-sheet models |
title_full |
Manufactured solutions and the verification of three-dimensional Stokes ice-sheet models |
title_fullStr |
Manufactured solutions and the verification of three-dimensional Stokes ice-sheet models |
title_full_unstemmed |
Manufactured solutions and the verification of three-dimensional Stokes ice-sheet models |
title_sort |
manufactured solutions and the verification of three-dimensional stokes ice-sheet models |
publishDate |
2018 |
url |
https://doi.org/10.5194/tc-7-19-2013 https://tc.copernicus.org/articles/7/19/2013/ |
genre |
Ice Sheet |
genre_facet |
Ice Sheet |
op_source |
eISSN: 1994-0424 |
op_relation |
doi:10.5194/tc-7-19-2013 https://tc.copernicus.org/articles/7/19/2013/ |
op_doi |
https://doi.org/10.5194/tc-7-19-2013 |
container_title |
The Cryosphere |
container_volume |
7 |
container_issue |
1 |
container_start_page |
19 |
op_container_end_page |
29 |
_version_ |
1766030536675950592 |