[논문 리뷰] An abstract approach to domain perturbation for parabolic equations and parabolic variational inequalities

Parinya Sa Ngiamsunthorn|arXiv (Cornell University)|2011. 09. 15.

Advanced Mathematical Modeling in Engineering참고 문헌 15인용 수 3

한 줄 요약

이 논문은 모스코 수렴을 이용하여 비자율 포아르비크 방정식 및 변분부등식에서 도메인 변화에 대한 분석을 위한 추상적 프레임워크를 수립한다. 모스코 수렴에 의한 함수 공간의 수렴이 포아르비크 문제와 그에 대응하는 타원 문제에서 동치임을 증명하며, 매끄러운 도메인이나 변수변환을 요구하지 않고 도메인 변화에 따른 해의 수렴을 가능하게 한다. 딜리클레 문제와 뉴먼 문제, 포아르비크 변분부등식에 적용 가능하다.

ABSTRACT

We study the behaviour of solutions of linear non-autonomous parabolic equations subject to Dirichlet or Neumann boundary conditions under perturbation of the domain. We prove that Mosco convergence of function spaces for non-autonomous parabolic problems is equivalent to Mosco convergence of function spaces for the corresponding elliptic problems. As a consequence, we obtain convergence of solutions of non-autonomous parabolic equations under domain perturbation by variational methods using the same characterisation of domains as in elliptic case. A similar technique can be applied to obtain convergence of weak solutions of parabolic variational inequalities when the underlying convex set is perturbed.

연구 동기 및 목표

• 비자율 포아르비크 방정식의 해 수렴을 도메인 변화 하에서 분석하기 위한 일반적인 추상적 프레임워크를 수립하는 것.
• 기존의 변수변환 기법이 실패하는 특수한 도메인 변화(예: 덤벨 도메인, 균열이 있는 도메인 등)에 대비하여 도전 과제를 해결하는 것.
• 모스코 수렴 이론을 타원 문제에서 포아르비크 문제로 확장하여, 함수 공간에 대한 포아르비크와 타원 문제의 모스코 수렴이 동치임을 증명하는 것.
• 기저가 되는 볼록집합이 변화할 때 포아르비크 변분부등식의 약한 해가 수렴함을 증명하는 것.
• 정규성 조건이 없는 도메인에서도 적용 가능한 통합된 변분 방법을 딜리클레 및 뉴먼 경계조건에 모두 적용하는 것.

제안 방법

• 보흐너-소볼레프 공간 $ W((0,T),V,V') $ 와 보흐너-레베그 공간 $ L^2((0,T),V) $ 에서 비자율 포아르비크 방정식을 추상적 진화 형태로 수립하는 것.
• 바나흐 공간 내 닫힌 볼록 부분집합의 모스코 수렴을 적용하여 도메인 변화에 따른 해 수렴을 특성화하는 것.
• 정리 3.4를 통해 포아르비크 문제의 함수 공간에 대한 모스코 수렴과 그에 대응하는 타원 문제의 모스코 수렴이 동치임을 증명하는 것.
• 변분 방법과 강한 타당성 추정을 이용하여 $ L^2((0,T),V) $ 에서 해의 약수렴 및 강수렴을 도출하는 것.
• 모스코 조건 (M1') 를 만족시키기 위해 시간 정규화(예: $ \rho u' + u = u $)를 이용해 근사해 $ u_{\rho,n} $ 를 구성하고, 극한으로 넘어가는 것.
• 콤팩트성 및 약한 하부연속성 추론을 활용하여, 자료 수렴과 도메인의 모스코 수렴을 가정할 때 해의 수렴을 보이는 것.

실험 결과

연구 질문

• RQ1 비자율 포아르비크 방정식의 해가 도메인 변화를 겪을 때 어떤 조건에서 수렴하는가?
• RQ2 함수 공간의 모스코 수렴이 포아르비크 문제에서 해 수렴을 어떻게 특성화할 수 있는가?
• RQ3 포아르비크 문제와 타원 문제의 모스코 수렴 간 동치성은 딜리클레 및 뉴먼 경계조건 모두에 대해 성립하는가?
• RQ4 동일한 추상적 프레임워크를 변화하는 볼록집합을 가진 포아르비크 변분부등식으로 확장할 수 있는가?
• RQ5 특히 매끄러운 확장이 존재하지 않을 경우, 뉴먼 문제에서 해 수렴을 위한 도메인에 대한 최소한의 정규성 조건은 무엇인가?

주요 결과

• 정리 3.4에 의해 비자율 포아르비크 문제의 함수 공간에 대한 모스코 수렴이 그에 대응하는 타원 문제의 모스코 수렴과 동치임이 입증된다.
• 모스코 수렴과 자료 수렴 조건 하에서, 딜리클레 또는 뉴먼 경계조건을 가진 비자율 포아르비크 방정식의 해는 $ L^2((0,T),V) $ 에서 약수렴한다.
• 모스코 수렴 조건 하에서 $ f_n \to f $ in $ L^2((0,T),V') $, $ u_{0,n} \rightharpoonup u_0 $ in $ V $, 그리고 $ u_{0,n} \to u_0 $ in $ H $ 라면, $ L^2((0,T),V) $ 에서 해의 강수렴이 달성된다.
• 이 방법은 정규성 조건이 없는 도메인에서도 딜리클레 및 뉴먼 문제에 모두 적용 가능하며, $ H^1(\theta_n) $ 이 $ H^1(\theta) $ 로 매끄럽게 확장되지 않을 경우에도 성립한다.
• 이 프레임워크는 포아르비크 변분부등식으로까지 확장 가능하다: 기저 볼록집합 $ K_n $ 이 모스코 수렴에 의해 $ K $ 로 수렴할 경우, 약한 해도 수렴한다.
• 모스코 수렴과 정규화 기법을 사용함으로써, 뉴먼 케이스에서 실패하는 [8, Lemma 2.1] 의 콤팩트성 결과에 의존하지 않는 증명 기법을 제공한다.