{"quality_controlled":0,"title":"Estimates on front propagation for nonlinear higher-order parabolic equations: An algorithmic approach","_id":"1313","doi":"10.4171/IFB/331","author":[{"orcid":"0000-0002-0479-558X","full_name":"Julian Fischer","first_name":"Julian L","id":"2C12A0B0-F248-11E8-B48F-1D18A9856A87","last_name":"Fischer"}],"abstract":[{"text":"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.","lang":"eng"}],"publication":"Interfaces and Free Boundaries","publication_status":"published","issue":"1","extern":1,"type":"journal_article","publist_id":"5956","date_updated":"2021-01-12T06:49:48Z","volume":17,"intvolume":"        17","day":"01","status":"public","year":"2015","publisher":"European Mathematical Society Publishing House","page":"1 - 20","date_published":"2015-01-01T00:00:00Z","acknowledgement":"This research was supported by the Lithuanian-Swiss cooperation program under the project agreement No.  CH-SMM-01/0.","month":"01","date_created":"2018-12-11T11:51:19Z","citation":{"ieee":"J. L. Fischer, “Estimates on front propagation for nonlinear higher-order parabolic equations: An algorithmic approach,” <i>Interfaces and Free Boundaries</i>, vol. 17, no. 1. European Mathematical Society Publishing House, pp. 1–20, 2015.","short":"J.L. Fischer, Interfaces and Free Boundaries 17 (2015) 1–20.","mla":"Fischer, Julian L. “Estimates on Front Propagation for Nonlinear Higher-Order Parabolic Equations: An Algorithmic Approach.” <i>Interfaces and Free Boundaries</i>, vol. 17, no. 1, European Mathematical Society Publishing House, 2015, pp. 1–20, doi:<a href=\"https://doi.org/10.4171/IFB/331\">10.4171/IFB/331</a>.","ama":"Fischer JL. Estimates on front propagation for nonlinear higher-order parabolic equations: An algorithmic approach. <i>Interfaces and Free Boundaries</i>. 2015;17(1):1-20. doi:<a href=\"https://doi.org/10.4171/IFB/331\">10.4171/IFB/331</a>","apa":"Fischer, J. L. (2015). Estimates on front propagation for nonlinear higher-order parabolic equations: An algorithmic approach. <i>Interfaces and Free Boundaries</i>. European Mathematical Society Publishing House. <a href=\"https://doi.org/10.4171/IFB/331\">https://doi.org/10.4171/IFB/331</a>","ista":"Fischer JL. 2015. Estimates on front propagation for nonlinear higher-order parabolic equations: An algorithmic approach. Interfaces and Free Boundaries. 17(1), 1–20.","chicago":"Fischer, Julian L. “Estimates on Front Propagation for Nonlinear Higher-Order Parabolic Equations: An Algorithmic Approach.” <i>Interfaces and Free Boundaries</i>. European Mathematical Society Publishing House, 2015. <a href=\"https://doi.org/10.4171/IFB/331\">https://doi.org/10.4171/IFB/331</a>."}}