On the traces of the L_2-solution of a general linear differential equation in the domain

Abstract: This paper pertains to the general theory of boundary value problems for general linear differential equations with smooth coefficients in a bounded domain with a smooth boundary and contains new advances in the general theory related to the boundary properties of solutions. Specifically, conditions on the traces of a solution to a general differential equation on the boundary of the domain are found and studied, allowing the solution to be reconstructed from its traces and the right-hand side of the equation. For the case of a general equation with constant coefficients, the resulting conditions on the traces of the solution take the form of a generalized moment problem.

• The paper establishes necessary and sufficient conditions for boundary traces of L2-solutions in general linear PDEs using an extension theory framework.
• It extends Green's formula and applies integral compatibility conditions to reconstruct solutions from precise boundary data.
• The study links trace characterization for constant coefficient PDEs to classical moment problems, bridging PDE analysis with harmonic analysis.

Traces of $L_2$-Solutions for General Linear Differential Equations: Structure, Reconstruction, and Moment Conditions

Introduction

The paper "On the traces of the $L_2$-solution of a general linear differential equation in the domain" (2606.21612) addresses fundamental aspects of the boundary behavior of $L_2$-solutions to general linear partial differential equations (PDEs) with $C^\infty$-smooth coefficients in bounded domains. The central concern is the characterization of boundary traces and their role in the reconstruction of solutions. The research advances the general theory of boundary value problems by providing necessary and sufficient conditions for the traces, establishing connections to generalized moment problems for the constant coefficient case, and extending classical results (von Neumann, Vishik, H\"ormander, Lopatinsky) with new structural insights.

Operator Extensions and Boundary Spaces

The paper frames the boundary value problem (BVP) as an extension theory question in the Hilbert space $L_2(\Omega)$. The minimal operator $L_0$ (the closure of $\mathcal{L}$ on $C_0^\infty(\Omega)$) is complemented by the maximal operator $L$ (its adjoint). The domains $D(L_0)$ and $L_2$0 inherit graph norm Hilbert structures.

The boundary space $L_2$1 is introduced as the quotient $L_2$2, encapsulating non-interior (boundary) degrees of freedom. Rigorous commutative diagrams clarify the exact sequences relating kernels, images, and boundary spaces, separating interior and boundary phenomena algebraically and functionally.

Key surjectivity and closedness conditions—known as Vishik conditions—are proven to be equivalent to solvability and well-posedness of BVPs. These enable a direct sum decomposition

$L_2$3

with $L_2$4 isomorphic. This structure shows that boundary properties are determined solely by $L_2$5, independent of interior solution behavior.

Characterization of Boundary Traces

Green's formula for general $L_2$6 is systematically extended to $L_2$7-smooth and generalized (distributional) solutions:

$L_2$8

where $L_2$9 are boundary differential expressions ("$L_2$0-traces") generated from domain and normal derivatives.

It is demonstrated that for $L_2$1 (closure of $L_2$2 in $L_2$3), each $L_2$4 is well-defined as a generalized function in $L_2$5, with vanishing traces characterizing interior domain elements ($L_2$6).

Crucially, it is established that specifying arbitrary classical traces (e.g., $L_2$7, $L_2$8) is insufficient; only $L_2$9-traces are the natural data for general boundary value problems in $C^\infty$0. Linear boundary operators $C^\infty$1 act on $C^\infty$2-traces to define admissible data and boundary subspaces.

Necessity and Sufficiency: Trace Condition for Solution Reconstruction

A major result determines the exact relationship required for a set $C^\infty$3 to arise from an actual solution $C^\infty$4 to $C^\infty$5:

• For the orthogonal decomposition $C^\infty$6, $C^\infty$7, it is necessary and sufficient that

$C^\infty$8

• Conversely, given boundary data satisfying this identity, there exists a unique $C^\infty$9 reconstructible as a solution with specified traces.

This principle generalizes the classical Poisson and Dirichlet problems: boundary traces are not independent but are tied by integral relations involving the right-hand side and adjoint kernel functions. The necessity of satisfying such compatibility relations links the boundary data directly to the underlying operator structure.

Generalized Moment Problems for Constant Coefficient Equations

For PDEs with constant coefficients, the conditions on traces simplify via the Malgrange approximation theorem:

• Kernel elements are spanned by exponential-polynomial solutions $L_2(\Omega)$0 with $L_2(\Omega)$1 on the zero set $L_2(\Omega)$2 of the operator symbol.
• The trace-reconstruction condition becomes a moment problem:

$L_2(\Omega)$3

• For homogeneous equations ($L_2(\Omega)$4), traces must annihilate all moments, i.e., the boundary integrals must vanish for all exponential modes.

This result connects the PDE boundary behavior to classical analytic moment problems, with implications for the uniqueness and existence of solutions in terms of solvability of infinite systems of moment equations.

Explicit Representations and Measures

The theory culminates in an explicit structural representation for the boundary solution components in terms of measures on $L_2(\Omega)$5:

• Any element $L_2(\Omega)$6 admits representation as an integral of exponential solutions weighted by a measure $L_2(\Omega)$7.
• The set of well-posed BVPs is parametrized by linear continuous operators $L_2(\Omega)$8, mapping exponential solutions in the adjoint kernel to integrals in the primal kernel.
• For BVPs, the solution $L_2(\Omega)$9 involves:

$L_0$0

with $L_0$1 solving an integral equation derived from the boundary condition.

Second-Order Operators and Classical Moment Problems

Analysis of second-order PDEs in planar domains reveals that Green's formula and trace relations reduce to classical moment problems (e.g., trigonometric moment conditions for the Laplacian in the unit circle). The boundary data, viewed as sequences of moments, determines existence and uniqueness properties, converting PDE BVPs into questions about moment determinacy and indeterminacy.

It is further demonstrated that boundary uniqueness and existence can be phrased in terms of vanishing or nontrivial solutions to the associated moment equations. This is directly relevant for special cases, such as the string vibration equation, bringing connections to geometric, algebraic, and analytic classical problems (Poncelet, Pelle-Abel, Toda chain).

Practical and Theoretical Implications

The results offer a unified framework for boundary value problems of general linear PDEs, rigorously formalizing necessary and sufficient conditions for boundary traces and their compatibility with the right-hand side. In practical terms, this enables solution reconstruction from boundary data and the equation, supporting algorithms for inverse problems and control in applied mathematics, as well as well-posedness analysis for non-standard BVPs.

The connection to generalized moment problems underlines deep links between PDE theory and harmonic analysis, measure theory, and algebraic geometry (via operator symbols and zero sets).

Future developments may include extension of these trace compatibility principles to nonlinear PDEs, systematic exploration of ill-posed boundary data, and application to multidomain and multiphysics problems. The explicit representation of boundary solution parts as measures suggests new approaches to numerical approximations (spectral and moment-based methods) and theoretical study of solution regularity and singularity.

Conclusion

This paper rigorously advances the general theory of boundary value problems for linear PDEs by establishing a direct connection between solution traces and reconstruction, formulating explicit compatibility conditions, and reducing the constant coefficient case to generalized moment problems. The algebraic and functional analytic framework introduced provides strong structural insights, with implications for both theory and practice in PDE analysis and related fields.