github-backend

分类： Distribution theory

  • 与调和函数正交的函数是否一定为零？从多项式密度到分布版本

    旧博客原文

    原题：与调和函数正交的函数是否一定是0

    这是来自mathoverflow的一个问题：

    原始的问题是简单的，陈述如下：

    问题1：f\in C_{c}^{\infty}(B)，且满足对任意满足：\exists n\in N^*,\Delta^n g=0的函数g,有\int_{B}fg=0,那么f=0。

    证明只需注意到所有多项式都满足条件以及weierstrass逼近定理。

    人们自然想到将算子\Delta推广到算子 \Delta_f=f\Delta，这将导致如下问题。

    问题2f\in C_{c}^{\infty}(B)，且满足对任意满足：\exists n\in N^*,(\Delta_f)^n g=0的函数g,有\int_{B}fg=0,那么f=0。

     

    问题1在分布意义下是这样的：

    问题3：T是一个分布，满足对任意\exists n\in N^*,\Delta^n g=0的测试函数空间中的函数g\in D(B),成立有T(g)=0，则T=0。

     

    同样的问题2也能放入分布的框架下：

    问题4T是一个分布，满足对任意\exists n\in N^*,\Delta_f^n g=0的测试函数空间中的函数g\in D(B),成立有T(g)=0，则T=0。

     

    对于简单的f，问题4是对的。比如f为常数函数和线性函数。

     

     

    补充说明

    以下是新整理的中文说明；上方旧博客原文保持不变。

    一个自然问题是：如果函数 $f$ 与所有调和函数都正交，是否推出 $f=0$？答案取决于所在区域、测试函数空间和“调和函数族”是否足够大。

    与调和函数正交的函数是否一定为零？从多项式密度到分布版本
    与所有调和函数正交是否推出函数为零，关键取决于调和测试函数族的密度。

    1. 基本问题

    设 $\Omega$ 是区域，若

    $$\int_\Omega f(x)h(x)\,dx=0$$

    对所有满足 $\Delta h=0$ 的 $h$ 都成立，是否推出 $f=0$？

    在某些简单情形下，答案是肯定的，因为调和多项式或普通多项式在相关函数空间中足够稠密。

    2. Weierstrass 逼近

    若所有多项式都包含在允许的测试函数族里，或者可以由调和对象生成足够多的多项式，那么由 Weierstrass theorem，连续函数可被多项式一致逼近。此时正交于所有测试函数会推出 $f$ 作为测度为零。

    3. 算子推广

    把 Laplacian 换成一般算子 $L$ 后，问题变成：$Lh=0$ 的解空间是否足以分离所有 $f$？这与 Runge approximation、unique continuation 和椭圆算子的可解性有关。

    4. 分布版本

    若 $T$ 是分布，且

    $$\langle T,\varphi\rangle=0$$

    对所有 $L\varphi=0$ 的测试函数成立，是否推出 $T=0$？这个问题更敏感，因为测试函数必须同时满足 PDE 和支撑/边界条件。

    5. 关键点

    正交条件本身不神秘，真正的问题是解空间的密度。如果 PDE 的解族在目标空间中稠密，就能推出唯一性；如果解族太小，就会存在非零对象与它全部正交。