## Abstract

We consider a locally integrable real-analytic structure, and we investigate the local solvability in the category of Gevrey functions and ultradistributions of the complex \(\mathrm{d}^{\prime }\) naturally induced by the de Rham complex. We prove that the so-called condition \(Y(q)\) on the signature of the Levi form, for local solvability of \(\mathrm{d}^{\prime }u=f\), is still necessary even if we take \(f\) in the classes of Gevrey functions and look for solutions \(u\) in the corresponding spaces of ultradistributions.

### Similar content being viewed by others

Avoid common mistakes on your manuscript.

## 1 Introduction and statement of the results

Consider a real-analytic manifold \(M\) of dimension \(m+n\). A real-analytic locally integrable structure on \(M\), of rank \(n\), is defined by a real-analytic subbundle \(\mathcal V \subset \mathbb C TM\) of rank \(n\), satisfying the Frobenius condition. In fact, in the real-analytic category the Frobenius condition implies that the subbundle \(T^\prime \subset \mathbb C T^*M\) orthogonal to \(\mathcal V \) is locally spanned by exact differentials and hence the structure is locally integrable (see e.g. [3, Theorem I.9.2]). As usual we will denote by \(T^0=T^\prime \cap T^*M\) the so-called *characteristic set*. For any open subset \(\Omega \subset M\) and \(s>1\) the space \(G^s(\Omega , \Lambda ^{p,q})\) of \((p,q)\)-forms with Gevrey coefficients of order \(s\) is then defined (see Section 3 below and Treves [29]) and the de Rham differential induces a map

Similarly, the de Rham differential induces a complex on the space of ”ultra-currents” \(\mathcal D ^{\prime }_s(\Omega , \Lambda ^{p,q})\), i.e. forms with ultradistribution coefficients:

When \(\mathcal V \cap \overline{\mathcal{V }}=0\) the structure is called \(CR\) and \(\mathrm{d}^\prime \) is the so-called tangential Cauchy-Riemann operator.

We are interested in necessary conditions for the Gevrey local solvability problem for the complex \(\mathrm{d}^{\prime }\) to hold near a given point \(x_0\).

###
**Definition 1.1**

We say that the complex \(\mathrm{d}^{\prime }\) is locally solvable near \(x_0\) and in degree \(q,\,1\le q\le n\), in the sense of ultradistribution of order \(s\), if for every sufficiently small open neighborhood \(\Omega \) of \(x_0\) and every cocycle \(f\in G^s(\Omega ,\Lambda ^{0,q})\) there exists an open neighborhood \(V\subset \Omega \) of \(x_0\) and a ultradistribution section \(u\in \mathcal D ^\prime _s(V,\Lambda ^{0,q-1})\) solving \(\mathrm{d}^\prime u=f\) in \(V\).

The analogous problem in the setting of smooth functions and Schwartz distributions has been extensively considered, see e.g. [1–3, 8–12, 20, 22–24, 26, 29], inspired by the results in [16, 17] for scalar operators of principal type; see also [18, 19] as general references for the problem of local solvability of scalar linear partial differential operators.

Several geometric invariants were there introduced, e.g. the signature of the Levi form recalled below, which represent obstructions to the solvability in the sense of distributions, that is, for some smooth \(f\in C^\infty (\Omega ,\Lambda ^{0,q})\) there is no distribution solution \(u\in \mathcal D ^{\prime }(V,\Lambda ^{0,q-1})\) to \(\mathrm{d}^{\prime }u=f\) in \(V\), for every neighborhood \(V\subset \Omega \) of \(x_0\).

It is therefore natural to wonder whether, under the same condition as in the smooth category, \(\mathrm{d}^{\prime }\) is still non-solvable even if we choose \(f\) in the smaller class of Gevrey functions \(G^s(\Omega ,\Lambda ^{0,q})\subset C^\infty (\Omega ,\Lambda ^{0,q})\) and we look for solutions in the larger class of ultradistributions \(\mathcal D ^{\prime }_s(V,\Lambda ^{0,q})\supset \mathcal D ^{\prime }(V,\Lambda ^{0,q})\), as in Definition 1.1. In this note we present a result in this direction.

Let us note that general sufficient conditions for local solvability in the Gevrey category have been recently obtained in [5]; see also [4, 21].

We recall that at any point \((x_0,\omega _0)\in T^0\) it is well defined a sesquilinear form \(\mathcal B _{(x_0,\omega _0)}:\mathcal V _{x_0} \times \mathcal V _{x_0}\rightarrow \mathbb C \), (\(\mathcal V _{x_0}\) is the fiber above \(x_0\)) by

with \(\mathbf v _1,\mathbf v _2\in \mathcal V _{x_0}\), where \(V_1\) and \(V_2\) are smooth sections of \(\mathcal V \) such that \(V_1|_{x_0}=\mathbf v _1,\,V_2|_{x_0}=\mathbf v _2\). The associated quadratic form \(\mathcal V _{x_0} \ni \mathbf v \mapsto \mathcal B _{(x_0,\omega _0)} (\mathbf v ,\mathbf v )\), or \(\mathcal B _{(x_0,\omega _0)}\) itself, is known as *Levi form*.

Here is our result.

###
**Theorem 1.2**

Let \((x_0,\omega _0)\in T^0,\,\omega _0\not =0\). Suppose that \(\mathcal B _{(x_0,\omega _0)}\) has exactly \(q\) positive eigenvalues, \(1\le q\le n\), and \(n-q\) negative eigenvalues, and that its restriction to \(\mathcal V _{x_0}\cap \overline{\mathcal{V }}_{x_0}\) is non-degenerate.

Then, for every \(s>1,\,\mathrm{d}^{\prime }\) is not locally solvable in the sense of ultradistributions of order \(s\), near \(x_0\) and in degree \(q\).

The condition that \(\mathcal B _{(x_0,\omega _0)}\)
*does not have neither*
\(q\)
*positive eigenvalues and*
\(n-q\)
*negative eigenvalues, nor viceversa*, is known in the literature as condition \(Y(q)\) (at \((x_0,\omega _0)\)). Hence the above result states that the condition \(Y(q)\) is necessary for local solvability in degree \(q\) in the sense of ultradistributions of order \(s\), for every \(s>1\), at least when the restriction of the Levi form to \(\mathcal V _{x_0}\cap \overline{\mathcal{V }}_{x_0}\) is non-degenerate.

This result therefore strengthens the analogous one in the category of Schwartz distributions, which was proved in [1] for \(CR\) manifolds and in [29, Theorem XVIII.3.1] for general locally integrable structure (following closely the proof of [1]). For *real-analytic* structures with non-degenerate Levi form the condition \(Y(q)\) was in fact shown in [28] to be necessary and sufficient for the local solvability in degree \(q\) in the frame of Schwartz distributions. See also [15, 25] for partial results when the Levi form is degenerate. As general reference for related results about scalar operators on Gevrey spaces see [27].

## 2 Preliminaries

### 2.1 Gevrey functions and ultradistributions

Let us briefly recall the definition of the classes of Gevrey functions and corresponding ultradistributions; see e.g. [27, Chapter 1] for details.

Let \(s>1\) be a real number and \(\Omega \) be an open subset of \(\mathbb R ^{n}\); let \(C\) be a positive constant. We denote by \(G^s(\Omega ,C)\) the space of smooth functions \(f\) in \(\mathbb R ^{n}\) such that for every compact \(K\subset \Omega \),

This is a Fréchet space endowed with the above seminorms. We set \(G^s(\Omega )\) for the usual Gevrey space of order \(s\), i.e. \(f\in G^s(\Omega )\) if \(f\) is smooth in \(\Omega \) and for every compact \(K\subset \Omega \) there exists \(C>0\) such that \( ||f||_{K,C}<\infty \). We will also consider the space \(G^s_0(K,C)\) of functions in \(G^s(\Omega ,C)\) supported in the compact \(K\); it is a Banach space with the norm \(||u||_{K,C}\). Finally we set

The space of \(\mathcal D ^{\prime }_s(\Omega )\) of ultradistributions of order \(s\) in \(\Omega \) is by definition the dual of \(G_0^s(\Omega )\), i.e. an element \(u\in \mathcal D ^{\prime }_s(\Omega )\) is a linear functional on \(G_0^s(\Omega )\) such that for every compact \(K\subset \Omega \) and every constant \(C>0\) there exists a constant \(C^{\prime }>0\) such that

namely \(u\in (G^s_0(K,C))^{\prime }\) for every \(K,\,C\). Clearly, \(\mathcal D ^{\prime }_s(\Omega )\) contains the usual space \(\mathcal D ^{\prime }(\Omega )\) of Schwartz distributions.

We will need the following estimate for Gevrey seminorms of exponential functions.

###
**Proposition 2.1**

Let \(\psi \) be a real-analytic function in a neighborhood \(\Omega \) of \(0\) in \(\mathbb R ^n\); then for every compact subset \(K\) of \(\Omega \) and every \(C>0,\,s>s^{\prime }>1\), there exists a constant \(C^{\prime }>0\) such that

for every \(\rho >0\), where \(a=\sup \{-\mathrm{Im}\,\psi (x):\,x\in K\}\).

###
*Proof*

By the Faà di Bruno formula (see e.g. [14, page 16]) we have, for \(|\alpha |\ge 1\),

By assumption there exists a constant \(C_1>0\) such that \(|\partial ^\gamma \psi (x)|\le C_1^{|\gamma |}\gamma !\) for \(x\in K,\,|\gamma |\ge 1\). Hence for every \(\alpha \),

with \(C_2=2^{n+1}C_1\), where we used

Hence we have

because \(|\alpha |!\le n^{|\alpha |}\alpha !\) and \(s>1\). Now, we have \((|\alpha |!)^{1-s^{\prime }}(j!)^{s^{\prime }-1}\le 1\) (because \(j\le |\alpha |\) and \(s^{\prime }>1\)), and by Stirling formula the sequence \((|\alpha |!)^{s^{\prime }-s}(C_2C_3/C)^{|\alpha |}\) tends to \(0\) as \(|\alpha |\rightarrow +\infty \), so that it is bounded: \((|\alpha |!)^{s^{\prime }-s}(C_2C_3/C)^{|\alpha |}\le C^{\prime }\) for a suitable constant \(C^{\prime }>0\). Hence

This is essentially (2.1), except for the coefficients \(s^{\prime }\) in the last exponent. To eliminate it, fix \(1<s^{\prime }<s\), choose \(s^{\prime }<s^{\prime \prime }<s\) and apply the last estimate to the pair of exponents \(s^{\prime \prime },s\): we obtain

for a constant \(C^{\prime }>0\) (depending on \(s\) and \(s^{\prime \prime }\)). On the other hand,

for a new constant \(C^{\prime \prime }>0\), which proves (2.1).\(\square \)

### 2.2 Locally integrable structures

Consider a real-analytic manifold \(M\) of dimension \(N=m+n\). A real-analytic locally integrable structure on \(M\), of rank \(n\), is defined by a real-analytic subbundle \(\mathcal V \subset \mathbb C TM\) of rank \(n\), satisfying the Frobenius condition, namely the commutator of sections of \(\mathcal V \) is still a section of \(\mathcal V \). As observed in the introduction the subbundle \(T^\prime \subset \mathbb C T^*M\) orthogonal to \(\mathcal V \) is then locally spanned by exact differentials (see e.g. [3, Theorem I.9.2]). As usual we will denote by \(T^0=T^\prime \cap T^*M\) the so-called *characteristic set*. Let \(k\) be a positive integer, we denote by \(\Lambda ^k\mathbb C T^*M\) the \(k\)-th exterior power of \(\mathbb C T^*M\). Let us consider complex exterior algebra

for any pair of positive integers \(p,q\) we denote by

the homogeneous of degree \(p+q\) in the ideal generated by the \(p\)-th exterior power of \(T^\prime ,\,\Lambda ^p T^\prime \). We have the inclusion

which allows us to define

If \(\phi \) is a smooth section of \(T^\prime \) over an open subset \(\Omega \subset M\), its exterior derivative \(d\phi \) is section of \(T^{\prime 1,1}\). In other words

It follows at once from this that, if \(\sigma \) is a smooth section of \(T^{\prime p,q}\) over \(\Omega \), then \(d\sigma \) is a section of \(T^{\prime p, q+1}\) i.e.

Let \(s>1\), the space \(G^s(\Omega , \Lambda ^{p,q})\) of \((p,q)\)-forms with Gevrey coefficients of order \(s\) is defined, as well as \(G^s(\Omega ,C; \Lambda ^{p,q}),\,G_0^s(K,C; \Lambda ^{p,q})\), etc., with notation analogous to the scalar case.

The de Rham differential induces then a map

(see Treves [29, Section I.6] for more details). Similarly, the de Rham differential induces a complex on the space of ”ultra-currents” \(\mathcal D ^{\prime }_s(\Omega , \Lambda ^{p,q})\), i.e. forms with ultradistribution coefficients:

Namely, consider for simplicity the case when \(\Omega \) is orientable (in fact, in the sequel we will work in a local chart). Stokes’ theorem implies that

if \(u\in G^s(\Omega ,\Lambda ^{p,q}),\,v\in G_0^s(\Omega ,\Lambda ^{m-p,n-q-1})\), and accordingly we can define

if \(u\in D^\prime _s(\Omega ,\Lambda ^{p,q}),\,v\in G_0^s(\Omega ,\Lambda ^{m-p,n-q-1})\).

## 3 Local solvability estimates

We now show that local solvability implies an a priori-estimate. This is analogous to the estimates of Hörmander [16], Andreotti, Hill and Nacinovich [1], Treves [29, Lemma VIII.1.1], in the framework of Schwartz distributions.

###
**Proposition 3.1**

Suppose that, for some \(s>1\), the complex \(\mathrm{d}^{\prime }\) is locally solvable near \(x_0\) and in degree \(q\), in the sense of ultradistributions of order \(s\) (see Definition 1.1). Then for every sufficiently small open neighborhood \(\Omega \) of \(x_0\), every \(C_1>0,\,0<\epsilon <C_2\) there exist a compact \(K\subset \Omega \), an open neighborhood \(\Omega ^{\prime }\subset \subset \Omega \) of \(x_0\) and a constant \(C^{\prime }>0\), such that

for every cocycle \(f\in G^s(\Omega ,C_1;\Lambda ^{0,q})\) and every \(v\in G^s_0(\overline{\Omega ^{\prime }},C_2-\epsilon ;\Lambda ^{m,n-q}).\)

It will follow from the proof that \(\Vert \mathrm{d}^{\prime }v\Vert _{\overline{\Omega ^{\prime }},C_2}<\infty \) if \(v\in G^s_0(\overline{\Omega ^{\prime }},C_2-\epsilon ;\Lambda ^{m,n-q}).\)

###
*Proof*

Let \(V_{j+1}\subset V_j\subset \subset \Omega ,\,j=1,2,\ldots \), be a fundamental system of neighborhoods of \(x_0\). Fix \(C_1>0,\,0<\epsilon <C_2\) and consider the space

The last condition means \(\langle \mathrm{d}^{\prime }u,v\rangle =\langle f,v \rangle \) for every \(v\in G^s_0(\overline{V_j},C_2-\epsilon ;\Lambda ^{m,n-q})\), which makes sense by transposition, because differentiation maps \(G^s_0(\overline{V_j},C_2-\epsilon )\rightarrow G^s_0(\overline{V_j},C_2)\) (see e.g. [27, Proposition 2.4.8]) and multiplication by analytic functions preserve the latter space.

Now, by direct inspection one sees that \(F_j\) is a closed subspace of \(G^s(\Omega ,C_1;\Lambda ^{0,q-1})\times G^s_0(\overline{V_j},C_2;\Lambda ^{0,q})^{\prime }\), therefore Fréchet.

Let

be the canonical projection \((f,u)\mapsto f\). The assumption of local solvability implies that

By the Baire theorem, there exists \(j_0\) such that \(\pi _{j_0}(F_{j_0})\) is of second category. By the open mapping theorem, we see that \(\pi _{j_0}\) is onto and open: there exists a compact \(K\subset \Omega \) and a constant \(C^{\prime }>0\) such that for every cocycle \(f\in G^s(\Omega ,C_1;\Lambda ^{0,q})\), there exists \(u\in G_0^s(\overline{V_{j_0}},C_2;\Lambda ^{0,q-1})^{\prime }\) satisfying \(\mathrm{d}^{\prime }u=f\) in \(G_0^s(\overline{V_{j_0}},C_2-\epsilon ;\Lambda ^{0,q})^{\prime }\) and

Consider now the bilinear functional \((f,v)\mapsto \int _\Omega f\wedge v=\langle f,v\rangle \), for \(f\in G^s(\Omega ,C_1;\Lambda ^{0,q})\) cocycle, and \(v\in G_0^s(\overline{V_{j_0}},C_2-\epsilon ;\Lambda ^{m,n-q})\). Given such a \(f\), we take \(u\) as before, and we get

\(\square \)

## 4 Proof of Theorem 1.2

We work in a sufficiently small neighborhood \(\Omega \) of the point \(x_0\) (to be chosen later), where local solvability holds. We also take \(x_0\) as the origin of the coordinates, i.e. \(x_0=0\). Moreover we make use of the special coordinates, whose existence is proved in see section I.9 of [29]. Namely, let \(n=\mathrm{dim}_\mathbb C \mathcal V _0,\,d=\mathrm{dim}_\mathbb R T^0_0,\,\nu =n-\mathrm{dim}_\mathbb C (\mathcal V _0\cap \overline{\mathcal{V }}_0)\). We have the following result.

###
**Proposition 4.1**

Let \((0,\omega _0)\in T^0,\,\omega _0\not =0\), and suppose that the restriction of the Levi form \(\mathcal B _{(0,\omega _0)}\) to \(\mathcal V _0\cap \overline{\mathcal{V }}_0\) is non-degenerate. There exist real-analytic coordinates \(x_j,y_j\),\(s_k\) and \(t_l,\,j=1,\ldots ,\nu ,\,k=1,\ldots , d,\,l=1,\ldots ,n-\nu \), and smooth real-valued and real-analytic functions \(\phi _k(x,y,s,t),\,k=1,\ldots d\), in a neighborhood \(\mathcal O \) of \(0\), satisfying

such that

define a system of first integrals for \(\mathcal V \), i.e. their differential span \(T^\prime |_\mathcal O \).

Moreover, with respect to the basis

of \(\mathcal V _0\) the Levi form \(\mathcal B _{(0,\omega _0)}\) reads

###
*Remark 4.2*

In particular

In these coordinates we have \(T_0^0=\mathrm{span}_\mathbb R \{ds_k|_0;\ k=1,\ldots ,d\}\), so that \(\omega _0=\sum _{k=1}^d \sigma _k ds_k|_0\), with \(\sigma _k\in \mathbb R \). By (I.9.2) of [29] we have \(\mathcal B _{(0,\omega _0)}(\mathbf v _1,\mathbf v _2)=\sum _{k=1}^d \sigma _k(V_1\overline{V}_2\phi _k)|_0,\) with \(V_1\) and \(V_2\) smooth sections of \(\mathcal V \) extending \(\mathbf v _1\) and \(\mathbf v _2\), respectively. Upon setting \(\Phi =\sum _{k=1}^d\sigma _k\phi _k\) we can suppose, in addition, that

see [29, Section I.9] and [29, (XVIII.3.2)] for details.

We can now prove Theorem 1.2. We may assume, without loss of generality, that \(\sigma =(1,0,\ldots ,0)\). Consequently, from (4.4) (after the change of variables \(t\mapsto t/\sqrt{2}\)) we have

where we set

Moreover, we choose a function \(\chi (x,y,s,t)\) in \(G^s_0(\mathbb R ^{2\nu +d+(n-\nu )}),\,\chi =0\) away from a neighborhood \(V\subset \subset \Omega \) of \(0\) and \(\chi =1\) in a neighborhood \(U\subset \subset V\) of \(0\), where \(V\) and \(U\) will be chosen later on. We set, for \(\rho >0, \lambda >0\),

where, with \(\lambda >1\),

and

Now, we have \(\chi \in G_0^s(\overline{V},C/2)\), for some \(C>0\). We then apply Proposition 3.1 with \(f_{\rho ,\lambda }\) and \(v_{\rho ,\lambda }\) in place of \(f\) and \(v\), respectively, and \(C_1=C_2=C,\,\epsilon =C/2\), taking \(V\) small enough to be contained in the neighborhood \(\Omega ^{\prime }\) which arises in the conclusion of Proposition 3.1. Observe that, in fact, \(f_{\rho ,\lambda }\in G^s (\Omega ,C;\Lambda ^{0,q})\) since this form is real-analytic and \(p^{\prime \prime }+p^\prime =q\) by hypothesis, whereas \(v_{\rho ,\lambda }\in G^s_0(\overline{V},C/2;\Lambda ^{m,n-q})\subset G^s_0(\overline{\Omega ^{\prime }},C/2;\Lambda ^{m,n-q})\) (recall, \(m=\mathrm{dim} M-n\)). We prove now that \(f_\rho \) is a cocycle (i.e. \(\mathrm{d}^\prime f_{\rho ,\lambda }=0\)), so that Proposition 3.1 can in fact be applied. However, we will show that (3.1) fails for every choice of \(C^{\prime }\) when \(\rho \rightarrow +\infty \), if \(\lambda \) is large enough, obtaining a contradiction.

Now, we have

In fact, we have \(h_{1,\lambda }=-\iota w_1-2|z^{\prime }|^2-2|t^{\prime }|^2-\lambda \sum _{k=1}^d w_k^2\), so that, modulo sections of \(T^{\prime 1,0}\), that is \(\mathrm{span}\,\{dz_1,\ldots ,dz_\nu ,dw_1,\ldots dw_d\}\), we have

and the wedge product in (4.8) therefore vanishes.

Similarly

In order to estimate the right hand side of (3.1) we observe that, by (4.5) and (4.6)

where

for every \(\epsilon >0\). Hence, if \(\epsilon \) and then \(1/\lambda \) are small enough we see that, possibly after replacing \(\Omega \) with a smaller neighborhood,

Similarly,

with \(\mathcal R ^\prime \) satisfying the same estimate (4.10). Therefore if \(\lambda \) is sufficiently large, in \(\Omega \) we have

Hence, possibly for a smaller \(V\), since \(U\subset \subset V\) is a neighborhood of \(0\), there exists a constant \(c>0\) such that

As a consequence of Proposition 2.1 and (4.11), (4.12), for every compact subset \(K\subset \Omega \) it turns out

for any \(1<s^{\prime }<s\), where the constants \(C^\prime , C^{\prime \prime }\) are independent of \(\rho \). It follows that

because \(s^{\prime }>1\). On the other hand, we now verify that the left-hand side of (3.1) satisfies

as \(\rho \rightarrow +\infty \), which together with (4.15) contradicts (3.1).

The proof of (4.16) is achieved by the same argument which appears at the end of the proof of [29, Theorem XVIII.3.1]. We sketch it here for the sake of completeness.

We have

where \(0\not =c\in \mathbb R \). Observe that

Hence, since \(\lambda >1\), if \(V\) is small enough (recall \(\mathrm{supp}\chi \subset \overline{V}\)) we have

We now perform the change of variables \((x,y,s,t)\rightarrow \rho ^{-1/2}(x,y,s,t)\) in (4.17). Then \(\rho \cdot (h_{1,\lambda }+h_{2,\lambda })(\rho ^{-1/2}x,\rho ^{-1/2}y,\rho ^{-1/2}s, \rho ^{-1/2}t)\) converges pointwise to

as \(\rho \rightarrow +\infty \). Hence, by virtue of (4.17), (4.1), (4.18) and the Lebesgue convergence theorem we deduce

which proves (4.16).

###
*Remark 4.3*

The above machinery can be applied to prove other necessary conditions for Gevrey local solvability in the spirit of analogous results valid in the framework of smooth functions and Schwartz distributions.

As an example, consider the special case of local solvability when \(q=n\), namely in top degree. In this case, the Cordaro–Hounie condition \((\mathcal P )_{n-1}\) (see [7] and [9]) is known to be necessary for the local solvability in the smooth category, and it is conjectured to be sufficient as well. Consider the following analytic variant. Let \(L_j,\,j=1,\ldots ,n\), be real-analytic independent vector fields which generates \(\mathcal V \) at any point of \(\Omega \).

*We say that the real-analytic condition*
\((\mathcal P )_{n-1}\)
*is satisfied at*
\(x_0\)
*if there exists an open neighborhood*
\(U\subset \Omega \)
*of*
\(x_0\)
*such that, given any open set*
\(V\subset U\)
*and given any real-analytic*
\(h\in C^\infty (V)\)
*satisfying*
\(L_j h=0,\,j=1,\ldots ,n\), *then*
\(\mathrm{Re}\, h\)
*does not assume a local minimum*
^{Footnote 1}
*over any nonempty compact subset of*
\(V\).

One could then prove that *if the real-analytic condition*
\((\mathcal P )_{n-1}\)
*is not satisfied at*
\(x_0\), *then for every*
\(s>1,\,\mathrm{d}^{\prime }\)
*is not locally solvable in the sense of ultradistributions of order*
\(s\), *near*
\(x_0\)
*and in degree*
\(n\). For the sake of brevity we omit the proof, which goes on along the same lines as that in [9, Theorem 1.2], using the local solvability estimates in Proposition 3.1, combined with Proposition 2.1.

###
*Remark 4.4*

The above results would seem to suggest the following conjecture:

*When*
\(\mathrm{d^{\prime }}\)
*is not locally solvable at*
\(x_0\)
*in the sense of Schwartz distributions (i.e. for every neighborhood*
\(\Omega \)
*belonging to a fundamental system of neighborhoods of*
\(x_0\), *there exists a*
\(\mathrm{d}^{\prime }\)
*-closed*
\((0,q)\)
*-form*
\(f\)
*in*
\(\Omega \)
*for which the system*
\({\mathrm{d}^{\prime }} u=f\)
*has no distribution solutions in any neighborhood*
\(V\subset \Omega \)
*of*
\(x_0\)
*), then it is not solvable even in the sense of ultradistributions of order*
\(s\)
*, for every*
\(s>0\) (Definition 1.1).

A similar result, but on the positive side, is proved in [5, Theorem 5.1].

This conjecture is also supported by the special case of non-vanishing vector fields (or, more generally, operators of principal type), where the Nirenberg-Treves’ condition \(\mathcal P \) is in fact necessary and sufficient for local solvability in the frame of Schwartz distributions ([3, Chapter 4]) and the same condition is still necessary (and of course sufficient) for the solvability in the sense of ultradistributions for order \(s\), for every \(s>1\) ([27, Theorem 3.5.8]). The case of scalar operators is however very special and we do not have strong elements in favor of the above conjecture yet. Further interesting speculations seem to be needed.

## Notes

A real-valued function \(f\) defined on a topological space \(X\) is said to assume a local minimum over a compact set \(K\subset X\) if there exist \(a\in \mathbb R \) and \(K\subset V\subset X\) open such that \(f=a\) on \(K\) and \(f>a\) on \(V\setminus K\).

## References

Andreotti, A., Fredricks, G., Nacinovich, M.: On the absence of the Poincaré lemma in tangential Cauchy-Riemann complexes. Ann. Scuola Norm. Sup. Pisa, Sci. Fis. Mat

**8**, 365–404 (1981)Andreotti, A., Hill, C.D.: E.E. Levi convexity and the Hans lewy problem, I and II. Ann. Scuola Norm. Sup. Pisa, Sci. Fis. Mat

**26**(325–363), 747–806 (1972)Berhanu, S., Cordaro, P.D., Hounie, J.: An Introduction to Involutive Structures. Cambridge University Press, Cambridge (2008)

Caetano, P.A.S.: Classes de Gevrey em estruturas hipo-analiticas, PhD thesis. University of Sao Paulo, Brazil (2001)

Caetano, P.A.S., Cordaro, P.D.: Gevrey solvability and Gevrey regularity in differential complexes associated to locally integrable structures. Trans. Am. Math. Soc.

**363**, 185–201 (2011)Chanillo, S., Treves, F.: Local exactness in a class of differential complexes. J. Am. Math. Soc.

**10**(2), 393–426 (1997)Cordaro, P.D.: Microlocal analysis applied to locally integrable structures, Lecture Notes for the Congress “Phase space analysis of Partial Differential Equations”. Centro di Ricerca Matematica ”Ennio De Giorgi”, Pisa, April (2004)

Cordaro, P.D., Hounie, J.: On local solvability of undeterminated systems of vector fields. Am. J. Math.

**112**, 243–270 (1990)Cordaro, P.D., Hounie, J.: Local solvability for top degree forms in a class of systems of vector fields. Am. J. Math.

**121**, 487–495 (1999)Cordaro, P.D., Hounie, J.: Local solvability for a class of differential complexes. Acta Math.

**187**, 191–212 (2001)Cordaro, P.D., Treves, F.: Homology and cohomology in hypoanalytic structures of the hypersurfaces type. J. Geom. Anal.

**1**, 39–70 (1991)Cordaro, P.D., Treves, F.: Hyperfunctions on Hypo-Analytic Manifolds, Annals of Mathematics Studies, 136. Princeton University Press, Princeton (1994)

Chen, S.-C., Shaw, M.-C.: Partial differential equations in several complex variables, Studies in Advanced Mathematics, vol. 19. International Press, Providence, RI, Am. Mat. Soc. (2001)

Gramchev, T.V., Popivanov, P.R.: Partial Differential Equations. Mathematical Research, 108. Wiley-VCH Verlag Berlin GmbH, Berlin (2000)

Hill, C.D., Nacinovich, M.: On the failure of the Poincaré lemma for \(\overline{\partial }_M\) II. Math. Ann.

**335**, 193–219 (2006)Hörmander, L.: Differential operators of principal type. Math. Ann.

**140**, 124–146 (1960)Lewy, H.: An example of a smooth linear partial differential equation without solution. Ann. Math.

**66**, 155–158 (1957)Lerner, N.: Metrics on the Phase Space and Non-Selfadjoint Pseudodifferential Operators. Birkhäuser, Basel (2010)

Mascarello, M., Rodino, L.: Partial Differential Equations with Multiple Characteristics. Wiley-VCH, Berlin (1997)

Michel, V.: Sur la régularité \(C^\infty \) du \(\overline{\partial }\) au bord d’un domaine de \(\mathbb{C}^n\) dont la forme de Levi a exactement \(s\) valeus propres négatives. Math. Ann.

**295**, 135–161 (1993)Michel, V.: Résolution locale du \(\overline{\partial }\) avec régularité Gevrey au bord d’un domaine r-convexe. Math. Z.

**218**, 305–317 (1995)Nacinovich, M.: Poincaré lemma for tangential Cauchy-Riemann complexes. Math. Ann.

**268**, 449–471 (1984)Nacinovich, M.: On strict Levi \(q\)-convexity and \(q\)-concavity on domains with piecewise smooth boundaries. Math. Ann.

**281**, 459–482 (1988)Nicola, F.: On the absence of the one-sided Poincaré lemma in Cauchy-Riemann manifolds. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5)

**4**(4), 587–600 (2005)Nicola, F.: On Local solvability of certain differential complexes. Proc. Am. Math. Soc.

**136**(1), 351–358 (2008)Peloso, M.M., Ricci, F.: Tangential Cauchy-Riemann equations on quadratic CR manifolds. Rend. Mat. Acc. Lincei

**13**, 125–134 (2002)Rodino, L.: Linear Partial Differential Operators in Gevrey Spaces. World Scientific, Singapore (1993)

Treves, F.: A remark on the Poincaré lemma in analytic complexes with nondegenerate Levi form. Comm. Partial Differ. Equ.

**7**, 1467–1482 (1982)Treves, F.: Hypo-Analytic Strucures: Local Theory. Princeton University Press, Princeton (1992)

## Acknowledgments

We would like to thank the anonymous referee for useful comments and for suggesting the conjecture in Remark 4.4.

## Author information

### Authors and Affiliations

### Corresponding author

## Rights and permissions

## About this article

### Cite this article

Malaspina, F., Nicola, F. Gevrey local solvability in locally integrable structures.
*Annali di Matematica* **193**, 1491–1502 (2014). https://doi.org/10.1007/s10231-013-0340-z

Received:

Accepted:

Published:

Issue Date:

DOI: https://doi.org/10.1007/s10231-013-0340-z

### Keywords

- Gevrey local solvability
- Locally integrable structures
- Poincaré lemma
- Differential complexes
- Involutive structures