[논문 리뷰] A model problem for ultrafunctions

Vieri Benci, Lorenzo Luperi Baglini|arXiv (Cornell University)|2012. 12. 06.

Mathematical and Theoretical Analysis참고 문헌 3인용 수 4

한 줄 요약

이 논문은 비아르키메데스 체계를 사용하여 에너지 함수 $ E(u,q) = \frac{1}{2}\int_\Omega |\nabla u|^2 dx + u(q) $의 물리적 문제를 해결한다. 이 함수는 점 소스에서 발산하므로 고전 해석학에서는 잘 정의되지 않는다. 초함수를 이용해 함수를 비아르키메데스 체로 확장하고 $ \Lambda $-극한을 사용함으로써, 초함수 공간에서 최소화자 $ (u_{\overline{q}}, \overline{q}) $가 존재함을 증명한다. 여기서 $ \overline{q} \in \Omega^* $이며, 무한수와 무한소 수를 통해 특이성을 해결한다.

ABSTRACT

The purpose of this paper is to show that Non-Archimedean Mathematics (NAM), namely mathematics which uses infinite and infinitesimal numbers, is useful to model some Physical problems which cannot be described by the usual mathematics. The problem which we will consider here is the minimization of the functional E(u,q)=1/2\int_{Omega}| abla u(x)|^{2}dx+u(q). If Omega is a subset of R^{N} is a bounded open set and u is a C^{2} function with condition u=0 on the boundary of Omega, this problem has no solution since inf E(u,q)=-\infty. On the contrary, as we will show, this problem is well posed in a suitable non-Archimedean frame. More precisely, we apply thegeneral ideas of NAM and some of the techniques of Non Standard Analysis to a new notion of generalized functions, called ultrafunctions, which are a particular class of functions based on a Non-Archimedean field. In this class of functions, the above problem is well posed and it has a solution.

연구 동기 및 목표

• 비아르키메데스 해석학(Non-Archimedean Mathematics, NAM)이 고전 해석학에서 잘 정의되지 않는 물리 문제를 모델링하는 데 유용한 프레임워크임을 보여주기 위해.
• 함수 $ u $가 점 $ q $에서 특이성을 가질 경우, 에너지 함수 $ E(u,q) = \frac{1}{2}\int_\Omega |\nabla u|^2 dx + u(q) $가 유계적이지 않게 되는 발산 문제를 다루기 위해.
• 초함수 공간이라는 비아르키메데스 체를 기반으로 한 새로운 일반화된 함수의 클래스에서 최소화 문제가 잘 정의된 해를 가짐을 보여주기 위해.
• 중력과 막의 인장력 하에서 점 질량이 정착하는 평형점 $ q_0 $ 가 존재하며, 이는 $ \Omega^* $ 내부에 위치함을 보장하기 위해. 경계에서의 열화를 피하기 위함이다.

제안 방법

• 저자들은 표준 $ C^2_0 $ 함수에서 초함수를 구성하기 위해 $ \Lambda $-극한을 사용하여, 비아르키메데스 체 $ \mathbb{R}^* \supset \mathbb{R} $로 확장한다.
• 초함수는 함수적 성질(예: $ \int u(x)\delta_q(x)dx = u(q) $)을 유지하면서도 특이점에서도 점 평가가 가능하도록 정의된다.
• 문제는 에너지 함수 $ E(u,q) $가 여전히 무한대 값을 가질 수 있지만 잘 정의된 초함수 공간 $ \mathcal{V}^* $로 재구성된다.
• 유한 차원 근사로 피에드-갈레르킨 방법을 사용한다: 각 $ \lambda \in \mathcal{F} $에 대해 문제를 유한 차원 부분공간 $ (V_0^2(\Omega))_\lambda $ 에서 해결한다.
• 해 $ u_{q,\lambda} $ 가 $ q $ 에 대해 연속적으로 의존함을 보여, 에너지 함수 $ F_\lambda(q) $ 가 컴act 집합 $ \overline{\Omega} $ 에서 연속적임을 보장한다.
• 컴act성에 의해 최소화자 $ q_\lambda $ 를 확보하고, Leibniz 원리를 사용하여 극한 $ \overline{q} = \lim_{\lambda \uparrow \mathbb{U}} q_\lambda $ 를 취함으로써 초함수 해를 도출한다.

실험 결과

연구 질문

• RQ1 비아르키메데스 해석학은 고전 해석학에서 특이성으로 인해 잘 정의되지 않는 물리 문제를 해결할 수 있는가?
• RQ2 함수 $ u $ 가 점 소스 $ q $ 에서 존재할 경우, 에너지 함수 $ E(u,q) = \frac{1}{2}\int_\Omega |\nabla u|^2 dx + u(q) $ 는 최소화자를 가질 수 있는가?
• RQ3 막 위의 점 질량의 평형 위치 $ q_0 $ 는 경계를 피하여 $ \Omega^* $ 내부에 존재하는가?
• RQ4 초함수는 델타 함수를 표현하고 특이점에서 일반화된 함수의 점 평가를 가능하게 하는가?

주요 결과

• 무한수와 무한소 수의 사용 덕분에, 고전 해석학에서 발산하는 바람에 잘 정의되지 않지만 초함수 공간에서는 에너지 함수 $ E(u,q) $ 가 잘 정의된다.
• 최소화자 $ (u_{\overline{q}}, \overline{q}) $ 가 $ \overline{\Omega}^* $ 에 존재하며, $ \overline{q} \in \Omega^* $ 이므로 비아르키메데스 해석학에서 평형점은 도메인 내부에 엄격히 위치한다.
• $ \partial\Omega^* $ 의 모든 $ q $ 에 대해 딸라크 초함수 $ \delta_q = 0 $ 이므로 $ u_q = 0 $ 이고 $ E(u_q, q) = 0 $ 이지만, $ \Omega^* $ 내부의 $ q $ 에 대해서는 $ E(u_q, q) < 0 $ 이므로 최소화자는 경계에 존재하지 않는다.
• 유한 차원 근사에서 해 $ u_{q,\lambda} $ 가 $ q $ 에 대해 연속적으로 의존하므로, 각 $ \lambda $ 에 대해 최소화자 $ q_\lambda $ 가 존재함을 보장한다.
• $ \overline{q} = \lim_{\lambda \uparrow \mathbb{U}} q_\lambda $ 의 극한이 존재하며, Leibniz 원리를 통해 초함수 공간에서 최소화 조건을 만족한다.