[논문 리뷰] Existence and stability of solutions of general semilinear elliptic equations with measure data

Laurent Véron|arXiv (Cornell University)|2012. 07. 18.

Advanced Mathematical Modeling in Engineering참고 문헌 7인용 수 9

한 줄 요약

이 논문은 $L$가 균일 타원임을 만족하고 $g$가 $G_{h,\Psi}$ 클래스에서 새로운 적분 조건을 만족할 때, 일반적인 비선형 타원형 방정식 $-Lu + g(x,u) = \omega$의 해에 대한 통합된 존재성 및 안정성 이론을 수립한다. 주요 기여는 $\Psi$-함수 프레임워크를 통해 비하위비례 조건을 일반화하여, 측도의 약한 수렴 하에서 존재성과 약한 안정성을 보장하는 것이다.

ABSTRACT

We study existence and stability for solutions of $Lu+g(x; u) = \\omega$ in the closure of open set $\\Omega$ where L is a second order elliptic operator, $g$ a Caratheodory function and $\\omega$ a measure in $\\bar\\Omega$. We present a uni ed theory of the Dirichlet problem and the Poisson equation. We prove the stability of the problem with respect to weak convergence of the data.

연구 동기 및 목표

• 측도 자료를 가진 딜리클레 문제와 파oisson 방정식의 처리를 하나의 프레임워크로 통합하기.
• 비선형성 $g$에 대한 기존의 하위비례 조건을 $\Psi$-함수를 사용한 더 넓은 적분 기반 기준으로 일반화하기.
• 일반적인 타원형 연산자에 대해 측도 자료의 약한 수렴 하에서 해의 약한 안정성을 확립하기.
• 측도 자료의 $\Delta_2$-조건과 마르친키에비치 공간 추정을 통해 하위비례 조건을 초과비례 영역으로 자연스럽게 확장하기.

제안 방법

• Young 함수 $\Psi$와 가중치 $h$를 포함한 일반화된 적분 조건을 만족하는 Carathéodory 함수의 클래스 $G_{h,\Psi}$를 도입하기.
• Green의 연산자 $\mathbb{G}$를 사용하여 최대 함수 $\overline{\mathbb{G}}[|\omega|]$를 정의하고, 측도 자료를 위한 노름 $C^{\Psi}_{\rho}(\overline{\mathbb{G}}[|\omega|])$를 관련시키기.
• 해의 성장과 비선형성의 제어를 위해 Brezis 유형 추정을 적용하여 $L^1_\rho(\Omega)$-공간에서의 성질을 확보하기.
• $\Psi$의 $\Delta_2$-조건과 $\Psi$-하위레벨 집합을 이용해 $g \circ u_n$의 균일 적분 가능성을 확보하기.
• 측도의 약한 수렴 $\omega_n \rightharpoonup \omega$를 $C_1(\overline{\Omega})$-쌍대공간에서 다루되, $C^{\Psi}_{\rho}(\overline{\mathbb{G}}[|\omega_n|])$의 유계성 확보하기.
• 균일 적분 가능성과 단조성 추론을 조합하여 해의 수렴성 $u_n \to u$를 거의 어디서나 및 $L^1(\Omega)$에서 증명하기.

실험 결과

연구 질문

• RQ1 측도 자료(내부 $\Omega$ 및 경계 $\partial\Omega$에서)에 대해 $-Lu + g(x,u) = \omega$의 해의 존재성과 안정성을 어떻게 다양한 유형의 측도 자료에 통합적으로 다룰 수 있는가?
• RQ2 기존의 하위비례 조건을 초월하여 존재성과 안정성을 보장하는 $g$에 대한 일반화된 적분 조건은 무엇인가?
• RQ3 해의 안정성 결과를 일반적인 균일 타원형 연산자 $L$과 $\overline{\Omega}$ 내의 측도 자료로 확장할 수 있는가?
• RQ4 $\Psi$에 대한 $\Delta_2$-조건이 $g \circ u_n$의 균일 적분 가능성을 보장하는 데 어떤 역할을 하는가?
• RQ5 새로운 프레임워크 $G_{h,\Psi}$는 어떻게 고전적 하위비례 조건을 초과비례 영역으로 확장하는가?

주요 결과

• $g \in G_{h,\Psi}$이면서 $\Delta_2$-조건을 만족할 경우, 모든 $\omega \in B^{\Psi}_{h}(\overline{\Omega})$에 대해 $-Lu + g(x,u) = \omega$의 해가 존재한다.
• 약한 안정성이 성립한다: $\omega_n \rightharpoonup \omega$이면서 $C^{\Psi}_{\rho}(\overline{\mathbb{G}}[|\omega_n|])$가 유계일 경우, $u_n \to u$는 $L^1(\Omega)$에서 및 $\Omega$ 거의 어디서나 수렴한다.
• 제약 조건이 만족될 경우, $-Lu_n + g \circ u_n = \omega_n$의 해 $u_n$은 $g \circ u_n \in L^1_\rho(\Omega)$로 유계적으로 유지된다.
• $C^{\Psi}_{\rho}(\overline{\mathbb{G}}[|\omega_n|])$의 유계성과 $\Psi$에 대한 $\Delta_2$-조건이 $L^1_\rho(\Omega)$에서 $g \circ u_n$의 균일 적분 가능성을 보장한다.
• 이 프레임워크는 이전 결과를 일반화한다: $\Psi(t) = t^{\alpha}$일 경우 [13]에서의 $\alpha$-하위비례 조건을 복원하며, $\Psi(t) = t^{\beta}$일 경우 변수 계수 비선형성으로 확장된다.
• 경계 $\partial\Omega$에서 특이 부분을 가진 측도 $\omega_n$에 대해, $\omega_{n,s} \in B^{\Psi}_{h}(\overline{\Omega})$ 이면서 $C^{\Psi}_{\rho}(\overline{\mathbb{G}}[|\omega_{n,s}|])$가 유계일 경우 안정성 결과가 성립한다.