Linear and Non-linear Completeness

受过一些数学训练的人会熟悉标准三角函数。这些函数的形状和周期性由圆的完全对称性决定。根据著名的傅立叶定理，任何合理形状的一维信号都可以分解成正弦和余弦形式的基频。这个项目的目的是制定版本的这个定理的扰动这些功能。为了定义扰动，圆的对称性以某种受控的方式被破坏，由典型的非线性微分方程表示。因此，通常的几何形状被替换为不同的几何形状，其属性由一组参数驱动。三角函数对应于方程的分叉点，当这些参数接近某一极限时获得。在p-Laplacian方程和非线性Schroedinger方程的背景下，最近发现有可能为解建立精确的傅立叶定理。在某些情况下，这与正则函数空间（Sobolevspaces）如何嵌入不太正则的函数空间（Lebesguespaces）的深入结果有关。关于信号如何分解成这些扰动模式的许多有趣的问题仍然没有解决。其中一些问题的答案预计将在非光滑数据的信号处理领域产生重大影响，因此该项目具有巨大的创新潜力。具体的目标将是提供一个坚实的数学框架，以扩展傅立叶定理的制定非线性设置，并推导出的基本微分方程附近的分歧点的后果。该项目将开发变革性的研究工具，这将使一个家庭的功能扩展到非线性设置的线性完备性的框架。它将集中在一个给定的本征函数的样本，与一个非线性本征值问题，是否是完整的在一定意义上的基本Banach空间的问题。最近出现了两个可能取得进展的领域。这些都是非线性拉普拉斯特征值方程所产生的理论Sobolevem beddings和半线性谱方程的那种设想在分歧理论。除了这两个具体案例，该主题的研究前景似乎在很大程度上未被探索。

People with some mathematical training will be familiar with the standard trigonometric functions. The shape and periodicity of these functions are determined by the complete symmetry of the circle. According to a celebrated theorem of Fourier, one-dimensional signals of any reasonable shape can be decomposed into fundamental frequencies in terms of sine and cosine. The aim of this project is to formulate versions of this theorem for perturbations of these functions. To define the perturbations, the symmetries of the circle are broken in a certain controlled manner, represented by a canonical non-linear differential equation. Theusual geometry is therefore replaced with a different geometry, whose properties are driven by a set of parameters. The trigonometric functions correspond to a bifurcation point of the equation, obtained as these parameters approach a certain limit. In the context of the p-Laplacian and the non-linear Schroedinger equations, it has recently been discovered that it is possible to establish sharp versions of Fourier's Theorem for the solutions. In some instances, this is related to deep results about how spaces of regular functions (Sobolevspaces) are embedded into spaces of functions of less regularity (Lebesguespaces). Many interesting questions about how signals decompose into these perturbed modes remain open. Answers to some of these questions are expected to have significant impact in the field of signal processing of non-smooth data, so the project has substantial potential for innovation. The concrete goal will be to provide a solid mathematical framework to extend the formulation of Fourier's Theoremin to the non-linear setting and derive consequences for the underlying differential equations near the bifurcation points. This project will develop transformative research tools which will enable to extend the framework of linear completeness of a family of functions to the non-linear setting. It will focus on the question of whether a given sample of eigen functions, associated to a non-linear eigen value problem, is complete in a certain sense in the underlying Banach space. Two areas where progress may be possible have come to light recently. These are non-linear Laplacian eigen value equations arising in the theory of Sobolevem beddings and semi-linear spectral equations of the kind contemplated in bifurcation theory. Except from these two specific cases, the research landscape of the subject appears to be largely unexplored.