[Paper Review] On the algebraic dual of D(\Omega)

Michael Oberguggenberger|arXiv (Cornell University)|Apr 9, 2013

Mathematical Analysis and Transform Methods9 references3 citations

TL;DR

This paper investigates the algebraic dual 𝒟*(Ω) of the space of test functions 𝒟(Ω), contrasting it with the standard space of distributions 𝒟′(Ω). While 𝒟*(Ω) lacks continuity-based analytical control, it enables solvability of all constant-coefficient PDEs—including those unsolvable in 𝒟′(Ω)—due to the existence of fundamental solutions and algebraic solvability via convolution. The key contribution is demonstrating that every nonzero constant-coefficient PDE is surjective on 𝒟*(Ω), despite loss of regularity and local structure.

ABSTRACT

This paper is concerned with the algebraic dual D*(\\Omega) of the space of test functions D(\\Omega). The emphasis is on failures and successes of D*(\\Omega) as compared to the continuous dual D'(\\Omega), the space of distributions. Topological properties, operations with elements of D*(\\Omega) and applications to linear partial differential equations are discussed.

Motivation & Objective

• To examine the algebraic dual 𝒟*(Ω) of the space of compactly supported smooth functions 𝒟(Ω), contrasting it with the standard space of distributions 𝒟′(Ω).
• To identify the limitations of 𝒟*(Ω) in analysis, particularly the absence of continuity, local order, and regularizing properties.
• To investigate whether 𝒟*(Ω) can serve as a viable framework for solving linear partial differential equations, especially those not solvable in 𝒟′(Ω).
• To clarify the trade-off between algebraic solvability and loss of analytical control in solutions within 𝒟*(Ω).

Proposed method

• Utilizes the algebraic dual space 𝒟*(Ω) defined as the set of all linear functionals on 𝒟(Ω), without requiring continuity.
• Applies topological vector space theory, particularly barrelledness and duality, to analyze structural properties of 𝒟*(Ω).
• Employs convolution and transpose operators via the formula ⟨T ⋆ φ, ψ⟩ = ⟨T, φ̌ ⋆ ψ⟩ to define solutions in 𝒟*(Ω).
• Leverages the existence of fundamental solutions in 𝒟*(Ω) for constant-coefficient operators, constructed via algebraic extension of the Malgrange–Ehrenpreis theorem.
• Compares solvability in 𝒟*(Ω) with classical results in 𝒟′(Ω), especially regarding P-convexity and hypoellipticity.
• Uses counterexamples to demonstrate failures in convolution, tensor products, and local order, while showing success in derivation and multiplication by smooth functions.

Experimental results

Research questions

• RQ1 Can all constant-coefficient linear PDEs be solved in the algebraic dual space 𝒟*(Ω), even when they are not solvable in the space of distributions 𝒟′(Ω)?
• RQ2 What are the structural and topological deficiencies of 𝒟*(Ω) compared to 𝒟′(Ω), particularly regarding convolution, tensor products, and local behavior?
• RQ3 To what extent do solutions in 𝒟*(Ω) retain analytical properties such as smoothness or regularity, especially when the right-hand side is smooth?
• RQ4 How does the lack of continuity in 𝒟*(Ω) affect the definition and behavior of operations like convolution and sheaf-theoretic constructions?
• RQ5 Can fundamental solutions for constant-coefficient PDEs be constructed algebraically in 𝒟*(Ω), and how do they compare to their continuous counterparts in 𝒟′(Ω)?

Key findings

• Every nonzero constant-coefficient linear partial differential operator P(∂) is surjective on 𝒟*(Ω), meaning P(∂)U = F has a solution U ∈ 𝒟*(Ω) for any F ∈ 𝒟*(Ω), including smooth F.
• The Lewy operator, known to be not locally solvable in 𝒟′(Ω), admits solutions in 𝒟*(Ω), demonstrating broader solvability in the algebraic dual.
• Solutions in 𝒟*(Ω) of hypoelliptic operators with smooth right-hand sides need not be smooth, showing that hypoellipticity is not preserved in the algebraic dual.
• Every nonzero constant-coefficient PDE admits a fundamental solution in 𝒟*(ℝⁿ), a result that follows from the algebraic solvability of the transpose operator.
• Convolution with compactly supported smooth functions F ∈ 𝒟(ℝⁿ) or with distributions T ∈ 𝒟′(ℝⁿ) yields well-defined solutions in 𝒟*(ℝⁿ), as shown via ⟨S ⋆ F, ψ⟩ = ⟨F, ψ̌ ⋆ S⟩.
• Despite solvability, solutions in 𝒟*(Ω) lack control over analytical properties such as regularity, support, or local order, due to the absence of continuity.