自由和多孔介质流动中热对流的Navier-Stokes-Darcy-Boussinesq系统的全局弱解

IF 16.4 1区化学 Q1 CHEMISTRY, MULTIDISCIPLINARY

Accounts of Chemical Research Pub Date : 2020-11-23 DOI:10.57262/ade/1610420433

Xiaoming Wang, Hao Wu

{"title":"自由和多孔介质流动中热对流的Navier-Stokes-Darcy-Boussinesq系统的全局弱解","authors":"Xiaoming Wang, Hao Wu","doi":"10.57262/ade/1610420433","DOIUrl":null,"url":null,"abstract":"We study the Navier-Stokes-Darcy-Boussinesq system that models the thermal convection of a fluid overlying a saturated porous medium in a general decomposed domain. In both two and three spatial dimensions, we prove existence of global weak solutions to the initial boundary value problem subject to the Lions and Beavers-Joseph-Saffman-Jones interface conditions. The proof is based on a proper time-implicit discretization scheme combined the compactness argument. Next, we establish a weak-strong uniqueness result such that a weak solution coincides with a strong solution emanating from the same initial data as long as the latter exists.","PeriodicalId":1,"journal":{"name":"Accounts of Chemical Research","volume":null,"pages":null},"PeriodicalIF":16.4000,"publicationDate":"2020-11-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Global weak solutions to the Navier-Stokes-Darcy-Boussinesq system for thermal convection in coupled free and porous media flows\",\"authors\":\"Xiaoming Wang, Hao Wu\",\"doi\":\"10.57262/ade/1610420433\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We study the Navier-Stokes-Darcy-Boussinesq system that models the thermal convection of a fluid overlying a saturated porous medium in a general decomposed domain. In both two and three spatial dimensions, we prove existence of global weak solutions to the initial boundary value problem subject to the Lions and Beavers-Joseph-Saffman-Jones interface conditions. The proof is based on a proper time-implicit discretization scheme combined the compactness argument. Next, we establish a weak-strong uniqueness result such that a weak solution coincides with a strong solution emanating from the same initial data as long as the latter exists.\",\"PeriodicalId\":1,\"journal\":{\"name\":\"Accounts of Chemical Research\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":16.4000,\"publicationDate\":\"2020-11-23\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Accounts of Chemical Research\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.57262/ade/1610420433\",\"RegionNum\":1,\"RegionCategory\":\"化学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"CHEMISTRY, MULTIDISCIPLINARY\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Accounts of Chemical Research","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.57262/ade/1610420433","RegionNum":1,"RegionCategory":"化学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"CHEMISTRY, MULTIDISCIPLINARY","Score":null,"Total":0}

引用次数: 1

摘要

我们研究了Navier-Stokes Darcy Boussinesq系统，该系统模拟了在一般分解域中覆盖饱和多孔介质的流体的热对流。在二维和三维空间中，我们证明了Lions和Beavers Joseph-Saffman-Jones界面条件下初边值问题的全局弱解的存在性。该证明是基于适当的时间隐式离散化方案，结合了紧致性论点。接下来，我们建立一个弱-强唯一性结果，使得弱解与源自相同初始数据的强解重合，只要后者存在。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Global weak solutions to the Navier-Stokes-Darcy-Boussinesq system for thermal convection in coupled free and porous media flows

We study the Navier-Stokes-Darcy-Boussinesq system that models the thermal convection of a fluid overlying a saturated porous medium in a general decomposed domain. In both two and three spatial dimensions, we prove existence of global weak solutions to the initial boundary value problem subject to the Lions and Beavers-Joseph-Saffman-Jones interface conditions. The proof is based on a proper time-implicit discretization scheme combined the compactness argument. Next, we establish a weak-strong uniqueness result such that a weak solution coincides with a strong solution emanating from the same initial data as long as the latter exists.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Accounts of Chemical Research 化学-化学综合

CiteScore

31.40

自引率

1.10%

发文量

312

审稿时长

2 months

期刊介绍： Accounts of Chemical Research presents short, concise and critical articles offering easy-to-read overviews of basic research and applications in all areas of chemistry and biochemistry. These short reviews focus on research from the author’s own laboratory and are designed to teach the reader about a research project. In addition, Accounts of Chemical Research publishes commentaries that give an informed opinion on a current research problem. Special Issues online are devoted to a single topic of unusual activity and significance. Accounts of Chemical Research replaces the traditional article abstract with an article "Conspectus." These entries synopsize the research affording the reader a closer look at the content and significance of an article. Through this provision of a more detailed description of the article contents, the Conspectus enhances the article's discoverability by search engines and the exposure for the research.