Operator-differential expressions: regularization and completeness of the root functions

This paper investigates the regularization and completeness of root functions for operator-differential expressions involving bounded invertible and finite-dimensional operators, demonstrating how such forms can regularize singular differential expressions with negative Sobolev space coefficients and establishing completeness under specific Volterra operator and boundary conditions.

The Gist

Here is an explanation of Sergey Buterin's paper, translated from complex mathematical jargon into everyday language using analogies.

The Big Picture: Fixing a Broken Machine

Imagine you have a very complex machine (a differential equation) that is supposed to predict how things change over time, like the vibration of a guitar string or the flow of electricity.

Usually, these machines are built with smooth, well-behaved parts. But in the real world, sometimes the machine gets damaged. It has "rough edges," "jagged parts," or even "holes" in its structure. In math, we call these singularities. When you try to run the machine with these broken parts, the math breaks down. The numbers go to infinity, or the equations stop making sense.

For decades, mathematicians have tried to "fix" these broken machines by sanding down the rough edges and replacing them with smooth, regular parts. This process is called regularization.

Sergey Buterin's paper proposes a new way to look at the problem. Instead of trying to sand down the rough edges, he suggests we look at the machine from a different angle. He shows that even the most broken, jagged machines can be reassembled into a specific, sturdy format that we know how to handle.

---

Key Concepts Explained with Analogies

1. The "Rough" Machine (Singular Expressions)

Think of a differential equation as a recipe for a cake.

• Normal Recipe: "Mix 2 cups of flour, 1 cup of sugar." (Smooth coefficients).
• Broken Recipe: "Mix 2 cups of flour, and then add... a sudden explosion of sugar." (Coefficients in "negative Sobolev spaces" or "distributions").

If you try to bake with the broken recipe, the cake collapses. In math, this means the equation has no solution, or the solution is chaotic.

2. The New Blueprint (Operator-Differential Expressions)

Buterin says: "Don't throw away the broken recipe. Let's rewrite it."

He introduces a new format (Equation 1.2 in the paper) that acts like a universal adapter. He shows that almost any broken, jagged equation can be plugged into this adapter.

• The Adapter: It takes the messy, singular parts and wraps them inside a "black box" (an operator $B$) and a "helper" (an operator $C$).
• The Result: Suddenly, the messy equation looks like a clean, structured machine. It's no longer a jagged rock; it's a smooth gear system that we understand.

3. The "Ghost" Parts (Quasi-Derivatives)

When you have a broken machine, you can't measure the speed or position directly because the sensors are broken.

• Standard Derivatives: Measuring the speed of a car directly.
• Quasi-Derivatives: Measuring the speed by looking at the smoke, the engine noise, and the tire wear, then calculating the speed indirectly.

Buterin defines these "indirect measurements" (called quasi-derivatives). He proves that even if the machine is broken, these indirect measurements are smooth and reliable. This allows us to set rules for the machine (boundary conditions) without getting stuck on the broken parts.

4. The "Roots" of the Tree (Completeness of Root Functions)

This is the most important result of the paper.

Imagine the machine (the operator) has a set of "roots" or "building blocks" (called eigenfunctions).

• The Goal: We want to know if these building blocks are enough to construct any possible shape or sound. Can we build a perfect sphere, a cube, or a complex sculpture using only these specific blocks?
• The Problem: For broken machines, mathematicians weren't sure if the blocks were enough. Maybe the machine was so broken that it was missing a whole set of blocks, leaving gaps in our ability to describe reality.
• The Discovery: Buterin proves that yes, the blocks are complete. Even with the broken, jagged coefficients, the machine still has a full set of building blocks. You can build anything with them.

The Metaphor: Imagine a library where some books are torn and pages are missing. Buterin proves that even with the torn pages, the library still contains every single story you could possibly want to tell. You just have to know how to read the torn pages correctly.

5. The "One-Way Street" (Volterra Operators)

To prove his point, Buterin uses a clever trick. He transforms the complex machine into a Volterra operator.

• Analogy: Think of a Volterra operator as a "One-Way Street" or a "River flowing downstream." You can see the water at the start, and you can see it at the end, but the water never flows backward.
• The Magic: Mathematicians (specifically a guy named Khromov) already proved that if you have a "One-Way Street" machine, it is guaranteed to have a complete set of building blocks.
• Buterin's Move: He shows that his new "Universal Adapter" turns the broken machine into a "One-Way Street" machine. Therefore, the broken machine must also have a complete set of building blocks.

---

Why Does This Matter?

1. It's a New Tool: Before this, if you had a very messy equation (like those found in quantum physics or control theory with "after-effects"), you had to struggle to fix it. Now, you can just plug it into Buterin's adapter.
2. It Solves Old Mysteries: There were many equations where mathematicians didn't know if they had enough "building blocks" to solve problems. This paper says, "Don't worry, they are complete."
3. It Unifies Different Fields: It connects the study of smooth equations with the study of broken, singular ones, showing they are actually two sides of the same coin.

Summary in One Sentence

Sergey Buterin invented a new mathematical "adapter" that turns messy, broken equations into a clean, structured format, proving that even the most chaotic systems still have a complete and reliable set of building blocks to describe the world.

Technical Summary

Technical Summary: Operator-Differential Expressions: Regularization and Completeness of the Root Functions

Author: Sergey Buterin
Source: arXiv:2507.14545v2 [math.SP] (2026)

1. Problem Statement

The paper addresses the spectral theory of singular differential operators with coefficients belonging to negative Sobolev spaces (distributions). Specifically, it focuses on:

• Singular Differential Expressions: High-order differential expressions where coefficients are distributions (e.g., derivatives of $L^p$ functions), making the classical definition of the differential operator invalid.
• Irregular Boundary Conditions: The study of boundary value problems where the boundary conditions are "semi-separated" (involving conditions at both endpoints) and "irregular" (not satisfying the regularity conditions of Birkhoff), leading to complex spectral behavior.
• Completeness of Root Functions: A central question in spectral theory is whether the system of eigenfunctions and associated functions (root functions) of such operators forms a complete system (a basis) in the underlying Hilbert space ($L^2(0,1)$). While completeness is well-established for regular coefficients, it remains a challenging open problem for singular coefficients with irregular boundary conditions.

2. Methodology

The author employs a multi-faceted approach combining operator theory, distribution theory, and asymptotic analysis:

• Operator-Differential Representation: Instead of the traditional "regularization" method (which converts singular expressions into systems of first-order equations with $L^1$ coefficients using Shin-Zettl matrices), the paper introduces a unified operator-differential form:
  $$\ell y = \frac{d^m}{dx^m} \left( B y^{(n)} + C y \right)$$
  Here, $B$ is a bounded, invertible linear operator (specifically a Volterra operator of the second kind with a continuous kernel vanishing on the diagonal), and $C$ is a finite-dimensional operator. This form naturally encompasses singular expressions with distributional coefficients.

• Quasi-Derivatives and Consistent Matrices: The paper rigorously defines non-local quasi-derivatives ($y^{\langle k \rangle}$) derived from the operator form. It establishes the relationship between these non-local derivatives and the local quasi-derivatives ($y^{[k]}$) used in traditional regularization (Shin-Zettl theory). The author proves that all sets of local quasi-derivatives for a given singular expression form a parametric family connected by absolutely continuous functions, allowing for the transformation of boundary conditions between different derivative bases.

• Weighted Negative Sobolev Spaces: The author defines a general scale of weighted negative Sobolev spaces ($W^{-k}_{p^*, 1/b}$) by extending the space of test functions. This provides a rigorous framework for defining products of distributions and functions, ensuring the differential expressions are well-defined as functionals.

• Reduction to Volterra Perturbations: The core analytical strategy involves constructing the inverse operator $A = L^{-1}$ of the boundary value problem. The author demonstrates that $A$ can be represented as a finite-dimensional perturbation of an integral Volterra operator:
  $$Af = Mf + \sum_{k=1}^d g_k(x) \int_0^1 f(t) v_k(t) dt$$
  where $M$ is a Volterra operator with a specific kernel structure.

• Asymptotic Analysis and Completeness Theorems: The proof of completeness relies on reducing the problem to Khromov's Theorem regarding the completeness of root functions for finite-dimensional perturbations of Volterra operators. This reduction utilizes Shkalikov's method, which employs the trigonometric convexity of the indicator of entire functions to estimate the growth of the resolvent.

3. Key Contributions

1. Unified Operator Formulation: The paper provides a general representation (Eq. 1.2) for singular differential expressions of arbitrary order (even and odd) with distributional coefficients. This serves as a direct alternative to the Shin-Zettl regularization, avoiding the construction of specific matrix classes for each order.
2. Equivalence of Regularization Approaches: It proves that the operator-differential form is equivalent to the traditional regularization via consistent matrices. The author derives explicit formulas converting non-local quasi-derivatives (from the operator form) to local quasi-derivatives (from the matrix form) and vice versa, showing that boundary conditions can be expressed in terms of any valid set of quasi-derivatives.
3. Completeness for Irregular Conditions: The primary result (Theorem 1) establishes the completeness of the system of root functions for the operator generated by the expression $\ell y$ and irregular semi-separated boundary conditions. This extends Shkalikov's 1976 theorem (which was for regular coefficients) to the singular case.
4. Generalization of Khromov's Theorem: The paper applies and extends Khromov's results on Volterra operators to the specific context of singular differential operators, proving that the root functions remain complete even when the coefficients are distributions and the boundary conditions are irregular.
5. Impossibility of Further Expansion: The author argues that the defined classes of distributional coefficients are maximal; attempting to include more singular coefficients would break the definition of the differential expression as a functional on the appropriate Sobolev space.

4. Main Results

• Theorem 1: For the operator $L$ generated by $\ell y = \frac{d^m}{dx^m}(By^{(n)} + Cy)$ with $B = I + K$ (where $K$ is a Volterra operator with a continuous kernel vanishing on the diagonal) and irregular semi-separated boundary conditions, the system of root functions is complete in $L^2(0,1)$.
• Theorem 6 & 7: Explicit constructions showing that singular differential expressions of even and odd orders with coefficients in negative Sobolev spaces can be reduced to the operator-differential form (1.2).
• Theorem 9: A characterization of all possible sets of local quasi-derivatives for a singular expression, proving they form a parametric family determined by absolutely continuous functions.
• Theorem 10: As a corollary, the completeness of root functions is established for singular differential operators with irregular semi-separated boundary conditions defined via any set of local quasi-derivatives.

5. Significance

• Theoretical Advancement: This work bridges the gap between the spectral theory of regular differential operators and singular operators with distributional coefficients. It resolves the completeness problem for a class of operators where previous methods (relying on regular coefficients) failed.
• Methodological Innovation: By introducing the operator-differential form, the paper offers a more flexible and unified framework for handling singularities compared to the matrix-based Shin-Zettl approach. This simplifies the analysis of boundary conditions and allows for a broader class of perturbations.
• Applications: The results are crucial for the spectral analysis of operators arising in mathematical physics, control theory (specifically systems with delays or non-local effects), and inverse spectral problems where potentials are distributions.
• Foundational Impact: The paper dedicates significant effort to defining the mathematical infrastructure (weighted negative Sobolev spaces, consistent matrices, quasi-derivatives) required to rigorously handle these singularities, providing a robust foundation for future research in this area.

In summary, Sergey Buterin's paper successfully generalizes the theory of completeness of root functions to singular differential operators with irregular boundary conditions by unifying regularization techniques with operator-theoretic methods, ultimately proving that the spectral properties remain stable even under significant singular perturbations.