[논문 리뷰] On the paper "All functions are locally s-harmonic up to a small error" by Dipierro, Savin, and Valdinoci

Н. В. Крылов|arXiv (Cornell University)|2018. 10. 12.

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

한 줄 요약

이 논문은 Riesz 잠재력과 커널 |x−y|ⁿ을 통해 정의된 s-조화 함수 유사 연산자에 대해 근사 결과를 확장한다. 임의의 s-조화 함수 유사 연산자에 대해, Cᵏ(𝐵₁)에 속하는 함수들은 𝐵₄⧵𝐵̄₃에서 무한번 미분 가능하고 compactly supported인 g에 대해 Kₙg 형태의 함수들로 Cᵏ 노름에서 임의로 정밀하게 근사 가능하다. 주요 기여는 n ∈ (−d, 0) 이며 n + d ∉ {2, 4, ...}인 광범위한 클래스에 대해 이러한 잠재력들이 Cᵏ(𝐵₁)에서 조밀함을 증명한 것으로, 이는 이전의 분수 라플라스 연산자 결과를 일반화한다.

ABSTRACT

We give an appropriate version of the result in the paper by Dipierro, Savin, and Valdinoci for different, not necessarily fractional, powers of the Laplacian.

연구 동기 및 목표

• Dipierro, Savin, 및 Valdinoci의 분수 라플라스 연산자(s ∈ (0,1))에 대한 근사 결과를 더 일반적인 Riesz 잠재력과 커널 |x−y|ⁿ으로 일반화하는 것.
• Cᵏ(𝐵₁)에 속하는 함수들이 g ∈ C∞₀(𝐵₄⧵𝐵̄₃) 이며 n ∈ (−d, 0) 이며 n + d ∉ {2, 4, ...}일 때 Kₙg 형태로 Cᵏ 노름에서 근사 가능하다는 것을 확립하는 것.
• Kₙg가 컴팩트하게 지지되지 않더라도 무한대에서 감쇠하는 경우에도 이러한 Kₙg의 집합이 Cᵏ(𝐵₁)에서 조밀함을 보이는 것.
• 근사 수열을 구성하기 위해 컨볼루션, 라플라스 연산자 반복, 가우시안 유형의 캄프트를 사용하는 새로운 증명 전략을 제공하는 것.

제안 방법

• x ∈ 𝐵₄⧵𝐵̄₃에 대해 Kₙ(x, ⋅)를 매끄럽고 컴팩트하게 지지된 함수 g로 매끄럽게 근사하기 위해 미세화자와의 컨볼루션을 사용한다.
• ΔₓKₙ = n(n + d − 2)Kₙ₋₂를 이용해 Kₙ(x, y) = |x−y|ⁿ에 대해 라플라스 연산자 Δₓ를 반복 적용하여 Kₙ₋₂ₘ를 생성한다.
• 수렴이 Cᵏ(𝐵₁)에서 성립하는 급수 ∑(1/m!)tᵐKₙ₋₂ₘ(x, ⋅)를 구성하여, 폐쇄 속에 exp(−t/|x−y|²) 유형의 함수를 생성한다.
• 모든 f ∈ Cᵏ(𝐵₁)를 근사하기 위해 열핵 근사 fₜ(y) = t⁻ᵈᐟ²∫ f(x)exp(−|x−y|²/t)dx를 적용하여 fₜ ∈ 𝒮̄(Kₙg의 집합의 폐쇄)임을 보인다.
• Sobolev 포함 및 Lᵖ 추정을 활용하여 Kₘ(x, ⋅)의 Cᵏ 노름을 W²ʳᵖ 노름과 그에 따른 m에 대한 의존성으로 제어한다.
• Kₙ(x−⋅) ∈ 𝒮̄ (S의 폐쇄)임을 보이고, 다항식과 가우시안이 모두 𝒮̄에 속함을 이용하여 Cᵏ(𝐵₁)에서 조밀한 대수를 생성한다.

실험 결과

연구 질문

• RQ1 Dipierro, Savin, 및 Valdinoci의 결과—모든 Cᵏ 함수가 오차를 수반한 국소적 s-조화 함수로 근사 가능하다—는 s ∈ (0,1)을 초월하여 n ∈ (−d, 0)인 일반 Riesz 잠재력과 커널 |x−y|ⁿ로 확장 가능한가?
• RQ2 Kₙg 형태의 함수 집합이 Cᵏ(𝐵₁)에서 조밀해지기 위해 n에 대해 어떤 조건이 필요한가?
• RQ3 g ∈ C∞₀(𝐵₄⧵𝐵̄₃)인 Riesz 잠재력에 의한 밀도를 갖는 함수 수열을 어떻게 구성할 수 있는가?
• RQ4 Kₙg가 컴팩트하게 지지되지 않더라도 무한대에서 감쇠하는 성질을 유지하면서 Cᵏ(𝐵₁)에서 조밀성을 확보할 수 있는가?
• RQ5 라플라스 연산자 반복과 가우시안 유형의 캄프트를 사용하여 Cᵏ(𝐵₁)에서 조밀한 근사 함수 집합을 생성할 수 있는가?

주요 결과

• g ∈ C∞₀(𝐵₄⧵𝐵̄₃)인 경우, S = {f = Kₙg | f는 𝐵₁에서 정의됨}는 n ∈ (−d, 0) 이며 n + d ∉ {2, 4, ...}인 모든 실수 n에 대해 Cᵏ(𝐵₁)에서 조밀하다.
• 이러한 n에 대해 Riesz 잠재력 Kₙg 는 ℝᵈ에서 유계이고 매끄럽고, 모든 도함수들이 무한대에서 감쇠함을 보인다. 이는 g가 컴팩트하게 지지되어 있음에도 불구하고 성립한다.
• 이 증명은 x ∈ 𝐵₄⧸𝐵̄₃에 대해 Kₙ(x−⋅) ∈ 𝒮̄임을 보이는 데 기반하며, 이를 위해 미세화 및 라플라스 연산자 반복을 사용한다.
• ΔₓKₙ = n(n + d − 2)Kₙ₋₂를 이용해 Kₙ₋₂ₘ를 생성하고, 계수의 0이 아님을 이용해 모든 이러한 커널들이 𝒮̄에 속함을 보인다.
• 다항식과 가우시안을 모두 𝒮̄에 속함을 보이고, 이를 조합하여 Cᵏ(𝐵₁)에서 조밀한 대수를 생성한다.
• 이 결과는 모든 k ∈ {0,1,...}에 대해 성립하며, 적절한 g의 선택을 통해 Cᵏ 노름에서 오차를 임의로 작게 만들 수 있다.