<p>We present a theoretical analysis of a fictitious domain formulation of the Newtonian cooling problem, motivated by applications in topology optimization. The method reformulates the classical heat conduction model with Robin-type boundary conditions on a fixed computational domain using a so-called weak material approximation. In this setting, the conductivity equals one in the solid subdomain <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\Omega _s\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="normal">Ω</mi> <mi>s</mi> </msub> </math></EquationSource> </InlineEquation> and a small positive parameter <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\epsilon \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ϵ</mi> </math></EquationSource> </InlineEquation> in the surrounding fictitious region. We derive a priori error estimates that quantify the consistency error between the extended and original formulations and prove that the solution restricted to <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\Omega _s\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="normal">Ω</mi> <mi>s</mi> </msub> </math></EquationSource> </InlineEquation> converges to the true solution with an <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(O(\epsilon )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>O</mi> <mo stretchy="false">(</mo> <mi>ϵ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> error in the <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(H^1(\Omega _s)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>H</mi> <mn>1</mn> </msup> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="normal">Ω</mi> <mi>s</mi> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> norm. We further provide <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\epsilon \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ϵ</mi> </math></EquationSource> </InlineEquation>-dependent finite element (FE) error estimates and show that for a mesh with characteristic size <i>h</i>, the condition number of the FE systems scales as <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(O(\epsilon ^{-1}h^{-2})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>O</mi> <mo stretchy="false">(</mo> <msup> <mi>ϵ</mi> <mrow> <mo>-</mo> <mn>1</mn> </mrow> </msup> <msup> <mi>h</mi> <mrow> <mo>-</mo> <mn>2</mn> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. To address the <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\epsilon \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ϵ</mi> </math></EquationSource> </InlineEquation>-induced ill-conditioning, we introduce a simple yet effective diagonal preconditioning strategy that removes the <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\epsilon \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ϵ</mi> </math></EquationSource> </InlineEquation>-dependency from the condition number. Numerical experiments confirm the theoretical convergence rate and demonstrate the effectiveness of the method. Thus, this work provides a theoretical foundation for utilizing weak material approximations for boundary-effect-dominated problems, thereby extending existing analyses to cases with Robin-type boundary conditions.</p>

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

A priori error estimates of a fictitious domain formulation of the Newtonian cooling problem

  • Quoc Khanh Nguyen,
  • Eddie Wadbro

摘要

We present a theoretical analysis of a fictitious domain formulation of the Newtonian cooling problem, motivated by applications in topology optimization. The method reformulates the classical heat conduction model with Robin-type boundary conditions on a fixed computational domain using a so-called weak material approximation. In this setting, the conductivity equals one in the solid subdomain \(\Omega _s\) Ω s and a small positive parameter \(\epsilon \) ϵ in the surrounding fictitious region. We derive a priori error estimates that quantify the consistency error between the extended and original formulations and prove that the solution restricted to \(\Omega _s\) Ω s converges to the true solution with an \(O(\epsilon )\) O ( ϵ ) error in the \(H^1(\Omega _s)\) H 1 ( Ω s ) norm. We further provide \(\epsilon \) ϵ -dependent finite element (FE) error estimates and show that for a mesh with characteristic size h, the condition number of the FE systems scales as \(O(\epsilon ^{-1}h^{-2})\) O ( ϵ - 1 h - 2 ) . To address the \(\epsilon \) ϵ -induced ill-conditioning, we introduce a simple yet effective diagonal preconditioning strategy that removes the \(\epsilon \) ϵ -dependency from the condition number. Numerical experiments confirm the theoretical convergence rate and demonstrate the effectiveness of the method. Thus, this work provides a theoretical foundation for utilizing weak material approximations for boundary-effect-dominated problems, thereby extending existing analyses to cases with Robin-type boundary conditions.