<p>This paper studies the boundary value problem on the steady compressible Navier-Stokes-Fourier system in a channel domain <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="21_2025_972_Article_IEq1.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="74" /> </InlineMediaObject> <EquationSource Format="TEX">\((0,1)\times \mathbb {T}^2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mo>×</mo> <msup> <mrow> <mi mathvariant="double-struck">T</mi> </mrow> <mn>2</mn> </msup> </mrow> </math></EquationSource> </InlineEquation> with a class of generalized slip boundary conditions that were systematically derived from the Boltzmann equation by Coron [<CitationRef CitationID="CR9">9</CitationRef>] and later by Aoki et al [<CitationRef CitationID="CR1">1</CitationRef>]. We establish the existence and uniqueness of strong solutions in <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="21_2025_972_Article_IEq2.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="227" /> </InlineMediaObject> <EquationSource Format="TEX">\((L_{0}^{2}\cap H^{2}(\Omega ))\times V^{3}(\Omega )\times H^{3}(\Omega )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">(</mo> <msubsup> <mi>L</mi> <mrow> <mn>0</mn> </mrow> <mn>2</mn> </msubsup> <mo>∩</mo> <msup> <mi>H</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mo>×</mo> <msup> <mi>V</mi> <mn>3</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> <mo>×</mo> <msup> <mi>H</mi> <mn>3</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> provided that the wall temperature is near a positive constant. The proof relies on the construction of a new variational formulation for the corresponding linearized problem and employs a fixed point argument. The main difficulty arises from the interplay of velocity and temperature derivatives together with the effect of density dependence on the boundary.</p>

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

Steady Compressible Navier-Stokes-Fourier System with Slip Boundary Conditions Arising from Kinetic Theory

  • Renjun Duan,
  • Junhao Zhang

摘要

This paper studies the boundary value problem on the steady compressible Navier-Stokes-Fourier system in a channel domain \((0,1)\times \mathbb {T}^2\) ( 0 , 1 ) × T 2 with a class of generalized slip boundary conditions that were systematically derived from the Boltzmann equation by Coron [9] and later by Aoki et al [1]. We establish the existence and uniqueness of strong solutions in \((L_{0}^{2}\cap H^{2}(\Omega ))\times V^{3}(\Omega )\times H^{3}(\Omega )\) ( L 0 2 H 2 ( Ω ) ) × V 3 ( Ω ) × H 3 ( Ω ) provided that the wall temperature is near a positive constant. The proof relies on the construction of a new variational formulation for the corresponding linearized problem and employs a fixed point argument. The main difficulty arises from the interplay of velocity and temperature derivatives together with the effect of density dependence on the boundary.