Linear topological invariants for kernels of convolution and differential operators

DOI10.1016/J.JFA.2023.109886MaRDI QIDQ6397416arXivFDO

Authors Andreas Debrouwere, Thomas Kalmes

Publication date 25 April 2022

Full work available at URL https://doi.org/10.1016/J.JFA.2023.109886

General theory of PDEs and systems of PDEs with constant coefficients (35E20) Topological invariants ((DN), ((Omega)), etc.) for locally convex spaces (46A63) Homological methods in functional analysis (exact sequences, right inverses, lifting, etc.) (46M18)

arXiv classification

math.AP math.FA

Abstract: We establish the condition

(O m e g a)

for smooth kernels of various types of convolution and differential operators. By the

(D N)

-

(O m e g a)

splitting theorem of Vogt and Wagner, this implies that these operators are surjective on the corresponding spaces of vector-valued smooth functions with values in a product of Montel

(D F)

-spaces whose strong duals satisfy the condition

(D N)

, e.g., the space

m a t h s c r D^{'} (Y)

of distributions over an open set

Y s u b s e t e q m a t h b b R^{n}

or the space

m a t h s c r S^{'} (m a t h b b R^{n})

of tempered distributions. Most notably, we show that:

(i)

m a t h s c r E_{P} (X) = f i n m a t h s c r E (X), |, P (D) f = 0

satisfies

(O m e g a)

for any differential operator

P (D)

and any open convex set

X s u b s e t e q m a t h b b R^{d}

.

(i i)

Let

P i n m a t h b b C [x i_{1}, x i_{2}]

and

X s u b s e t e q m a t h b b R^{2}

open be such that

P (D) : m a t h s c r E (X) i g h t a r r o w m a t h s c r E (X)

is surjective. Then,

m a t h s c r E_{P} (X)

satisfies

(O m e g a)

.

(i i i)

Let

m u i n m a t h s c r E^{'} (m a t h b b R^{d})

be such that

m a t h s c r E (m a t h b b R^{d}) i g h t a r r o w m a t h s c r E (m a t h b b R^{d}),, f m a p s t o m u a s t f

is surjective. Then,

f i n m a t h s c r E (m a t h b b R^{d}), |, m u a s t f = 0

satisfies

(O m e g a)

. The central result in this paper states that the space of smooth zero solutions of a general convolution equation satisfies the condition

(O m e g a)

if and only if the space of distributional zero solutions of the equation satisfies the condition

(P O m e g a)

. The above and related results then follow from known results concerning

(P O m e g a)

for distributional kernels of convolution and differential operators.

This page was built for publication: Linear topological invariants for kernels of convolution and differential operators

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6397416)