<p>This paper studies the Stokes resolvent system <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="21_2025_959_Article_IEq1.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="151" /> </InlineMediaObject> <EquationSource Format="TEX">\(-\Delta \textbf{u}+\lambda \textbf{u}+\nabla \rho =\textbf{f}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>-</mo> <mi mathvariant="normal">Δ</mi> <mi mathvariant="bold">u</mi> <mo>+</mo> <mi>λ</mi> <mi mathvariant="bold">u</mi> <mo>+</mo> <mi mathvariant="normal">∇</mi> <mi>ρ</mi> <mo>=</mo> <mi mathvariant="bold">f</mi> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="21_2025_959_Article_IEq2.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="73" /> </InlineMediaObject> <EquationSource Format="TEX">\(\nabla \cdot \textbf{u}=\chi \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">∇</mi> <mo>·</mo> <mi mathvariant="bold">u</mi> <mo>=</mo> <mi>χ</mi> </mrow> </math></EquationSource> </InlineEquation> in <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="21_2025_959_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Ω</mi> </math></EquationSource> </InlineEquation> with the Navier condition <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="21_2025_959_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="59" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textbf{u}_\textbf{n}=\textbf{g}_\textbf{n}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="bold">u</mi> <mi mathvariant="bold">n</mi> </msub> <mo>=</mo> <msub> <mi mathvariant="bold">g</mi> <mi mathvariant="bold">n</mi> </msub> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="21_2025_959_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="182" /> </InlineMediaObject> <EquationSource Format="TEX">\([\partial \textbf{u}/\partial \textbf{n}-\rho \textbf{n}+b\textbf{u}]_\tau =\textbf{h}_\tau \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mrow> <mo stretchy="false">[</mo> <mi>∂</mi> <mi mathvariant="bold">u</mi> <mo stretchy="false">/</mo> <mi>∂</mi> <mi mathvariant="bold">n</mi> <mo>-</mo> <mi>ρ</mi> <mi mathvariant="bold">n</mi> <mo>+</mo> <mi>b</mi> <mi mathvariant="bold">u</mi> <mo stretchy="false">]</mo> </mrow> <mi>τ</mi> </msub> <mo>=</mo> <msub> <mi mathvariant="bold">h</mi> <mi>τ</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> on <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="21_2025_959_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(\partial \Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>∂</mi> <mi mathvariant="normal">Ω</mi> </mrow> </math></EquationSource> </InlineEquation>. Here <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="21_2025_959_Article_IEq7.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="52" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega \subset {{\mathbb {R}}}^2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Ω</mi> <mo>⊂</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>2</mn> </msup> </mrow> </math></EquationSource> </InlineEquation> is a bounded domain with Lipschitz boundary. <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="21_2025_959_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Ω</mi> </math></EquationSource> </InlineEquation> might have holes. First we define and study weak solutions in <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="21_2025_959_Article_IEq9.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="164" /> </InlineMediaObject> <EquationSource Format="TEX">\(W^{1,2}(\Omega ;{{\mathbb {C}}}^2)\times L^2(\Omega ;{{\mathbb {C}}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>W</mi> <mrow> <mn>1</mn> <mo>,</mo> <mn>2</mn> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo>;</mo> <msup> <mrow> <mi mathvariant="double-struck">C</mi> </mrow> <mn>2</mn> </msup> <mo stretchy="false">)</mo> </mrow> <mo>×</mo> <msup> <mi>L</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo>;</mo> <mi mathvariant="double-struck">C</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. Using this result we are able to prove the existence of strong solutions of the problem in Sobolev spaces <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="21_2025_959_Article_IEq10.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="194" /> </InlineMediaObject> <EquationSource Format="TEX">\(W^{s,q}(\Omega ;{{\mathbb {C}}}^2)\times W^{s-1,q}(\Omega ;{{\mathbb {C}}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>W</mi> <mrow> <mi>s</mi> <mo>,</mo> <mi>q</mi> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo>;</mo> <msup> <mrow> <mi mathvariant="double-struck">C</mi> </mrow> <mn>2</mn> </msup> <mo stretchy="false">)</mo> </mrow> <mo>×</mo> <msup> <mi>W</mi> <mrow> <mi>s</mi> <mo>-</mo> <mn>1</mn> <mo>,</mo> <mi>q</mi> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo>;</mo> <mi mathvariant="double-struck">C</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, in Besov spaces <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="21_2025_959_Article_IEq11.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="175" /> </InlineMediaObject> <EquationSource Format="TEX">\(B_s^{q,r}(\Omega ,{{\mathbb {C}}}^2)\times B_{s-1}^{q,r}(\Omega ;{{\mathbb {C}}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>B</mi> <mi>s</mi> <mrow> <mi>q</mi> <mo>,</mo> <mi>r</mi> </mrow> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo>,</mo> <msup> <mrow> <mi mathvariant="double-struck">C</mi> </mrow> <mn>2</mn> </msup> <mo stretchy="false">)</mo> </mrow> <mo>×</mo> <msubsup> <mi>B</mi> <mrow> <mi>s</mi> <mo>-</mo> <mn>1</mn> </mrow> <mrow> <mi>q</mi> <mo>,</mo> <mi>r</mi> </mrow> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo>;</mo> <mi mathvariant="double-struck">C</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and classical solutions in the spaces <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="21_2025_959_Article_IEq12.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="183" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\mathcal {C}}}^{k,\alpha } ({\overline{\Omega }} ;{{\mathbb {C}}}^2)\times {{\mathcal {C}}}^{k-1,\alpha }({\overline{\Omega }} ;{{\mathbb {C}}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mrow> <mi mathvariant="script">C</mi> </mrow> <mrow> <mi>k</mi> <mo>,</mo> <mi>α</mi> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mover> <mi mathvariant="normal">Ω</mi> <mo>¯</mo> </mover> <mo>;</mo> <msup> <mrow> <mi mathvariant="double-struck">C</mi> </mrow> <mn>2</mn> </msup> <mo stretchy="false">)</mo> </mrow> <mo>×</mo> <msup> <mrow> <mi mathvariant="script">C</mi> </mrow> <mrow> <mi>k</mi> <mo>-</mo> <mn>1</mn> <mo>,</mo> <mi>α</mi> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mover> <mi mathvariant="normal">Ω</mi> <mo>¯</mo> </mover> <mo>;</mo> <mi mathvariant="double-struck">C</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

Weak Solution of One Navier’s Problem for the Stokes Resolvent System

  • Dagmar Medková

摘要

This paper studies the Stokes resolvent system \(-\Delta \textbf{u}+\lambda \textbf{u}+\nabla \rho =\textbf{f}\) - Δ u + λ u + ρ = f , \(\nabla \cdot \textbf{u}=\chi \) · u = χ in \(\Omega \) Ω with the Navier condition \(\textbf{u}_\textbf{n}=\textbf{g}_\textbf{n}\) u n = g n , \([\partial \textbf{u}/\partial \textbf{n}-\rho \textbf{n}+b\textbf{u}]_\tau =\textbf{h}_\tau \) [ u / n - ρ n + b u ] τ = h τ on \(\partial \Omega \) Ω . Here \(\Omega \subset {{\mathbb {R}}}^2\) Ω R 2 is a bounded domain with Lipschitz boundary. \(\Omega \) Ω might have holes. First we define and study weak solutions in \(W^{1,2}(\Omega ;{{\mathbb {C}}}^2)\times L^2(\Omega ;{{\mathbb {C}}})\) W 1 , 2 ( Ω ; C 2 ) × L 2 ( Ω ; C ) . Using this result we are able to prove the existence of strong solutions of the problem in Sobolev spaces \(W^{s,q}(\Omega ;{{\mathbb {C}}}^2)\times W^{s-1,q}(\Omega ;{{\mathbb {C}}})\) W s , q ( Ω ; C 2 ) × W s - 1 , q ( Ω ; C ) , in Besov spaces \(B_s^{q,r}(\Omega ,{{\mathbb {C}}}^2)\times B_{s-1}^{q,r}(\Omega ;{{\mathbb {C}}})\) B s q , r ( Ω , C 2 ) × B s - 1 q , r ( Ω ; C ) and classical solutions in the spaces \({{\mathcal {C}}}^{k,\alpha } ({\overline{\Omega }} ;{{\mathbb {C}}}^2)\times {{\mathcal {C}}}^{k-1,\alpha }({\overline{\Omega }} ;{{\mathbb {C}}})\) C k , α ( Ω ¯ ; C 2 ) × C k - 1 , α ( Ω ¯ ; C ) .