[논문 리뷰] Sobolev regularity for Symmetric-Convex Functionals

Franz Gmeineder, Jan Kristensen|arXiv (Cornell University)|2016. 10. 26.

Nonlinear Partial Differential Equations인용 수 3

한 줄 요약

이 논문은 전체 미분이 사전에 측도로서 존재하지 않음을 가정하지 않는, 선형 성장과 자율적이고 볼록한 변분 적분에 대해 최소화자를 위한 소볼레프 정규성을 확립한다. BV 설정에서의 결과를 확장하여, 전체 미분이 사전에 측도로서 존재하지 않더라도 최소화자가 더 높은 적분 가능성과 미분 가능성 성질을 갖는다는 것을 증명한다.

ABSTRACT

We study Sobolev regularity results for minimisers of autonomous, convex variational of linear growth which depend on the symmetric gradient rather than the full gradient. This extends the results available in the literature for the BV-setting to the case of functionals whose full gradients are a priori not known to exist as matrix-valued Radon measures.

연구 동기 및 목표

• 전체 기울기가 아니라 대칭 기울기에 의존하는 변분 적분에 대해 소볼레프 정규성 이론을 확장하는 것.
• 이러한 함수성에서 전체 기울기가 사전에 행렬 값 측도로서 존재하지 않음을 안다는 점의 부족을 다루는 것.
• 선형 성장, 볼록, 자율적 함수성의 맥락에서 최소화자의 더 높은 적분 가능성과 미분 가능성 성질을 확립하는 것.
• 전체 기울기가 측도로서 존재하지 않는 맥락에서 기존의 BV-정규성 결과를 일반화하는 것.

제안 방법

• 선형 성장과 자율적이고 볼록한 함수성의 구조를 활용하여, 대칭 기울기 의존성에 기반한 최소화자를 분석한다.
• 미분의 변분법과 기하학적 측도 이론의 기법을 적용하여, 비연속 기울기를 다룬다.
• 블로업 (blow-up) 방법과 블로업 극한을 사용하여, 르베그 점에서 최소화자의 정규성을 연구한다.
• 함수의 볼록성과 대칭성을 활용하여 대칭 기울기에 대한 균일한 추정을 유도한다.
• 함수의 유한 변동성(바운디드 변동, BV) 맥락에서 대칭 기울기가 전체 기울기를 영역에서 거의 모든 곳에서 제어한다는 사실에 기반한다.
• 함수성의 구조를 이용하여, 전체 기울기 정규성이 사전에 없더라도 최소화자가 더 높은 적분 가능성을 만족한다는 것을 유추한다.

실험 결과

연구 질문

• RQ1 전체 기울기가 사전에 측도로서 존재하지 않더라도, 선형 성장과 볼록, 자율적 함수성의 최소화자에 대해 소볼레프 정규성을 확립할 수 있는가?
• RQ2 전체 기울기가 사전에 측도로서 존재하지 않음을 안다면, 이러한 최소화자에서 어떤 정규성 성질이 나타나는가?
• RQ3 전체 기울기의 경우와 비교해 볼 때, 대칭 기울기의 구조는 최소화자의 적분 가능성과 미분 가능성에 어떤 영향을 미치는가?
• RQ4 BV-정규성 결과는 어느 정도까지 전체 기울기가 측도로서 존재하지 않는 기능에 대해 일반화될 수 있는가?
• RQ5 이 맥락에서 최소화자의 더 높은 적분 가능성 확보를 위한 적합한 조건은 무엇인가?

주요 결과

• 전체 기울기가 사전에 측도로서 존재하지 않더라도, 선형 성장과 대칭-볼록 함수성의 최소화자는 더 높은 적분 가능성을 보인다.
• 대칭 기울기의 구조는 최소화자의 소볼레프 정규성을 이끌어내는 균일 추정을 가능하게 한다.
• 대칭 기울기에 적용한 블로업 방법은 르베그 점에서의 정규성을 도출하여, 약한 미분 가능성의 형태를 확인한다.
• 결과적으로 기존의 고전적 BV-정규성 이론은 전체 기울기 정보가 확보되지 않는 더 넓은 함수성의 범주로 확장된다.
• 균일한 대칭 기울기 제어를 확보하기 위해 함수성의 볼록성과 자율성은 필수적이다.
• 논문은 최소화자가 전체 기울기 정규성이 사전에 없음에도 불구하고 더 높은 적분 가능성을 갖는 소볼레프 공간에 속한다는 것을 확립한다.