[논문 리뷰] Symmetry via antisymmetric maximum principles in nonlocal problems of variable order

Sven Jarohs, Tobias Weth|arXiv (Cornell University)|2014. 06. 24.

Nonlinear Partial Differential Equations참고 문헌 14인용 수 7

한 줄 요약

이 논문은 비국소적 방정식에 대해 가변 순서와 이방성 연산자를 갖는 비음수 해의 대칭성 및 단조성 성질을 새로운 반대칭 최대원리에 의해 확립한다. 커널과 비선형성에 대한 약한 구조적 가정 하에, 스테이너 대칭 영역 내의 해는 자명하게 0이 아니면 항상 $x_1$-축에 대해 대칭이며 $|x_1|$에 대해 엄격히 감소한다.

ABSTRACT

We consider the nonlinear problem \[(P) \;\; I u=f(x,u) ext{ in $Ω$,} \;\; u=0 ext{ on $\mathbb{R}^{N}\setminusΩ$ }\] in an open bounded set $Ω\subset\mathbb{R}^{N}$, where $I$ is a nonlocal operator which may be anisotropic and may have varying order. We assume mild symmetry and monotonicity assumptions on $I$, $Ω$ and the nonlinearity $f$ with respect to a fixed direction, say $x_1$, and we show that any nonnegative weak solution $u$ of $(P)$ is symmetric in $x_1$. Moreover, we have the following alternative: Either $u\equiv 0$ in $Ω$, or $u$ is strictly decreasing in $|x_1|$. The proof relies on new maximum principles for antisymmetric supersolutions of an associated class of linear problems.

연구 동기 및 목표

• 비분수 라플라스 연산자를 초월하여 가변 순서와 이방성을 갖는 연산자에 대해 대칭 결과를 확장하기 위해.
• 유계이고 스테이너 대칭인 영역 내에서 비음수 해의 대칭성과 엄격한 단조성을 확립하기 위해.
• 비국소적 연산자 전반에 적용 가능한 반대칭 함수에 대한 최대원리 기반 일반적 프레임워크를 개발하기 위해.
• 대칭 결과에 필요한 가정을 약화시켜 그린 함수나 딜리클레-노이만 표현에 의존하지 않도록 하기 위해.
• 커널과 비선형성에 대한 최소한의 구조 조건 하에서 기존의 비국소 문제에 대한 대칭 결과를 통합하고 일반화하기 위해.

제안 방법

• 대칭적이고 음이 아닌 커널 $J$가 적분 조건 $(J1)$과 $x_1$-방향에서의 엄격한 단조성 조건 $(J2)$를 만족함을 전제로 비국소 연산자 $I$를 정의한다.
• 모든 시험 함수 $\varphi \in {\mathcal{D}}(\Omega)$에 대해 ${\mathcal{J}}(u,\varphi) = \int_\Omega f(x,u)\varphi\,dx$ 를 만족하는 약한 해를 정의한다.
• 선형화된 설정에서 반대칭 상위해에 대한 새로운 최대원리를 적용하여 초평면 $H_\lambda$ 에 대한 반사 $v_\lambda = u - u^\lambda$ 를 분석한다.
• 반대칭 함수에 대한 강한 최소원리를 바탕으로 한 모순 증명을 통해 $v_\lambda > 0$ a.e. in $\Omega_\lambda$ 이면 컴act 부분집합에서 엄격히 양수임을 보인다.
• 연속성과 연결성의 논증을 통해 $\lambda = \ell$ 에서부터 $\lambda = 0$ 으로 내려가면서 $v_\lambda$ 의 양수성을 전파함으로써 대칭성을 확립한다.
• 에너지 추정과 비교 원리 유도를 위해 이중선형형태 ${\mathcal{J}}(u,v) = \frac{1}{2}\int_{\mathbb{R}^N}\int_{\mathbb{R}^N} (u(x)-u(y))(v(x)-v(y))J(x-y)\,dx\,dy$ 의 구조에 의존한다.

실험 결과

연구 질문

• RQ1 가변 순서와 이방성 커널을 갖는 비국소적 방정식의 비음수 해가 초평면에 대해 언제 대칭성을 갖는가?
• RQ2 스케일 불변성이나 등방성의 결여로 인해 비국소 연산자에 대해 이동 평면 방법을 어떻게 확장할 수 있는가?
• RQ3 반대칭 최대원리는 비국소 문제의 대칭성과 단조성을 증명하는 데 어떤 역할을 하는가?
• RQ4 커널 $J$와 비선형성 $f$ 에 대한 약한 단조성 및 대칭성 가정이 해의 강력한 정성적 성질에 어떻게 기여하는가?
• RQ5 반경 대칭성이나 명시적 그린 함수를 가정하지 않고도 비자명한 해에 대해 $|x_1|$ 에 대한 엄격한 감소를 증명할 수 있는가?

주요 결과

• 비국소 문제 $(P)$ 의 비음수 약한 해 $u$ 는 스테이너 대칭 영역 $\Omega$ 내에서 $x_1$-축에 대해 대칭이다.
• 주어진 $J$, $f$, $\Omega$ 의 가정 하에 해 $u$ 는 $u \equiv 0$ 가 아니면 $|x_1|$ 에 대해 엄격히 감소한다.
• 증명은 반대칭 상위해에 대한 새로운 최대원리에 기반하며, 이는 $v_\lambda \geq 0$ a.e. in $H\_\lambda$ 이면 $v_\lambda > 0$ a.e. in compact subsets of $\Omega_\lambda$ 를 보장한다.
• 명시적 그린 함수나 등각 불변성에 의존하지 않아, 비분수 라플라스 연산자를 초월한 광범위한 비국소 연산자 클래스에 적용 가능하다.
• 최소한의 가정 하에 성립한다: $J$ 는 짝수이며 $(J1)$ 과 $(J2)$ 를 만족하고, $\Omega$ 는 $x_1$ 에 대해 스테이너 대칭이며, $f$ 는 대칭성과 $x_1$ 에 대한 단조성 조건을 만족하는 카라테오도리 함수이다.
• 초평면 $H_\lambda$ 에 대해 해의 차이 $v_\lambda = u - u^\lambda$ 의 반대칭성은 논증의 핵심이며, 이의 컴act 집합에서의 양수성은 모순과 연결성 논증을 통해 확립된다.