<p>We consider a domain <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\Omega \subseteq \mathbb {R\!}^{\,2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Ω</mi> <mo>⊆</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> <mspace width="-0.166667em" /> </mrow> <mrow> <mspace width="0.166667em" /> <mn>2</mn> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation> with branched fractal boundary <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\Gamma ^{\infty }\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi mathvariant="normal">Γ</mi> <mi>∞</mi> </msup> </math></EquationSource> </InlineEquation> and parameter <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\tau \in [1/2,\tau ^{*}]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>τ</mi> <mo>∈</mo> <mo stretchy="false">[</mo> <mn>1</mn> <mo stretchy="false">/</mo> <mn>2</mn> <mo>,</mo> <mmultiscripts> <mi>τ</mi> <mrow /> <mrow> <mrow /> <mo>∗</mo> </mrow> </mmultiscripts> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation> introduced by Achdou and Tchou [<CitationRef CitationID="CR6">6</CitationRef>], for <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\tau ^{*}\simeq 0.593465\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mmultiscripts> <mi>τ</mi> <mrow /> <mrow> <mrow /> <mo>∗</mo> </mrow> </mmultiscripts> <mo>≃</mo> <mn>0.593465</mn> </mrow> </math></EquationSource> </InlineEquation>, which acts as an idealization of the bronchial trees in the lungs systems. For each <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\tau \in [1/2,\tau ^{*}]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>τ</mi> <mo>∈</mo> <mo stretchy="false">[</mo> <mn>1</mn> <mo stretchy="false">/</mo> <mn>2</mn> <mo>,</mo> <mmultiscripts> <mi>τ</mi> <mrow /> <mrow> <mrow /> <mo>∗</mo> </mrow> </mmultiscripts> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation>, the corresponding region <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Ω</mi> </math></EquationSource> </InlineEquation> is a non-Lipschitz domain, which attains its roughest structure at the critical value <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\tau =\tau ^{*}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>τ</mi> <mo>=</mo> <mmultiscripts> <mi>τ</mi> <mrow /> <mrow> <mrow /> <mo>∗</mo> </mrow> </mmultiscripts> </mrow> </math></EquationSource> </InlineEquation> in such way that in this endpoint parameter the region <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Ω</mi> </math></EquationSource> </InlineEquation> fails to be an extension domain, and its ramified boundary <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\Gamma ^{\infty }\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi mathvariant="normal">Γ</mi> <mi>∞</mi> </msup> </math></EquationSource> </InlineEquation> is not post-critically finite. Then, we investigate a model equation related to the diffusion of oxygen through the bronchial trees by considering the realization of a generalized diffusion equation <Equation ID="Equ146"> <EquationSource Format="TEX">\(\begin{aligned} \frac{\partial u}{\partial t}-{\mathscr {A}} u+{\mathscr {B}}u\,=\,f(t,x)\,\,\,\,\,\,\,\,\text {in}\,\,\,(0,\infty )\times \Omega \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mfrac> <mrow> <mi>∂</mi> <mi>u</mi> </mrow> <mrow> <mi>∂</mi> <mi>t</mi> </mrow> </mfrac> <mo>-</mo> <mi mathvariant="script">A</mi> <mi>u</mi> <mo>+</mo> <mi mathvariant="script">B</mi> <mi>u</mi> <mspace width="0.166667em" /> <mo>=</mo> <mspace width="0.166667em" /> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo>,</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mtext>in</mtext> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mi>∞</mi> <mo stretchy="false">)</mo> </mrow> <mo>×</mo> <mi mathvariant="normal">Ω</mi> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>with inhomogeneous mixed-type boundary conditions <Equation ID="Equ147"> <EquationSource Format="TEX">\(\begin{aligned} \displaystyle \frac{\partial u}{\partial \nu _{_{{\mathscr {A}}}}}+\beta u\,=\,g(x,t)\,\,\,\,\,\,\,\text {on}\,\,(0,\infty )\times \Gamma ^{\infty },\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,u=0\,\,\,\,\,\,\,\text {in}\,\,\,(0,\infty )\times (\partial \Omega \setminus \Gamma ^{\infty }), \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mstyle displaystyle="true" scriptlevel="0"> <mrow> <mfrac> <mrow> <mi>∂</mi> <mi>u</mi> </mrow> <mrow> <mi>∂</mi> <mmultiscripts> <mi>ν</mi> <mmultiscripts> <mrow /> <mi mathvariant="script">A</mi> <mrow /> </mmultiscripts> <mrow /> </mmultiscripts> </mrow> </mfrac> <mo>+</mo> <mi>β</mi> <mi>u</mi> <mspace width="0.166667em" /> <mo>=</mo> <mspace width="0.166667em" /> <mi>g</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mtext>on</mtext> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mi>∞</mi> <mo stretchy="false">)</mo> </mrow> <mo>×</mo> <msup> <mi mathvariant="normal">Γ</mi> <mi>∞</mi> </msup> <mo>,</mo> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mi>u</mi> <mo>=</mo> <mn>0</mn> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mtext>in</mtext> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mi>∞</mi> <mo stretchy="false">)</mo> </mrow> <mo>×</mo> <mrow> <mo stretchy="false">(</mo> <mi>∂</mi> <mi mathvariant="normal">Ω</mi> <mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo> <msup> <mi mathvariant="normal">Γ</mi> <mi>∞</mi> </msup> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> </mrow> </mstyle> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>and <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(u(x,0)=u_0\in C({\overline{\Omega }})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>u</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mn>0</mn> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msub> <mi>u</mi> <mn>0</mn> </msub> <mo>∈</mo> <mi>C</mi> <mrow> <mo stretchy="false">(</mo> <mover> <mi mathvariant="normal">Ω</mi> <mo>¯</mo> </mover> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\({\mathscr {A}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">A</mi> </math></EquationSource> </InlineEquation> is an uniformly elliptic second-order (non-symmetric) differential operator with bounded measurable coefficients, <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\({\mathscr {B}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">B</mi> </math></EquationSource> </InlineEquation> is as a lower-order (non-symmetric) differential operator with unbounded measurable coefficients,&#xa0; <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\displaystyle \frac{\partial u}{\partial \nu _{_{{\mathscr {A}}}}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mstyle displaystyle="true" scriptlevel="0"> <mfrac> <mrow> <mi>∂</mi> <mi>u</mi> </mrow> <mrow> <mi>∂</mi> <mmultiscripts> <mi>ν</mi> <mmultiscripts> <mrow /> <mi mathvariant="script">A</mi> <mrow /> </mmultiscripts> <mrow /> </mmultiscripts> </mrow> </mfrac> </mstyle> </math></EquationSource> </InlineEquation> stands as a generalized notion of a normal derivative over rough surfaces (in the sense of Definition <InternalRef RefID="FPar19">4</InternalRef>), and <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(\beta \in L^s_{\mu }(\Gamma ^{\infty })^+\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>β</mi> <mo>∈</mo> <msubsup> <mi>L</mi> <mi>μ</mi> <mi>s</mi> </msubsup> <msup> <mrow> <mo stretchy="false">(</mo> <msup> <mi mathvariant="normal">Γ</mi> <mi>∞</mi> </msup> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> </msup> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(\displaystyle {\text {ess}\inf _{x\in \Gamma ^{\infty }}}|\beta (x)|\ge \beta _0\)</EquationSource> <EquationSource Format="MATHML"><math> <mstyle displaystyle="true" scriptlevel="0"> <mrow> <mrow> <mtext>ess</mtext> <munder> <mo movablelimits="true">inf</mo> <mrow> <mi>x</mi> <mo>∈</mo> <msup> <mi mathvariant="normal">Γ</mi> <mi>∞</mi> </msup> </mrow> </munder> </mrow> <mrow> <mo stretchy="false">|</mo> <mi>β</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">|</mo> </mrow> <mo>≥</mo> <msub> <mi>β</mi> <mn>0</mn> </msub> </mrow> </mstyle> </math></EquationSource> </InlineEquation> for a sufficiently large constant <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(\beta _0&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>β</mi> <mn>0</mn> </msub> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(s&gt;1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>s</mi> <mo>&gt;</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>. Under minimal assumptions, we first show that the stationary version of the above diffusion equation is uniquely solvable, and that the corresponding weak solution in globally Hölder continuous on <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\({\overline{\Omega }}\)</EquationSource> <EquationSource Format="MATHML"><math> <mover> <mi mathvariant="normal">Ω</mi> <mo>¯</mo> </mover> </math></EquationSource> </InlineEquation>. Since we are including the critical case <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\(\tau =\tau ^{*}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>τ</mi> <mo>=</mo> <mmultiscripts> <mi>τ</mi> <mrow /> <mrow> <mrow /> <mo>∗</mo> </mrow> </mmultiscripts> </mrow> </math></EquationSource> </InlineEquation>, this is the first time in which global uniform continuity of weak solutions of a Robin-type boundary value problem is attained over a non-extension domain. Furthermore, after two transitioning procedures, we prove the unique solvability of the the inhomogeneous time-dependent diffusion equation, and we show that the corresponding weak solution is globally uniformly continuous over <InlineEquation ID="IEq20"> <EquationSource Format="TEX">\([0,T]\times {\overline{\Omega }}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">[</mo> <mn>0</mn> <mo>,</mo> <mi>T</mi> <mo stretchy="false">]</mo> </mrow> <mo>×</mo> <mover> <mi mathvariant="normal">Ω</mi> <mo>¯</mo> </mover> </mrow> </math></EquationSource> </InlineEquation> for each fixed parameter <InlineEquation ID="IEq21"> <EquationSource Format="TEX">\(T&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>T</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

Diffusion over ramified domains: solvability and fine regularity

  • Kevin Silva-Pérez,
  • Alejandro Vélez-Santiago

摘要

We consider a domain \(\Omega \subseteq \mathbb {R\!}^{\,2}\) Ω R 2 with branched fractal boundary \(\Gamma ^{\infty }\) Γ and parameter \(\tau \in [1/2,\tau ^{*}]\) τ [ 1 / 2 , τ ] introduced by Achdou and Tchou [6], for \(\tau ^{*}\simeq 0.593465\) τ 0.593465 , which acts as an idealization of the bronchial trees in the lungs systems. For each \(\tau \in [1/2,\tau ^{*}]\) τ [ 1 / 2 , τ ] , the corresponding region \(\Omega \) Ω is a non-Lipschitz domain, which attains its roughest structure at the critical value \(\tau =\tau ^{*}\) τ = τ in such way that in this endpoint parameter the region \(\Omega \) Ω fails to be an extension domain, and its ramified boundary \(\Gamma ^{\infty }\) Γ is not post-critically finite. Then, we investigate a model equation related to the diffusion of oxygen through the bronchial trees by considering the realization of a generalized diffusion equation \(\begin{aligned} \frac{\partial u}{\partial t}-{\mathscr {A}} u+{\mathscr {B}}u\,=\,f(t,x)\,\,\,\,\,\,\,\,\text {in}\,\,\,(0,\infty )\times \Omega \end{aligned}\) u t - A u + B u = f ( t , x ) in ( 0 , ) × Ω with inhomogeneous mixed-type boundary conditions \(\begin{aligned} \displaystyle \frac{\partial u}{\partial \nu _{_{{\mathscr {A}}}}}+\beta u\,=\,g(x,t)\,\,\,\,\,\,\,\text {on}\,\,(0,\infty )\times \Gamma ^{\infty },\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,u=0\,\,\,\,\,\,\,\text {in}\,\,\,(0,\infty )\times (\partial \Omega \setminus \Gamma ^{\infty }), \end{aligned}\) u ν A + β u = g ( x , t ) on ( 0 , ) × Γ , u = 0 in ( 0 , ) × ( Ω \ Γ ) , and \(u(x,0)=u_0\in C({\overline{\Omega }})\) u ( x , 0 ) = u 0 C ( Ω ¯ ) , where \({\mathscr {A}}\) A is an uniformly elliptic second-order (non-symmetric) differential operator with bounded measurable coefficients, \({\mathscr {B}}\) B is as a lower-order (non-symmetric) differential operator with unbounded measurable coefficients,  \(\displaystyle \frac{\partial u}{\partial \nu _{_{{\mathscr {A}}}}}\) u ν A stands as a generalized notion of a normal derivative over rough surfaces (in the sense of Definition 4), and \(\beta \in L^s_{\mu }(\Gamma ^{\infty })^+\) β L μ s ( Γ ) + with \(\displaystyle {\text {ess}\inf _{x\in \Gamma ^{\infty }}}|\beta (x)|\ge \beta _0\) ess inf x Γ | β ( x ) | β 0 for a sufficiently large constant \(\beta _0>0\) β 0 > 0 , and \(s>1\) s > 1 . Under minimal assumptions, we first show that the stationary version of the above diffusion equation is uniquely solvable, and that the corresponding weak solution in globally Hölder continuous on \({\overline{\Omega }}\) Ω ¯ . Since we are including the critical case \(\tau =\tau ^{*}\) τ = τ , this is the first time in which global uniform continuity of weak solutions of a Robin-type boundary value problem is attained over a non-extension domain. Furthermore, after two transitioning procedures, we prove the unique solvability of the the inhomogeneous time-dependent diffusion equation, and we show that the corresponding weak solution is globally uniformly continuous over \([0,T]\times {\overline{\Omega }}\) [ 0 , T ] × Ω ¯ for each fixed parameter \(T>0\) T > 0 .