<p>In this work, we investigate the existence and uniqueness of solutions to the following 2D and 3D convective Brinkman–Forchheimer extended Darcy equations defined on a bounded smooth domain <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\Omega \subset \mathbb {R}^d\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Ω</mi> <mo>⊂</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>d</mi> </msup> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(d\in \{2,3\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mo>∈</mo> <mo stretchy="false">{</mo> <mn>2</mn> <mo>,</mo> <mn>3</mn> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation>, <Equation ID="Equ58"> <EquationSource Format="TEX">\(\begin{aligned} \frac{\partial \varvec{v}}{\partial t}-\mu \Delta \varvec{v}+(\varvec{v}\cdot \nabla )\varvec{v}+\alpha \varvec{v}+\beta \vert \varvec{v}\vert ^{r-1}\varvec{v}+\gamma \vert \varvec{v}\vert ^{q-1}\varvec{v}+\nabla p=\varvec{g},\ \nabla \cdot \varvec{v}=0, \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mfrac> <mrow> <mi>∂</mi> <mrow> <mi mathvariant="bold-italic">v</mi> </mrow> </mrow> <mrow> <mi>∂</mi> <mi>t</mi> </mrow> </mfrac> <mo>-</mo> <mi>μ</mi> <mi mathvariant="normal">Δ</mi> <mrow> <mi mathvariant="bold-italic">v</mi> </mrow> <mo>+</mo> <mrow> <mo stretchy="false">(</mo> <mrow> <mi mathvariant="bold-italic">v</mi> </mrow> <mo>·</mo> <mi mathvariant="normal">∇</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mi mathvariant="bold-italic">v</mi> </mrow> <mo>+</mo> <mi>α</mi> <mrow> <mi mathvariant="bold-italic">v</mi> </mrow> <mo>+</mo> <msup> <mrow> <mi>β</mi> <mo stretchy="false">|</mo> <mrow> <mi mathvariant="bold-italic">v</mi> </mrow> <mo stretchy="false">|</mo> </mrow> <mrow> <mi>r</mi> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mrow> <mi mathvariant="bold-italic">v</mi> </mrow> <mo>+</mo> <mi>γ</mi> <msup> <mrow> <mo stretchy="false">|</mo> <mrow> <mi mathvariant="bold-italic">v</mi> </mrow> <mo stretchy="false">|</mo> </mrow> <mrow> <mi>q</mi> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mrow> <mi mathvariant="bold-italic">v</mi> </mrow> <mo>+</mo> <mi mathvariant="normal">∇</mi> <mi>p</mi> <mo>=</mo> <mrow> <mi mathvariant="bold-italic">g</mi> </mrow> <mo>,</mo> <mspace width="4pt" /> <mi mathvariant="normal">∇</mi> <mo>·</mo> <mrow> <mi mathvariant="bold-italic">v</mi> </mrow> <mo>=</mo> <mn>0</mn> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\mu ,\alpha ,\beta &gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>μ</mi> <mo>,</mo> <mi>α</mi> <mo>,</mo> <mi>β</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\gamma \in \mathbb {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>γ</mi> <mo>∈</mo> <mi mathvariant="double-struck">R</mi> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(r,q\in [1,\infty )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mo>,</mo> <mi>q</mi> <mo>∈</mo> <mo stretchy="false">[</mo> <mn>1</mn> <mo>,</mo> <mi>∞</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(r&gt;q\ge 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mo>&gt;</mo> <mi>q</mi> <mo>≥</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\varvec{g}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold-italic">g</mi> </mrow> </math></EquationSource> </InlineEquation> is an external forcing term. For <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(r \ge 1 \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mo>≥</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, under periodic forcing, we establish the <i>existence of time-periodic global weak solutions</i> to the system by employing <i>Faedo–Galerkin approximations</i>, together with the <i>Banach–Alaoglu theorem</i>, the <i>Aubin–Lions–Simon compactness lemma</i>, and the <i>Lions–Magenes lemma</i>. The <i>existence of periodic solutions</i> for the Faedo–Galerkin approximated problem is obtained via <i>Brouwer’s fixed point theorem</i>. In the <i>super-critical</i> case <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(( r &gt; 3 )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>r</mi> <mo>&gt;</mo> <mn>3</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and the <i>critical</i> case (<InlineEquation ID="IEq10"> <EquationSource Format="TEX">\( r = 3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mo>=</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation>), we prove the <i>uniqueness of the global weak solution</i> without imposing any smallness condition on the external forcing. This constitutes a new result compared to the classical 2D Navier–Stokes equations with periodic inputs, for which the <i>uniqueness of strong solutions</i> typically requires <i>smallness assumptions</i> on the external force.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Existence and uniqueness of time-periodic solutions of the 2D and 3D convective Brinkman–Forchheimer extended Darcy equations

  • Manil T. Mohan

摘要

In this work, we investigate the existence and uniqueness of solutions to the following 2D and 3D convective Brinkman–Forchheimer extended Darcy equations defined on a bounded smooth domain \(\Omega \subset \mathbb {R}^d\) Ω R d , \(d\in \{2,3\}\) d { 2 , 3 } , \(\begin{aligned} \frac{\partial \varvec{v}}{\partial t}-\mu \Delta \varvec{v}+(\varvec{v}\cdot \nabla )\varvec{v}+\alpha \varvec{v}+\beta \vert \varvec{v}\vert ^{r-1}\varvec{v}+\gamma \vert \varvec{v}\vert ^{q-1}\varvec{v}+\nabla p=\varvec{g},\ \nabla \cdot \varvec{v}=0, \end{aligned}\) v t - μ Δ v + ( v · ) v + α v + β | v | r - 1 v + γ | v | q - 1 v + p = g , · v = 0 , where \(\mu ,\alpha ,\beta >0\) μ , α , β > 0 , \(\gamma \in \mathbb {R}\) γ R , \(r,q\in [1,\infty )\) r , q [ 1 , ) with \(r>q\ge 1\) r > q 1 and \(\varvec{g}\) g is an external forcing term. For \(r \ge 1 \) r 1 , under periodic forcing, we establish the existence of time-periodic global weak solutions to the system by employing Faedo–Galerkin approximations, together with the Banach–Alaoglu theorem, the Aubin–Lions–Simon compactness lemma, and the Lions–Magenes lemma. The existence of periodic solutions for the Faedo–Galerkin approximated problem is obtained via Brouwer’s fixed point theorem. In the super-critical case \(( r > 3 )\) ( r > 3 ) and the critical case ( \( r = 3\) r = 3 ), we prove the uniqueness of the global weak solution without imposing any smallness condition on the external forcing. This constitutes a new result compared to the classical 2D Navier–Stokes equations with periodic inputs, for which the uniqueness of strong solutions typically requires smallness assumptions on the external force.