<p>A transport equation with a non-smooth velocity field is considered under inhomogeneous Dirichlet boundary conditions. The spatial gradient of the velocity field is assumed in <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(L^{p'}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <msup> <mi>p</mi> <mo>′</mo> </msup> </msup> </math></EquationSource> </InlineEquation> in space and the divergence of the velocity field is assumed to be bounded. By introducing a suitable notion of solutions, it is shown that there exists a unique renormalized weak solution for <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(L^p\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mi>p</mi> </msup> </math></EquationSource> </InlineEquation> initial and boundary data for <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(1/p+1/p'=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo stretchy="false">/</mo> <mi>p</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">/</mo> <msup> <mi>p</mi> <mo>′</mo> </msup> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>. Our theory is considered as a natural extension of the theory due to DiPerna and Lions (1989), where there is no boundary. Although a smooth domain is considered, it is allowed to be unbounded. A key step is a mollification of a solution. In our theory, mollification in the direction normal to the boundary is tailored to approximate the boundary data.</p>

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

On existence and uniqueness for transport equations with non-smooth velocity fields under inhomogeneous Dirichlet data

  • Tokuhiro Eto,
  • Yoshikazu Giga

摘要

A transport equation with a non-smooth velocity field is considered under inhomogeneous Dirichlet boundary conditions. The spatial gradient of the velocity field is assumed in \(L^{p'}\) L p in space and the divergence of the velocity field is assumed to be bounded. By introducing a suitable notion of solutions, it is shown that there exists a unique renormalized weak solution for \(L^p\) L p initial and boundary data for \(1/p+1/p'=1\) 1 / p + 1 / p = 1 . Our theory is considered as a natural extension of the theory due to DiPerna and Lions (1989), where there is no boundary. Although a smooth domain is considered, it is allowed to be unbounded. A key step is a mollification of a solution. In our theory, mollification in the direction normal to the boundary is tailored to approximate the boundary data.