[论文解读] A model problem for ultrafunctions

Vieri Benci, Lorenzo Luperi Baglini|arXiv (Cornell University)|Dec 6, 2012

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.

研究动机与目标

• 证明非阿基米德数学（NAM）为经典分析中病态的物理问题提供了可行的建模框架。
• 解决能量泛函 $ E(u,q) = \frac{1}{2}\int_\Omega |\nabla u|^2 dx + u(q) $ 的发散问题，当 $ u $ 在点 $ q $ 处具有点奇点时该泛函会无界。
• 表明最小化问题在基于非阿基米德域的广义函数新类——超函数空间中具有明确定义的解。
• 建立点质量在重力与膜张力作用下静止的平衡点 $ q_0 $ 存在且位于 $ \Omega^* $ 的内部，避免边界退化。

提出的方法

• 作者采用 $\Lambda$-极限从标准的 $ C^2_0 $ 函数构造超函数，将其扩展到包含 $ \mathbb{R} $ 的非阿基米德域 $ \mathbb{R}^* \supset \mathbb{R} $。
• 超函数被定义为保留函数性质（例如 $ \int u(x)\delta_q(x)dx = u(q) $），即使在奇点处也能进行点值评估。
• 问题在超函数空间 $ \mathcal{V}^* $ 中重新表述，其中能量泛函 $ E(u,q) $ 即使可能取无穷大值也保持定义良好。
• 通过伽辽金法（Feado-Galerkin方法）进行有限维逼近：对每个 $ \lambda \in \mathcal{F} $，在有限维子空间 $ (V_0^2(\Omega))_\lambda $ 中求解问题。
• 证明解 $ u_{q,\lambda} $ 关于 $ q $ 连续，从而确保能量泛函 $ F_\lambda(q) $ 在紧集 $ \overline{\Omega} $ 上连续。
• 利用紧致性获得极小化元 $ q_\lambda $，并通过莱布尼茨原理取极限 $ \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) $ 在超函数空间中仍定义良好。
• 在 $ \overline{\Omega}^* $ 中存在极小化元 $ (u_{\overline{q}}, \overline{q}) $，且 $ \overline{q} \in \Omega^* $，意味着从非阿基米德意义上看，平衡点严格位于定义域内部。
• 对所有 $ q \in \partial\Omega^* $，狄拉克超函数 $ \delta_q = 0 $，因此 $ u_q = 0 $ 且 $ E(u_q, q) = 0 $，而对 $ q \in \Omega^* $ 有 $ E(u_q, q) < 0 $，确保极小化元不在边界上。
• 在有限维逼近中，解 $ u_{q,\lambda} $ 关于 $ q $ 连续，从而保证每个 $ \lambda $ 下均存在极小化元 $ q_\lambda $。
• $ \overline{q} = \lim_{\lambda \uparrow \mathbb{U}} q_\lambda $ 的极限存在，并通过莱布尼茨原理在超函数空间中满足最小化条件。