[논문 리뷰] Selected problems on elliptic equations involving measures

Augusto C. Ponce|arXiv (Cornell University)|2012. 04. 03.

Nonlinear Partial Differential Equations참고 문헌 22인용 수 22

한 줄 요약

이 논문은 $ L^1 $ 함수가 아니라 유한한 Borel 측도인 우변을 가진 타원형 PDE의 존재성, 정칙성, 해의 구조를 다룬다. 비선형 Perron 방법을 통해 감소 측도를 도입하여, Dirichlet 문제에 대해 허용 가능한 가장 큰 측도임을 증명하고, 약한 최대원리, Sobolev 공간에서의 컴팩턴스, 분산 측도의 근사화와 같은 기초 도구를 수립한다.

ABSTRACT

This monograph is the core of my book "Elliptic PDEs, Measures and Capacities: From the Poisson equation to Nonlinear Thomas-Fermi Problems" which has received the 2014 EMS Monograph Award and is available in the series EMS Tracts in Mathematics published by the European Mathematical Society. Many chapters have been thoroughly rewritten during the book preparation. The manuscript here has kept the original presentation and concerns linear and nonlinear Dirichlet problems involving $L^1$ data and more generally measure data, based on Stampacchia's definition of weak solution. I explain some of the main tools: linear regularity theory, maximum principles, Kato's inequality, method of sub and supersolutions, and the Perron method. The semilinear Dirichlet problem need not have a solution for every finite measure. I give characterizations of measures for which the problem has a solution with polynomial and exponential nonlinearities in connection with capacities and Hausdorff measures. Finally, the reader will find a different approach to the concept of reduced measure introduced in collaboration with H. Brezis and M. Marcus, which has not been retained in my EMS book due to personal time constraints.

연구 동기 및 목표

• 측도 자료를 가진 타원형 방정식을 연구하기 위한 통합 프레임워크를 개발하는 것, 특히 소스 항이 $ L^1 $ 정칙성이 없는 경우를 중심으로 한다.
• 흡수 항이 있는 비선형 Dirichlet 문제에서 감소 측도의 역할을 명확히 하여, 해가 존재하기 위한 허용 가능한 가장 큰 측도임을 보여주는 것.
• 기존 도구—최대원리, 하부/상부해법, 그리고 Perron의 방법—을 $ L^1 $-해와 측도 자료의 약한 설정으로 적응시키는 것.
• 측도 자료를 가진 해에 대해 약한 $ L^p $ 추정과 Sobolev 공간에서의 컴팩턴스를 확립하여, $ L^1 $과 $ W^{1, N/(N-1)} $ 정칙성 사이의 격차를 메우는 것.
• 다항형 및 지수형 비선형성에 대해 체계적으로 다루며, 임계 및 초임계 성장의 경우를 포함한다.

제안 방법

• 유한한 Borel 측도인 $ \mu $를 가진 Dirichlet 문제의 약한 공식화를 사용한다: $ -\Delta u = \mu $ in $ \Omega $, $ u = 0 $ on $ \partial\Omega $.
• 하부해와 상부해를 통해 비선형 Perron 방법을 적용하여 존재성을 확보하고, 유일성에 의존하지 않는 해를 구성한다.
• 감소 측도 $ \mu^* $의 개념을 도입하여, 모든 측도 $ \nu \leq \mu $ 중에서 Dirichlet 문제의 해가 존재하는 것들 중에서 점별 최대값으로 정의한다.
• 용량 이론과 준연속성의 개념을 활용하여 $ L^1(\Omega) $ 내의 해의 미세한 성질을 분석한다.
• Chacon과 Rosenthal의 영향을 받은 '咬림' 보조정리 유사한 접근을 사용하여 Sobolev 공간에서의 약한 수렴과 컴팩턴스를 다룬다.
• Hausdorff 측도를 $ \mathcal{H}^s_\delta $ 를 통해 균일하게 근사함으로써, 분산 측도를 정규 측도로 근사할 수 있음을 보장한다.

실험 결과

연구 질문

• RQ1 Dirichlet 문제 $ -\Delta u = \mu^* $, $ u = 0 $ on $ \partial\Omega $ 가 $ L^1(\Omega) $ 내에서 해를 가지는 데 있어, $ \mu^* \leq \mu $ 인 가장 큰 측도 $ \mu^* $ 는 무엇인가?
• RQ2 측도 $ \mu $ 가 $ L^1 $ 함수가 아니라면, 최대원리와 하부/상부해법이 어떻게 적응될 수 있는가?
• RQ3 측도 $ \mu $ 가 $ L^1 $ 함수의 강한 수렴(밀도 의미에서)으로 근사될 수 있는 데 필요한 그리고 충분한 조건은 무엇인가?
• RQ4 $ -\Delta u + g(u) = \mu $ 의 해의 정칙성은 $ g $ 의 성장에 따라 어떻게 달라지며, 특히 임계 및 초임계 경우에선 어떻게 되는가?
• RQ5 분산 측도(예: 영용량 집합에 지지된 측도)는 어떤 의미에서 $ L^1 $ 내의 함수 수열로 근사될 수 있는가? 이 맥락에서 감소 측도의 역할은 무엇인가?

주요 결과

• 감소 측도 $ \mu^* $ 는 존재하며, $ \nu \leq \mu $ 이고 $ -\Delta u = \nu $ 가 $ L^1(\Omega) $ 내에서 해를 가지는 데 있어 가장 큰 측도이다.
• 측도 $ \mu \in \mathcal{M}(\Omega) $ 를 가진 $ -\Delta u = \mu $ 의 해는 모든 $ 1 \leq q < \frac{N}{N-1} $ 에 대해 $ W_0^{1,q}(\Omega) $ 에 속하지만, 반드시 $ W^{1, N/(N-1)}(\Omega) $ 에 속하지는 않는다.
• $ \mu \in L^1(\Omega) $ 이면, 해 $ u $ 는 $ p < \frac{N}{N-1} $ 에 대해 약한 $ L^p $ 추정을 만족하며, $ q < \frac{N}{N-1} $ 에 대해 $ W_0^{1,q}(\Omega) $ 내에서 컴팩턴스가 성립한다.
• 감소 측도는 기본 성질을 만족한다: $ u $ 가 $ -\Delta u = \mu $ 의 하부해이면, $ u $ 는 $ -\Delta u = \mu^* $ 의 하부해이기도 하며, $ \mu^* $ 는 그러한 측도 중 가장 작은 것이다.
• 분산 측도의 경우, 해가 존재하기 위한 필요 및 충분 조건은 $ W^{1, N/(N-1)} $-용량이 0인 집합에서 측도가 0이어야 한다는 것이다.
• 유한한 $ \mathcal{H}^s(A) < \infty $ 인 Hausdorff 측도 $ \mathcal{H}^s $ 는 유한한 Borel 측도를 유도하며, $ \delta \to 0 $ 일 때 $ \mathcal{H}^s \lfloor_A $ 는 $ \mathcal{H}^s_\delta \lfloor_A $ 를 통해 균일하게 근사될 수 있다.