Mathematical analysis of a sharp-diffuse interfaces model for seawater intrusion (Q2355413): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.jde.2015.05.005 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W634774073 / rank | |||
Normal rank |
Revision as of 21:31, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Mathematical analysis of a sharp-diffuse interfaces model for seawater intrusion |
scientific article |
Statements
Mathematical analysis of a sharp-diffuse interfaces model for seawater intrusion (English)
0 references
23 July 2015
0 references
In this work, the authors consider a model for seawater intrusion phenomena that is a mixture of sharp and diffuse interface models. The model considered takes advantage of the so-called Dupuit approximation, where hydraulic head is considered constant in each vertical direction, thus effectively reducing the problem from 3D to 2D. A phase-field Allen-Cahn model in fluid/fluid context, where diffuse transition zones are present, is also included in the model. The resulting model then consists of a system of strongly and nonlinearly coupled PDEs of parabolic type. The article is organized as follows: At first, the authors present a detailed derivation of the sharp-diffuse interface model. The main result, which is the existence of physically admissible weak solutions for the model, is then stated. The proof of the main result utilizes a Schauder fixed point theorem for auxiliary regularized and truncated problems. Here, the authors regularize a step function with a parameter \(\epsilon>0\) and introduce a weight based on the velocity of the freshwater front in one of the equations. It is also shown that the regularized solution satisfies a maximum principle. The authors derive some uniform estimates with respect to \(\epsilon\), and these estimates prove to be essential in establishing the main result on the existence of weak solutions.
0 references
seawater intrusion
0 references
free boundaries
0 references
nonlinear parabolic partial differential equation
0 references
system of strongly coupled partial differential equations
0 references
initial and boundary value problem
0 references