Runge type approximation results for spaces of smooth Whitney jets

This paper establishes Runge-type approximation results for solutions to linear partial differential equations with constant coefficients on spaces of smooth Whitney jets, providing geometric characterizations of density conditions for elliptic, parabolic, and wave operators, and applying these findings to the approximation of holomorphic functions on specific planar domains.

The Gist

Imagine you are an architect trying to build a perfect model of a city. You have a blueprint for the whole city (a large area), but you only have a small, specific neighborhood where you can actually lay bricks right now. The big question is: Can you build a model of just this small neighborhood that looks exactly like the real thing, using only the materials and designs available in the larger city?

In mathematics, this is called Runge Approximation. It asks: If I have a "solution" (a smooth, perfect shape) on a small area, can I find a "solution" on a bigger area that matches the small one perfectly?

This paper by Tomasz Ciaś and Thomas Kalmes tackles a very specific, tricky version of this problem. Here is the breakdown in everyday language:

1. The Setting: "Whitney Jets" (The Perfect Blueprint)

Usually, mathematicians talk about smooth functions (like a smooth curve). But this paper talks about Whitney Jets.

• The Analogy: Imagine a smooth curve is just the line you draw. A Whitney Jet is the line plus a complete set of instructions for how that line bends, twists, and curves at every single point, even if you zoom in infinitely close. It's the "perfect blueprint" of a shape, including all its derivatives (slopes, curvatures, etc.).
• The Challenge: The authors are looking at these perfect blueprints on closed sets (shapes with solid boundaries, like a solid disk or a weirdly shaped island), not just open spaces.

2. The Rules of the Game: The "Partial Differential Operator"

The shapes they are building must follow specific physical laws, described by equations called Partial Differential Operators (PDEs).

• Elliptic Operators (The "Steady" Rules): Think of these like the rules for a static sculpture or a soap bubble. The shape is balanced everywhere. (Example: The Laplace equation).
• Non-Elliptic Operators (The "Flowing" Rules): These are like rules for moving things, like heat spreading through a metal rod or waves crashing on a beach. The shape changes over time or in a specific direction. (Examples: The Heat Equation, the Wave Equation).

3. The Main Discovery: The "No-Island" Rule

The authors figured out exactly when you can approximate a small shape using a big one.

For the "Steady" Rules (Elliptic):
They proved a beautiful geometric rule:

You can approximate the small shape with the big one if and only if the big area doesn't have any "islands" of empty space trapped inside the small shape's boundary.

• The Metaphor: Imagine your small neighborhood is a ring (like a donut). If the big city has a hole in the middle of that ring, you can't build a perfect model of the ring using only the city's materials because the "hole" is a trapped island that the big city can't reach. But if the big city fills that hole, you are good to go.

For the "Flowing" Rules (Non-Elliptic, like Heat or Waves):
This is much harder because the rules have a "direction" (like time).

• The Heat Equation: Heat flows one way. You can't approximate a future temperature based on a past one if the "future" is trapped in a way that heat can't flow out of.
• The Wave Equation: Waves travel in straight lines (characteristic lines). If a small shape is trapped inside a "box" formed by these wave paths, you can't approximate it from the outside.

The authors found a geometric condition for these flowing rules. It basically says: "You can approximate the small shape if the big area doesn't trap the small shape inside a 'dead end' relative to the direction the waves or heat are traveling."

4. Why This Matters (The "So What?")

You might ask, "Who cares about these abstract blueprints?"

• Solving Real Problems: This helps mathematicians understand how to solve complex physics problems (like fluid dynamics or quantum mechanics) by breaking them down into smaller, manageable pieces.
• The "Polynomials" Connection: The paper solves a long-standing puzzle about Holomorphic Polynomials (a special type of complex number function). They proved that if a shape in the complex plane has no "trapped islands" and is "nice" enough, you can approximate any smooth function on that shape using simple polynomials (like $x^2 + 3x + 1$). This is a huge deal for complex analysis.
• The Wave Equation: They gave a simple rule for the wave equation in 2D space. If your shape doesn't get "cut off" by the paths waves travel, you can approximate it.

Summary

Think of this paper as a master key for architects.

1. It defines what a "perfect blueprint" (Whitney Jet) looks like.
2. It tells you the geometric rules for when you can build a small, perfect section of a building using materials from a larger construction site.
3. It shows that for static buildings, you just need to avoid "trapped islands."
4. For moving buildings (like heat or waves), you need to make sure the "flow" isn't blocked by the shape of the site.

The authors didn't just guess; they provided rigorous mathematical proofs that turn these geometric intuitions into hard, undeniable facts. This allows scientists to confidently use approximation techniques in fields ranging from fluid dynamics to quantum physics.

Technical Summary

Here is a detailed technical summary of the paper "Runge Type Approximation Results for Spaces of Smooth Whitney Jets" by Tomasz Ciaś and Thomas Kalmes.

1. Problem Statement and Context

The Core Problem:
The paper addresses the Runge approximation problem for linear partial differential operators (PDOs) with constant coefficients acting on spaces of smooth Whitney jets defined on closed subsets of $\mathbb{R}^d$.

• Classical Context: Runge's theorem (complex analysis) states that holomorphic functions on a domain $X_1$ can be approximated by functions on a larger domain $X_2$ if and only if $X_2$ does not contain any bounded connected components of the complement $\mathbb{C} \setminus X_1$.
• Generalization: The Lax-Malgrange theorem extended this to kernels of elliptic PDOs on open sets. Subsequent work addressed non-elliptic operators (like the heat or wave equations) on open sets, often requiring geometric conditions on the domains.
• The Gap: While Runge-type results are well-established for functions on open sets, there was a lack of results for Whitney jets (smooth functions with prescribed Taylor expansions) on closed subsets. The authors aim to characterize when the restriction of solutions on a closed set $F_2$ is dense in the space of solutions on a smaller closed set $F_1 \subset F_2$.

Key Definitions:

• Whitney Jets ($E(F)$): The space of families of continuous functions on a closed set $F$ that satisfy Taylor remainder conditions, effectively representing smooth functions extendable to $\mathbb{R}^d$.
• $P$-Runge Pair: A pair of closed sets $(F_1, F_2)$ with $F_1 \subset F_2$ is called a $P$-Runge pair if the image of the restriction map $r: E_P(F_2) \to E_P(F_1)$ is dense in $E_P(F_1)$, where $E_P(F)$ is the kernel of the operator $P(D)$ on $E(F)$.

2. Methodology

The authors employ a functional analytic approach combined with geometric analysis and distribution theory.

1. Functional Analytic Framework:

   • They utilize the duality between the Fréchet space of Whitney jets $E(F)$ and its strong dual $E'(F)$ (distributions with compact support in $F$).
   • Using the Hahn-Banach Theorem, they establish that the density of the restriction map is equivalent to the injectivity of the transpose of the restriction map on the dual spaces.
   • They derive a necessary and sufficient condition (Theorem 5) based on the behavior of distributions: $(F_1, F_2)$ is a $P$-Runge pair if and only if every distribution $u$ supported in $F_2$ such that $\check{P}(D)u$ is supported in $F_1$ must itself be supported in $F_1$. (Here $\check{P}(\xi) = P(-\xi)$).

2. Geometric Characterization:

   • Elliptic Case: They leverage the property that solutions to elliptic equations are real-analytic outside the support of the source term. This allows them to translate the distributional condition into a topological condition regarding bounded connected components.
   • Non-Elliptic Case: For operators with a single characteristic direction (e.g., parabolic, wave), they analyze the geometry of characteristic hyperplanes. They construct specific test functions (smooth solutions with compact support in specific slabs) to prove that if a "bad" geometric configuration exists (a bounded component trapped in $F_2$), approximation fails.

3. Boundary Regularity:

   • To establish necessity (converse implications) for non-elliptic operators, they impose mild regularity conditions on the boundary of $F_1$ (e.g., $C^1$ boundary or continuous boundary with specific "crossing" properties) to ensure that local geometric obstructions can be detected globally.

3. Key Contributions and Results

The paper provides a complete characterization for elliptic operators and partial characterizations for specific non-elliptic classes.

A. General Characterization (Theorem 5)

The authors prove that $(F_1, F_2)$ is a $P$-Runge pair if and only if:

For every distribution $u$ with $\text{supp}(u) \subset F_2$, if $\text{supp}(\check{P}(D)u) \subset F_1$, then $\text{supp}(u) \subset F_1$.

This serves as the foundational result from which all geometric theorems are derived.

B. Elliptic Operators (Theorem A / Theorem 12)

For elliptic operators $P(D)$, the characterization is purely topological and mirrors the classical Runge theorem:

• Result: $(F_1, F_2)$ is a $P$-Runge pair if and only if $F_2$ does not contain any bounded connected component of $\mathbb{R}^d \setminus F_1$.
• Significance: This extends the Lax-Malgrange theorem to Whitney jets on closed sets.

C. Application to Holomorphic Functions (Corollary 14)

As a specific application, the authors resolve an open problem regarding the density of polynomials in the space $A^\infty(\Omega)$ (holomorphic functions with smooth extensions to the boundary).

• Result: For an open set $\Omega \subset \mathbb{C}$ satisfying the "strong regularity condition" (e.g., Hölder continuous boundary), the polynomials are dense in $A^\infty(\Omega)$ if and only if $\mathbb{C} \setminus \Omega$ has no bounded connected components.

D. Non-Elliptic Operators with Single Characteristic Direction (Theorem B)

For operators where the principal part vanishes only on a line (e.g., parabolic operators like the heat equation $P(D) = \partial_t - \Delta_x$ or the Schrödinger operator), the authors provide a geometric condition involving characteristic hyperplanes.

• Sufficient Condition: If there is no $c \in \mathbb{R}$ such that the intersection of the complement of $F_1$ with the hyperplane $x_1 = c$ has a bounded connected component contained in $F_2$, then approximation holds.
• Necessity: Under mild boundary assumptions on $F_1$ (e.g., $C^1$ boundary not tangent to the characteristic direction), this condition is also necessary.
• Specific Examples:
  • Heat Operator: The condition relates to the time-slices of the sets.
  • Wave Operator (1D space): The authors derive a condition on characteristic lines. $(F, \mathbb{R}^2)$ is a Runge pair iff no characteristic line intersects $\mathbb{R}^2 \setminus F$ in a bounded component contained in $F$.

4. Significance and Impact

1. Bridging a Theoretical Gap: The paper successfully extends the theory of Runge approximation from open sets (functions) to closed sets (Whitney jets). This is crucial for problems involving boundary value problems and approximation on irregular domains.
2. Unified Framework: It provides a unified distributional criterion (Theorem 5) that applies to all constant coefficient PDOs, separating the algebraic properties of the operator from the geometric properties of the sets.
3. Resolution of Open Problems: It settles the question of polynomial density in $A^\infty(\Omega)$ for domains with strong regularity, generalizing previous results by Nestoridis and others.
4. Non-Elliptic Insights: By providing geometric conditions for parabolic and wave operators, the paper moves beyond the well-trodden path of elliptic operators, offering new tools for analyzing approximation in physics-related equations (heat flow, wave propagation) where characteristic directions play a dominant role.
5. Methodological Rigor: The use of Whitney jet spaces allows for a precise handling of boundary behavior and smoothness, which is often lost in standard $C^\infty$ open set formulations.

In summary, Ciaś and Kalmes have established a robust geometric and analytic framework for Runge-type approximation on closed sets, characterizing exactly when solutions to PDEs on a larger set can approximate solutions on a smaller set, with distinct results for elliptic, parabolic, and hyperbolic operators.