Geodesic
Estimates on front propagation for nonlinear higher-order parabolic equations: An algorithmic approach
Julian Fischer1 orcid
1Max-Planck Institut für Mathematik in den Naturwissenschaften, Leipzig, Germany
Interfaces and free boundaries, Tome 17 (2015) no. 1, pp. 1-20

Voir la notice de l'article provenant de la source EMS Press

DOI

We present an algorithm for the derivation of lower bounds on support propagation for a certain class of nonlinear parabolic equations. We proceed by combining the ideas in some recent papers by the author with the algorithmic construction of entropies due to Jüngel and Matthes, reducing the problem to a quantifier elimination problem. Due to its complexity, the quantifier elimination problem cannot be solved by present exact algorithms. However, by tackling the quantifier elimination problem numerically, in the case of the thin-film equation we are able to improve recent results by the author in the regime of strong slippage n∈(1,2). For certain second-order doubly nonlinear parabolic equations, we are able to extend the known lower bounds on free boundary propagation to the case of irregular oscillatory initial data. Finally, we apply our method to a sixth-order quantum drift-diffusion equation, resulting in an upper bound on the time which it takes for the support to reach every point in the domain.
DOI : 10.4171/ifb/331
Classification : 35-XX, 76-XX
Mots-clés : Free boundaries, waiting time phenomenon, degenerate parabolic equation, thin-film equation, doubly nonlinear equation, quantum drift-diffusion equation, computer-assisted proof

Julian Fischer  1

1 Max-Planck Institut für Mathematik in den Naturwissenschaften, Leipzig, Germany 
Julian Fischer. Estimates on front propagation for nonlinear higher-order parabolic equations: An algorithmic approach. Interfaces and free boundaries, Tome 17 (2015) no. 1, pp. 1-20. doi: 10.4171/ifb/331
@article{10_4171_ifb_331,
     author = {Julian Fischer},
     title = {Estimates on front propagation for nonlinear higher-order parabolic equations: {An} algorithmic approach},
     journal = {Interfaces and free boundaries},
     pages = {1--20},
     year = {2015},
     volume = {17},
     number = {1},
     doi = {10.4171/ifb/331},
     url = {http://geodesic.mathdoc.fr/articles/10.4171/ifb/331/}
}
TY  - JOUR
AU  - Julian Fischer
TI  - Estimates on front propagation for nonlinear higher-order parabolic equations: An algorithmic approach
JO  - Interfaces and free boundaries
PY  - 2015
SP  - 1
EP  - 20
VL  - 17
IS  - 1
UR  - http://geodesic.mathdoc.fr/articles/10.4171/ifb/331/
DO  - 10.4171/ifb/331
ID  - 10_4171_ifb_331
ER  - 
%0 Journal Article
%A Julian Fischer
%T Estimates on front propagation for nonlinear higher-order parabolic equations: An algorithmic approach
%J Interfaces and free boundaries
%D 2015
%P 1-20
%V 17
%N 1
%U http://geodesic.mathdoc.fr/articles/10.4171/ifb/331/
%R 10.4171/ifb/331
%F 10_4171_ifb_331

Cité par Sources :