
==== Front
Rev R Acad Cienc Exactas Fis Nat A Mat
Rev R Acad Cienc Exactas Fis Nat A Mat
Revista De La Real Academia De Ciencias Exactas, Fisicas Y Naturales. Serie A, Matematicas
1578-7303
1579-1505
Springer International Publishing Cham

1586
10.1007/s13398-024-01586-z
Original Paper
The Kotake–Narasimhan theorem in general ultradifferentiable classes
http://orcid.org/0000-0003-2612-5349
Fürdös Stefan stefan.fuerdoes@univie.ac.at

12
1 https://ror.org/036rp1748 grid.11899.38 0000 0004 1937 0722 Instituto de Matemática e Estatística, Universidade de São Paulo, Rua do Matão 1010, 05508-090 São Paulo, SP Brazil
2 https://ror.org/03prydq77 grid.10420.37 0000 0001 2286 1424 Fakultät für Mathematik, Universität Wien, Oskar-Morgenstern-Platz 1, 1090 Wien, Austria
9 4 2024
9 4 2024
2024
118 3 863 7 2023
10 3 2024
© The Author(s) 2024
https://creativecommons.org/licenses/by/4.0/ Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
We prove a Kotake–Narasimhan type theorem in general ultradifferentiable classes given by weight matrices. In doing so we simultaneously recover and generalize significantly the known results for classes given by weight sequences and weight functions. In particular, we obtain a sharp Kotake–Narasimhan theorem for Beurling classes.

Keywords

Kotake–Narasimhan theorem
Problem of iterates
Ultradifferentiable functions
Ultradifferentiable vectors
Mathematics Subject Classification

Primary 35B65
Secondary 26E10
35B45
35J48
46E10
http://dx.doi.org/10.13039/501100002428 Austrian Science Fund J4439 Fürdös Stefan University of ViennaOpen access funding provided by University of Vienna.

issue-copyright-statement© The Royal Academy of Sciences, Madrid 2024
==== Body
pmcIntroduction

Historical background

In this paper we consider the problem of iterates for elliptic operators with coefficients in general ultradifferentiable structures.1 In its general form the problem of iterates for an ultradifferentiable structure U can be stated in the following way:Let u be a smooth function which satisfies the defining estimates of U with respect to the iterates of a differential operator P. Can we conclude that u is already an element of U?

If the answer to the question above is affirmative for an ultradifferentiable structure U and an operator P then we say that the theorem of iterates holds for the operator P with respect to U.

Recently, there has been a resurged interest in the problem of iterates in various different settings, see e.g. [6, 14, 17, 20, 21]. For surveys on the problem of iterates we refer the reader to [9, 16]. In this paper we are going to revisit the classical case of elliptic operators in open sets of Rn in view of the recently expanded theory on general ultradifferentiable classes.

The main starting point of the problem of iterates was when in 1962 Kotake–Narasimhan [27] and Komatsu [24] separately proved the following statement: If P is an elliptic operator of order d with analytic coefficients on an open set Ω⊆Rn, then a smooth function u∈E(Ω) is analytic in Ω if and only if for each relatively compact set U⊆Ω there are constants C,h>0 such that‖Pku‖L2(U)≤Chk(dk)!,k∈N0.

Nelson [33] proved an analogous statement for an elliptic system of analytic vector fields.

The next natural step is then to ask if a similar result holds if one considers instead of the analytic class more general ultradifferentiable classes. We are going to say that the Kotake–Narasimhan theorem holds for an ultradifferentiable structure U if the theorem of iterates with respect to U holds for every elliptic operator P with coefficients in U.

For example Bolley-Camus [7] proved the Kotake–Narasimhan theorem for Gevrey classes. If we want to consider more general families of ultradifferentiable classes then the commonly used spaces are the Denjoy–Carleman classes which are defined by weight sequences, for an introduction see e.g. [25], and the Braun–Meise–Taylor classes which are given by weight functions, introduced in their modern form by [13]. Both of these classes are generalizations of the Gevrey classes, however, they do not in general coincide, see [11]. In this paper we take a step further and consider ultradifferentiable classes given by weight matrices, i.e. countable families of weight sequences, which were introduced in [34, 35]. These classes include both Denjoy–Carleman and Braun-Meise-Taylor classes. In [20] we showed that the theorem of iterates with respect to classes given by weight matrices holds for elliptic operators with analytic coefficients using a microlocal analytic approach, generalizing results of [8] in the case of weight sequences and of [5] for weight functions.

More generally, the Kotake–Narasimhan theorem for Denjoy–Carleman classes was proven in [29] and in a more general form in [15]. In the case of Braun–Meise–Taylor classes the Kotake–Narasimhan theorem was shown by [6]. All these instances followed generally the lines of the proofs of [24, 27] and [7], which used a technique involving a-priori L2-estimates and nested neighborhoods first introduced by Morrey-Nirenberg [32]. In this paper we prove the Kotake–Narasimhan theorem for ultradifferentiable classes given by weight matrices by adapting the proof in [7] resp. [14]. In doing so we not only recover the known statements in Denjoy–Carleman classes and Braun-Meise-Taylor classes but also partially generalizing them. In particular, in the case of Denjoy–Carleman classes Lions and Magenes [29] asked, what the optimal conditions on the weight sequences are in order for the Kotake–Narasimhan Theorem to hold. As we will see, our main result implies especially that the Kotake–Narasimhan Theorem holds for the Denjoy–Carleman classes determined by the sequencesNkq=q2,k∈N0,

where q>1 is a real parameter. These sequences have not been covered by the previous works on the Kotake–Narasimhan Theorem for Denjoy–Carleman classes, cf. Remark 1.5.

Statement of main results

In order to formulate our main results for weight sequences and weight functions we need to fix some notations: Ω will always be an open set of Rn and we set Dj=-i∂j=-i∂xj where ∂xj is the j-th partial derivative, j=1,⋯,n. We denote the set of positive integers by N whereas N0=N∪{0}. Furthermore we say that a sequence M=(Mk)k of positive numbers is a weight sequence if M0=1≤M1 and1.1 Mk2≤Mk-1Mk+1

for all k∈N. Next we define the Denjoy–Carleman class associated to M over an open set Ω⊆Rn. To a weight sequence M we can in fact associate two different ultradifferentiable classes. First the Roumieu class associated to M is given byE{M}Ω={f∈E(Ω)|∀U⋐Ω∃h>0∃C>0:supx∈U|Dαf(x)|≤Ch|α|M|α|∀α∈N0n}

whereas the Beurling class associated to M isE(M)(Ω)={f∈E(Ω)|∀U⋐Ω∀h>0∃C>0:supx∈U|Dαf(x)|≤Ch|α|M|α|∀α∈N0n}.

A basic question in the theory of ultradifferentiable classes is that of quasianalyticity. We recall that an algebra E of smooth functions is called non-quasianalytic if the only flat function in E is the zero function. The Denjoy–Carleman theorem, see [23], says that a Denjoy–Carleman class E[M](Ω)2 is non-quasianalytic if and only if1.2 ∑k=1∞Mk-1Mk<∞.

We call a weight sequence M non-quasianalytic if (1.2) holds and otherwise quasianalytic.

In order to formulate the Kotake–Narasimhan Theorem for Denjoy–Carleman classes we have to specify additional conditions on the weight sequence M. It is often easier to formulate these conditions not in terms of the sequence (Mk)k directly but to use other sequences associated to M, like mk=Mk/k! or μk=Mk/Mk-1.

Definition 1.1

Let M=(Mk)k be a weight sequence. We say that M is weakly regular if the following conditions hold:1.3 limk→∞mkk=∞,

1.4 the sequencemkkis increasing,

1.5 ∃γ>0:Mk+1≤γk+1Mk∀k∈N0.

Example 1.2

Let s≥1. The Gevrey sequence Gs, which is given by Gks=(k!)s, is weakly regular. More generally the weight sequences Bs,σ, defined by Bks,σ=(k!)slog(k+e)σk, are weakly regular for all s≥1 and σ>0. The sequences Bs,σ are quasianalytic if and only if s=1 and 0<σ≤1.

Another examples of weakly regular weight sequences are the following: For q>1 and 1<r let Lq,r be given by Lkq,r=qr. The weight sequences Lq,r are weakly regular for all q>1 and 1<r≤2. In particular the case r=2 are the q-Gevrey sequences Nq given by Nq=q2.

If P={P1,⋯,Pℓ} is a system of partial differential operatorsPj=∑|α|≤djajαDα

with smooth coefficients ajα∈E(Ω), then we recall that the system P is elliptic in Ω if for every x∈Ω the principal symbolspj(x,ξ)=∑|α|=djajα(x)ξα,ξ∈Rn,

have no common nontrivial real zero in ξ.

Our main result in the case of Denjoy–Carleman classes is the following theorem.

Theorem 1.3

Let M be a weakly regular weight sequence and P={P1,⋯,Pℓ} be an elliptic system of differential operators. Then the following statements hold: Assume that the coefficients of the operators Pj, j=1,⋯,ℓ, are all elements of E{M}Ω. Then u∈E{M}Ω if and only if u∈E(Ω) and for all U⋐Ω there are constants C,h>0 such that for all k∈N0 we have that ‖Pαu‖L2(U)≤ChdαMdα

for all α∈{1,⋯,ℓ}k where Pα=Pα1⋯Pαk and dα=dα1+⋯+dαk with dj denoting the order of the operator Pj, j=1,⋯,ℓ.

Assume that the coefficients of the operators Pj, j=1,⋯,ℓ, are in E(M)(Ω). Then u∈E(M)(Ω) if and only if u∈E(Ω) and for all U⋐Ω and every h>0 there exists a constant C>0 such that ‖Pαu‖L2(U)≤ChdαMdα

for all k and α∈{1,⋯,ℓ}k.

Remark 1.4

The notion of a weakly regular weight sequence is inspired by [18]. In that article a weight sequence M is called regular if M satisfies (1.3), (1.5) and instead of (1.4) the sequence M is strongly logarithmic convex, i.e.1.6 mk2≤mk-1mk+1∀k∈N.

In fact, (1.6) implies (1.4).

Remark 1.5

We need to point out that Theorem 1.3 is a considerably more general statement then the previous known results, like [15, 29] or [14] in the Roumieu case and [12] in the Beurling case. In these papers varying conditions on the weight sequence are assumed, but these conditions always include (1.2),1.7 mkmℓ≤mk+ℓ∀k,ℓ∈N0

and1.8 ∃γ>0:Mj+k≤γj+k+1MjMk,∀j,k∈N0.

To compare these conditions with those of our result we may note that it is easy to see that (1.7) is another consequence of (1.6). However, if M is a weight sequence we can see that (1.4) implies also (1.7): For k=0 we have that m0mℓ=mℓ for all ℓ∈N0 and the same is true for ℓ=0 and all k∈N0. So we have to show (1.7) for k,ℓ∈N, but then we havemkmℓ≤mk+ℓk/(k+ℓ)mk+ℓℓ/(k+ℓ)=mk+ℓ

by (1.4). Thence in that regard our conditions are formally more restrictive, but this is compensated by the fact that we replaced the other conditions noted above by far weaker conditions.

The most interesting property above in that regard is the last one. It is clear that (1.8) implies (1.5). However, (1.8) is far more restrictive than (1.5), see e.g. [30]. In fact, if a weight sequence M satisfies (1.8) then there is some s>1 such that E[M](Ω)⊆Gs(Ω). For example, the sequences Lq,r cannot satisfy (1.8) for any choice of q,r>1.

Moreover, we have replaced (1.2) by the non-analyticity condition (1.3). We will see in the next section, cf. Remark 2.4, that (1.3) is still nearly superfluous but we use it in order to allow for a unified formulation of Theorem 1.3. This only excludes formally the analytic case, which is well-known to hold.

We may also observe that in the Beurling case Theorem 1.3 is also a strict statement in the sense that we allow that the coefficients are in the class given by the same weight sequence as the space of vectors considered. In contrast, for example [12] requires that the coefficients of the operators are in a strictly smaller class than the vectors considered. We are able to remove this restriction by applying an argument given in [26], which essentially allows us to reduce the Beurling case to the Roumieu case.

In the case of Braun–Meise–Taylor classes our main theorem boils down to the following statement. Recall that a weight function ω is an increasing continuous function ω:[0,∞)→[0,∞) satisfying ω(t)=0 for t∈[0,1] and The conjugate function φω∗(t)=sups≥0(st-φω(s)), t≥0, is also convex, continuous and increasing and φω∗∗=φω. A smooth function f∈E(Ω) is an element of the Roumieu class E{ω}Ω (resp. the Beurling class E(ω)(Ω)) if for any U⋐Ω there are constants C,h>0 (resp. for all h>0 there is a constant C=Ch,U) such thatsupx∈U|Dαf(x)|≤Ce1hφω∗(h|α|)∀α∈N0n.

Theorem 1.6

Let ω be a concave weight function such that ω(t)=o(t) and P={P1,⋯,Pℓ} be an elliptic system of differential operators. Assume that all coefficients of the operators Pj, j=1,⋯,ℓ, are in E{ω}Ω. Then u∈E{ω}Ω if and only if u∈E(Ω) and for all U⋐Ω there are constants C,h>0 such that ‖Pαu‖L2(U)≤Ce1hφω∗(hdα)

for all α∈{1,⋯,ℓ}k and every k∈N0.

Assume that all coefficients of the Pj, j=1,⋯,ℓ are in E(ω)(Ω). Then u∈E(ω)(Ω) if and only if u∈E(Ω) and for all U⋐Ω and every h>0 there is a constant C>0 such that ‖Pαu‖L2(U)≤Ce1hφω∗(hdα)

for all α∈{1,⋯,ℓ}k and every k∈N0.

Remark 1.7

Theorem 1.6 generalizes the main theorem in [6] from a single elliptic operator to elliptic systems of operators. Furthermore, in the Beurling case the Kotake–Narasimhan theorem was proven in [6], again, only for operators whose coefficients are in a strictly smaller class E(τ)(Ω)⊊E(ω)(Ω).

As we have announced above we are going to prove our main Theorem 2.14 in the far more general setting of weight matrices, that is countable families of weight sequences. We utilize the approach of [7], which in particular allows us to apply the aforementioned technique of [26] in order to prove the Beurling version of Theorem 2.14 by effectively reducing it to the Roumieu case even in the case of weight matrices. However, we need to point out that in general it is not possible to use this technique in the case of non-trivial weight matrices, see for example [19, Section 7].

The structure of the paper is the following: In Sect. 2 we recall basic definitions and facts about weight sequences, weight matrices and the ultradifferentiable classes of functions and vectors generated by them. Having sufficiently developed the theory of ultradifferentiable structures given by weight matrices we can formulate our main result Theorem 2.14 at the end of Sect. 2. In Sect. 3 we prove the fundamental L2-estimate which is used in Sect. 4 to prove Theorem 2.14. We conclude the paper by stating some remarks in Sect. 5.

Ultradifferentiable structures

Weight sequences

The following properties of a weight sequence are well known.

Lemma 2.1

Let M be a weight sequence and set Λk=Mkk and μk=MkMk-1 for k∈N. Then the following holds: MjMk≤Mj+k for all j,k∈N0.

The sequence Λk is increasing, i.e. Λk≤Λk+1 for all k∈N.

The sequence μk is increasing.

Λk≤μk for all k.

For later convenience we shall take a closer look at the structure of Denjoy–Carleman classes, for more details see [25]. Here we do not to require that M is a weight sequence.

So let U⊆Rn be an open set, M be an increasing sequence of positive numbers and h>0 be a parameter. Then E(U¯) is the space of smooth functions f on U such that ∂αf extends continuously to U¯ and we define a seminorm on E(U¯) by setting‖f‖M,U,h:=supx∈Uα∈N0n|Dαf(x)|h|α|M|α|.

Thus

is a Banach space. Then B{M}(U)=indh>0BM,h(U)=⋃h>0BM,h(U) resp. B(M)(U)=projh>0BM,h(U)=⋂h>0BM,h(U) is the Roumieu resp. Beurling class of global ultradifferentiable functions associated to the weight sequence M over U.

The local ultradifferentiable classes E[M](U) associated to M over U can thus be described as E[M](U)=projV⋐UB[M](V). If M and N are two sequences we writeM≤N:⟺∀k∈N0:Mk≤Nk,M⪯N:⟺MkNk1/kis bounded fork→∞,M⊲N:⟺MkNk1/k⟶0ifk→∞.

If M⪯N then B[M](U)⊆B[N](U) and E[M](U)⊆E[N](U). We are going to write M≈N if M⪯N and N⪯M. Furthermore M⊲N implies B{M}(U)⊆B(N)(U) and E{M}U⊆E(N)(U).

We recall that to a weight sequence M (or an abritary sequence) we associate another sequence mk=Mk/k!. It follows from above that the condition2.1 limk→∞mkk=∞

implies that A(U)⊊E[M](U). We are also discussing the other conditions appearing in the beginning of this article, e.g.2.2 mk2≤mk-1mk+1,∀k∈N,

2.3 ∃C>0:Mk+1≤Ck+1Mk∀k∈N0,

Remark 2.2

If M is a weight sequence satisfying (2.1) and (2.2) then clearly m=(mk)k is also a weight sequence. In particular 2.4 mjmk≤mj+kj,k∈N0.

Furthermore, we have the following property: 2.5 The sequencemkk=Λkk!1/kis increasing.

Therefore the sequence Λk is strictly increasing.

The estimate (2.3) is equivalent to ∃C>0:mk+1≤Ck+1mk∀k∈N0.

For later use we note the following Lemma.

Lemma 2.3

Let M be a sequence with M0=1≤M1 satisfying (2.1). Then the following statements hold: If (2.2) is satisfied then μk+1≤μk+1 for all k∈N.

Assume that the sequence mkk is increasing, i.e. (2.5) holds. If we consider the sequence Θk=kmkk then we have also that 2.6 Θk+1≤Θk+1∀k∈N.

Proof

Recall from Remark 2.2 that m is a weight sequence and hence we can apply Lemma 2.1. By Lemma 2.1(3) we thus have that the sequence μk/k is increasing and thereforeμk+μkk≤μk+1∀k∈N.

This gives instantly (1) since μk/k≥1.

For (2) we need only to observe thatkmkk+1≤kmk+1k+1+1≤(k+1)mk+1k+1

for all k∈N since mkk≥1. □

Remark 2.4

We recall that condition (2.1) implies that A(U)⊊E[M](U). However, it is nearly superfluous in view of (2.2): Iterating the estimate in Lemma 2.3(1) we obtain that for any strongly logarithmically convex weight sequence M we have that k≤μk and therefore k!≤Mk. In particular (k!)⪯Mk which in turn implies that A(U)⊆E{M}U. In fact, for that relation to hold it is enough to assume that mkk is increasing, since this gives also that lim infk→∞mkk>0 (recall that m1≥1 by assumption).

In the Beurling situation, we know that (2.1) holds if and only if A(R)⊆E(M)(R). Thus we only formally exclude the analytic case by our assumptions, which of course has been well investigated.

In order to deal later with the Beurling case we need the following statement, which will allow us to reduce the key argument in the Beurling case to the Roumieu case. Its proof is based on the proof of [26, Lemma 6], cf. also [20, Lemma 2.2].

Proposition 2.5

Let M be a weight sequence satisfying (2.1) and (2.5). If L=(Lk)k is a sequence of positive numbers such that L⊲M then there is a sequence N with N0=1≤N1 satisfying (2.1) and (2.5) such thatL≤N⊲M.

Proof

We set mk=Mk/k! and ℓk=Lk/k!. Then the condition L⊲M implies that for all h>0 there is a constant Ch such that2.7 ℓk≤Chhkmk∀k∈N0.

For h>0 we take Ch∙ to be the smallest number such that (2.7) holds. We set2.8 ℓ~k=infh>0Ch∙hkmk,k∈N0.

and define a auxillary sequence by ℓ¯k=ℓ~k/ℓ~0. Since the infimum in (2.8) is assumed for some h>0 we have thatmkℓ¯k2=ℓ~0Ch∙hk-1ℓ~0Ch∙hk+1≤mk-1ℓ¯k-1mk+1ℓ¯k+1,k∈N.

Hence the sequence (mk/ℓ¯k)k is logarithmic convex and by definition ℓ¯0=1 and therefore the sequenceck=mkkℓ¯kk

is increasing since Lemma 2.1(2) still holds in that situation. Furthermore ck→∞ because L⊲M.

Now we define the sequence N=(Nk)k by N0=1 and Nk=k!nk for k∈N, wherenkk=maxmk2k;maxj≤kmjjcj.

Clearly the sequence nkk is increasing. Moreover, nkk≥mk2k→∞ for k→∞. Thence the sequence N satisfies the conditions (2.1) and (2.5).

Finally we observe that Lk≤k!ℓ¯k≤k!nk=Nk andnkmkk=maxmk2kmkk;maxj≤kmjjcjmkk⟶0.

Thence L≤N⊲M. □

Weight matrices

Now we are in the position to introduce the concept of weight matrices.

Definition 2.6

A weight matrix M is a family of weight sequences such that for all M,N∈M we have either M≤N or N≤M.

If M is a weight matrix then the Roumieu class of global ultradifferentiable functions associated to M isB{M}(U)=indM∈Mh>0BM,h(U)

whereas the Beurling class isB(M)(U)=projM∈Mh>0BM,h(U).

Then the local ultradifferentiable classes associated to M are given byE[M](U)=projV⋐UB[M](V).

If M and N are two weight matrices then we setM{⪯}N⟺∀M∈M∃N∈M:M⪯N,M(⪯)N⟺∀N∈N∃M∈M:M⪯N,M(⊲}N⟺∀M∈M∀N∈N:M⊲N.

We write [⪯]={⪯},(⪯). Clearly B[M](U)⊆B[N](U), E[M](Ω)⊆E[N](Ω) if M[⪯]N and B{M}(U)⊆B(N)(U), E{M}Ω⊆E(N)(Ω) when M(⊲}N. We set also M[≈]N if M[⪯]N and N[⪯]M. Then B[M](U)=B[N](U), E[M](Ω)=E[N](Ω) for M[≈]N.

Definition 2.7

Let M be a weight matrix. We say that M is R-semiregular if the following conditions hold: 2.9 ∀M∈M:limk→∞mkk=∞,

2.10 ∀M∈M∃N∈M∃q>0:Mk+1≤qk+1Nk,k∈N0.

M is B-semiregular if (2.9) and 2.11 ∀N∈M∃M∈M∃q>0:Mk+1≤qk+1Nk,k∈N0,

are satisfied.

We write [semiregular]=R-semiregular, B-semiregular.

Remark 2.8

Let d∈N be fixed and M be a weight matrix. If M is R-semiregular then the following holds: 2.12 ∀M∈M∃N∈M∃q>0:Mk+d≤qk+1Nk,∀k∈N0.

If M is B-semiregular then we have that: 2.13 ∀N∈M∃M∈M∃q>0:Mk+d≤qk+1Nk,∀k∈N0.

The statements follow by iterating (2.10) and (2.11), respectively.

Let U be an open set in Rn. We say that U has Lipschitz boundary if for all x0∈∂U there are some r>0, local coordinates (x1,⋯,xn) and a Lipschitz function h=h(x1,⋯,xn-1) such that

where B(x0,r) is the ball of radius r in Rn centered at x0.

Remark 2.9

For completeness we give an alternative characterization of E[M](Ω) when M is a [semiregular] weight matrix. Let U⊆Rn be a bounded open set with Lipschitzian boundary. The Sobolev Theorem [1] implies that a smooth function f∈E(U) is an element of B{M}(U) (of B(M)(U)) if and only if there are constants C,h>0 and some M∈M (for every h>0 and M∈M there is a constant C>0) such that 2.14 ‖Dαf‖L2(U)≤Ch|α|M|α|,∀α∈N0n.

We consider the more difficult Beurling case and leave the Roumieu case to the reader. Hence let f∈E(U) and suppose that for all M∈M and h>0 there is some C>0 such that (2.14) is satisfied for all α∈N0n. By the Sobolev Imbedding Theorem we have that for integers σ>n/2 the following estimate holds 2.15 supx∈U|u(x)|≤A‖u‖Hσ(U)

for all u∈E(U) where the constant A depends only on U, n and σ. We fix now σ>n/2. If we set u=Dαf then we obtain ‖Dαf‖Hσ(U)2=∑|β|≤σ‖Dα+βf‖L2(U)2≤C2∑|β|≤σh2(|α|+|β|)M|α|+|β|2≤C2h2|α|M|α|+σ2∑|β|≤σh|β|.

Thence, using (2.13) we conclude that for all M∈M and h>0 there is a constant C>0 such that ‖Dαf‖Hσ(U)≤Ch|α|M|α|,|α|∈N0n.

Thus applying also (2.15) gives that f∈B(M)(U). The other direction follows from the trivial estimate ‖g‖L2(U)≤|U|supx∈U|g(x)|,∀g∈C(U).

On the other hand, it is easy to see that, if Ω⊆Rn is an arbitrary open set and f∈E(Ω) then f∈E[M](Ω) if and only if for all x∈Ω there is a neighborhood U of x such that f|U∈B[M](U).

Combining these two statements we have the following characterizations: Let f∈E(Ω). If M is an R-semiregular weight matrix then f∈E{M}Ω if and only if for all x∈Ω there is a neighborhood U of x such that ∃M∈M∃h>0∃C>0:‖Dαf‖L2(U)≤Ch|α|M|α|∀α∈N0n.

If M is a B-semiregular weight matrix then f∈E(M)(Ω) if and only if for all x∈Ω there is a neighborhood U of x such that ∀M∈M∀h>0∃C>0:‖Dαf‖L2(U)≤Ch|α|M|α|∀α∈N0n.

Definition 2.10

Let M be a weight matrix. We say that M is weakly R-regular if (2.9), (2.10) and 2.16 ∀M∈M:The sequencemkkis increasing.

M is B-regular if M satisfies (2.9), (2.11) and (2.16).

We write [weakly regular]=weakly R-regular, weakly B-regular. Clearly, every [weakly regular] weight matrix M is [semiregular].

Remark 2.11

If ω is a weight function then the weight matrix W associated to ω consists of the weight sequences Wλ, λ>0, which are given byWkλ=e1λφω∗(λk).

It is easy to see that E[ω](U)=E[W](U) as topological vector spaces. If ω(t)=o(t) then W is R- and B-semiregular. Furthermore, (2.10) and (2.11) hold both for W, cf. [34].

When ω is concave then there exists a weight matrix T such that T{≈}W and T(≈)W and moreover T satisfies (2.16); in fact, every weight sequence T∈T satisfies (2.2), see [36, Proposition 3]. Moreover, T satisfies (2.9), since condition (2.9) is clearly invariant under [≈]. Thus E[ω](Ω)=E[T](Ω) and T is weakly R- and weakly B-regular since the conditions (2.10) and (2.11) are also invariant under the equivalence relations {≈} and (≈), respectively.

Ultradifferentiable vectors associated to weight matrices

Definition 2.12

Let P={P1,⋯,Pℓ} be a system of smooth differential operators in U, dj be the order of Pj for j=1,⋯,ℓ, u∈E(U) and M be a weight matrix. Assume that ajλ∈B{M}(U) for all |λ|≤dj and every j∈{1,⋯,ℓ}. Then we say that u is a global vector of class {M} if there are M∈M and C,h>0 such that 2.17 ‖Pτu‖L2(U)≤Ch|τ|Mdτ

for all τ∈{1,⋯,ℓ}k, dτ=∑j=1kdτj and all k∈N0.

When ajλ∈B(M)(U) for all |λ|≤dj and every j∈{1,⋯,ℓ} then u is a global vector of class (M) if for all M∈M and all h>0 there is a constant C>0 such that (2.17) holds for all τ∈{1,⋯,ℓ}k and every k∈N0.

Assume that ajλ∈E{M}U for all |λ|≤dj and every j∈{1,⋯,ℓ}. Then we say that u is a (local) vector of class {M} if for all V⋐U there are M∈M and C,h>0 such that 2.18 ‖Pαu‖L2(V)≤Ch|α|M|α|

for α∈{1,⋯,ℓ}k and k∈N0.

When ajλ∈E(M)(U) for all |λ|≤dj and every j∈{1,⋯,ℓ} then u is a local vector of class (M) if for all V⋐U, all M∈M and all h>0 there is a constant C>0 such that (2.18) holds for all α∈{1,⋯,ℓ}k and every k∈N0.

We denote the space of global vectors of class [M] in U by B[M](U;P) and E[M](U;P) is the space of all local vectors of class [M].

Proposition 2.13

Let M be a weight matrix and P={P1,⋯,Pℓ} be a system of smooth differential operators in an open set U⊆Rn. Then the following holds: If the coefficients of the operators Pj are all in E[M](U) then E[M](U)⊆E[M](U;P).

If U is bounded and the coefficients of the operators Pj are all in B[M](U) then B[M](U)⊆B[M](U;P).

Proof

Suppose that Q(x,D)=∑|α|≤dbαDα is a partial differential operator with coefficients bα∈B{M}(U) and f∈B{M}(U). Then we can assume that there exist some h>0 and M∈M such that bα,f∈BM,h(U). It follows that‖DβQf‖L2(U)≤C∑|α|≤d∑γ≤ββγh|β|-|γ|M|β|-|γ|h|γ|+|α|M|γ|+|α|≤C′(h′)|β|+dM|β|+d

for some constants C′>0 and h′>0. From this estimate we can conclude that B{M}(U)⊆B{M}U;P.

In the Beurling case we have that bα,f∈B(M)(U)=⋂M∈MB(M)(U). We define a sequence L byLk=maxsupx∈U|Dβf(x)|;supx∈U|Dβbα(x)|:|α|≤d,|β|≤k.

If M∈M is arbitrary then L⊲M. According to the proof of [20, Lemma 2.2] there is a weight sequence N such that L≤N⊲M. Thus bα,f∈BN,h(U) for some h. The estimate above gives‖DβQf‖L2(U)≤C′(h′)|β|+dN|β|+d

for some C′,h′>0. Hence for all h>0 there is a constant C>0 such that‖DβQf‖L2(U)≤Ch|β|+dM|β|+d.

Since M∈M was chosen arbitrarily we conclude that B(M)(U)⊆B(M)(U;P).

The local case follows analogously. □

We can now state our main theorem:

Theorem 2.14

Let M be a [weakly regular] weight matrix and P={P1,⋯,Pℓ} be an elliptic system of differential operators of class [M] in Ω. ThenE[M](Ω;P)=E[M](Ω).

Remark 2.15

Note that we can assume that all the operators Pj∈P in Theorem 2.14 have the same order. Indeed, if dj denotes the order of Pj for all j∈{1,⋯,ℓ} then we set dj′=∏i≠jdi and Qj=Pjdj′. Then all Qj are of order d=∏jdj and it is easy to see that the system Q={Q1,⋯,Qℓ} is elliptic if and only if P is elliptic. Furthermore E[M](Ω;P)⊆E[M](Ω;Q) for all weight matrices M. Hence, Theorem 2.14 will be proven if we show E[M](Ω;Q)⊆E[M](Ω).

The fundamental estimate

By Remark 2.15 we will assume in this and the next section that all operators Pj∈P are of the same order d∈N. We will also denote the open ball of radius R centered at a point x∈Rn by B(x, R).

We follow closely the structure of the proof given in [7] (see also [9]).

Beginning with a well-known a-priori estimate for elliptic systems of smooth operators of equal order d (see e.g. [2]), i.e. for all U⋐Ω there is a constant C>0 such that‖u‖Hk(U)≤C∑j=1ℓ‖Pju‖Hk-d(U)+‖u‖L2(U),u∈D(U),k=0,⋯,d,

we can deduce two other estimates following the arguments in [7]:

Proposition 3.1

(cf. [7, Proposition I-2]) Let P be an elliptic system of differential operators with equal order d and smooth coefficients in Ω and let W′⋐W⋐Ω be open sets. Then there exists a constant C>0 such that3.1 ‖u‖Hd(W′)≤C∑j=1ℓ‖Pju‖L2(W)+‖u‖L2(W)

for all u∈E(Ω).

Proposition 3.2

(cf. [7, Proposition I-3]) Let P be as in Proposition 3.1, x∈Ω and R,R1>0 with R<R1 such that B(x;R1)⋐Ω. For ρ<R write W[ρ]=B(x;R-ρ). Then there exists a constant C>0 such that for all u∈E(Ω), for all α∈N0n with |α|≤d and for all ρ,ρ′>0 with ρ+ρ′<R we have3.2 ρd‖Dαu‖L2(W[ρ+ρ′])≤Cρd∑j=1ℓ‖Pju‖L2(W[ρ′])+∑|β|≤d-1ρ|β|‖Dβu‖L2(W[ρ′]).

We are now in the position to formulate and prove the main estimate which will be used in the proof of Theorem 2.14. Note that if ρ1<ρ2<R then W[ρ2]⋐W[ρ1]. We may also set W[ρ]=∅ if ρ>R. Moreover, we recall also that for a weight sequence M we have defined the auxiliary sequence (Θk)k by Θk=kmkk.

Proposition 3.3

Let M be a sequence with M0=1≤M1 satisfying (2.1) and (2.2), x∈Ω, R<R1≤1 such that W=B(x,R1)⋐Ω and assume P={P1,⋯,Pℓ} is an elliptic system of smooth differential operators Pj=∑|λ|≤dajλDλ on Ω such that ajλ|W∈B{M}(W). Then there exists a constant A>0 such that for all 0<ρ<R, all u∈E(Ω) and all k∈N we have that3.3 ρ|α|‖Dαu‖L2(W[Θ|α|ρ])≤A|α|+1Sk(u)

where |α|≤dk andSk(u)=∑σ=1kρ(σ-1)d∑τ∈{1,⋯,ℓ}σ‖Pτu‖L2(W)+‖u‖L2(W).

Proof

We begin by observing that Sk(u)≤Sk+1(u) and∑j=1ℓρdSkPju≤Sk+1(u)

for all k∈N since ρ≤1 by assumption.

Furthermore there exists a constant H>0 such that‖Dγaj,λ‖L2(W)≤H|γ|+1M|γ|

for all γ∈N0n and λ∈N0n with |λ|≤d and every j∈{1,⋯,ℓ}.

We are going to prove (3.3) by induction in k. To begin with, (3.1) implies that‖Dαu‖L2(W[0])≤A∑j=1ℓ‖Pju‖L2(W)+‖u‖L2(W)

for |α|≤d which gives (3.3) for k=1 since ρ≤1 and without loss of generality we can assume that A≥1.

Now let α∈N0n be such that dk<|α|≤d(k+1) and assume that (3.3) has been shown for all β∈N0n with |β|≤|α|-1. We put α=α0+α′ with |α0|=d. If we replace in (3.2) ρ′ by (Θ|α|-1)ρ, α by α0 and u by D′u, then we obtainρ|α|‖Dαu‖L2(W[Θ|α|ρ])≤Cρ|α|∑j=1ℓ‖Pj(D′u)‖L2(W[(Θ|α|-1)ρ])+∑|β|≤d-1ρ|α|-d+|β|‖Dβ+α′u‖L2(W[(Θ|α|-1)ρ]).

In the following we use the notation β<α if β≤α and β≠α for α,β∈N0n. We observe thatD′(Pju)-Pj(D′u)=∑|λ|≤d∑γ<α′α′γDα′-γajλDλ+γu

can be estimated by3.4 ‖D′(Pju)-PjD′u‖L2(W[(Θ|α|-1)ρ])

3.5 ≤∑|λ|≤d∑γ<α′|α′||γ|H|α′-γ|+1M|α′-γ|(Θ|α′|ρ)-|α′-γ|‖Dβ+γu‖L2(W[(Θ|α|-1)ρ])

since if Θ|α′|ρ>R then W[(Θ|α|-1)ρ]=∅, because Λ|α|-Λ|α′|≥d by (2.6). Now note that Λk≤Θk. Furthermore, using also the fact that kj≤kj/(k!) for 0≤j≤k we conclude that3.6 |α′||α′-γ|M|α′-γ|Θ|α′|-|α′-γ|≤|α′||α′-γ||α′-γ|!m|α′-γ||α′|-|α′-γ|m|α′|1/|α′|-|α′-γ|≤m|α′-γ|1/|α′-γ|m|α′|1/|α′|∏j=1|α′-γ||γ|+j|α′|≤1

since mkk is increasing. Thereforeρ|α|‖Dαu‖L2(WΘ|α|ρ)≤Cρ|α|∑j=1ℓ‖D′(Pju)‖L2(W[Θ|α′|ρ])+∑|λ|≤d∑γ<α′H|α′|-|γ|+1ρ|α|-|α′|+|γ|‖Dλ+γu‖L2(W[Θ(d+|γ|)ρ])+∑|β|≤d-1ρ|α|-d+|β|‖Dβ+α′u‖L2(W[Θ|β|+|α′|ρ]),

since W[(Θk-1)ρ]⊆W[Θℓρ] by (2.6) for all ℓ<k. Now, the induction hypothesis implies the following estimates:ρ|α|∑j=1ℓ‖D′(Pju)‖L2(W[Θ|α′|ρ])≤ρdA|α′|+1∑j=1ℓSk(Pju)≤A|α′|+1Sk+1(u),∑|λ|≤dγ<α′H|α′|-|γ|+1ρd+|γ|‖Dλ+γu‖L2(W[Θ(d+|γ|)ρ])≤∑|λ|≤dγ<α′H|α′|-|γ|+1Ad+|γ|+1Sk+1(u),∑|β|≤d-1ρ|α|-d+|β|‖Dβ+α′u‖L2(W[Θ|β|+|α′|ρ])≤∑|β|≤d-1A|α′|+|β|+1Sk+1(u).

Hence we have obtained that3.7 ρ|α|‖Dαu‖L2(W[Θ|α|ρ])≤A|α|+1Sk+1(u)×CA-d+C∑|λ|≤d∑γ<α′H|α′|-|γ|+1A|γ|-|α′|+C∑|β|≤d-1A|β|-d.

SinceC∑|λ|≤d∑γ<α′H|α′|-|γ|+1A|γ|-|α′|≤CdnH2A-1∑β∈N0n(HA-1)|β|,

we are able to choose A large enough and independent of α and ρ so that the bracket on the right-hand side of (3.7) is ≤1. □

Proof of Theorem 2.14

The Roumieu case

Let M be an R-regular weight matrix and u∈E{M}Ω;P. We have to prove that for all x∈Ω there is a neighborhood U⋐Ω of x such that u|U∈B{M}(U).

Therefore we fix x0∈Ω and choose R1≤1 such that W=B(x0;R1)⋐Ω. Then by assumptation there are a weight sequence M∈M, satisfying (2.1) and (2.2), and constants C,h>0 such that‖Pτu‖L2(W)≤ChkMdk

for all τ∈{1,⋯,ℓ}k and all k∈N.

We conclude thatSk(u)≤C∑σ=1kρ(σ-1)dℓσhσMdσ+C

for all 0<ρ<R for some 0<R<R1.

Hence by (3.3) we have that‖Dαu‖L2(W[μ|α|ρ])≤CA|α|+1∑σ=1kρd(σ-1)-|α|ℓσhσMdσ+1

for every 0<ρ<R, all α∈N0n with d(k-1)<|α|≤dk for k∈N where C,A,h>0 are constants independent of ρ, k and α.

Now choose some R′ with 0<R′<R<R1<1. In particular R-R′<1 and we setρ=R-R′eΛdk.

Thus, we have for d(k-1)≤|α|≤dk that dk≤|α|+d and thereforeMdσρd(σ-1)-|α|=ΛdσdσR-R′ed(σ-1)-|α|Λdk|α|-d(σ-1)≤R-R′ed(σ-1)-|α|Λdk|α|+d≤R2|α|-d(σ-1)M|α|+d

where R2=e(R-R′)-1>1.

Now, note that the sequence Θk is strictly increasing and the Stirling formula implies that1e≤ΘkeΛk=ke(k!)1/k≤1(2πk)1/2k≤1

for all k∈N. Thence we have the following estimateR-Θ|α|ρ≥R-Θdkρ=R1-ΘdkeΛdk+ΘdkeΛdkR′≥e-1R′

and therefore U=B(x0,e-1R′)⊆W[Λ|α|ρ]. Thus we can, if we enlarge h when necessary, estimate that‖Dαu‖L2(U)≤CA|α|+1∑σ=1kR2|α|-d(σ-1)ℓσhσM|α|+d+1≤CA|α|+1(ℓh)(|α|+d)/dR2|α|M|α|+d∑σ=0k1

for every k∈N and all α∈N0n with d(k-1)<|α|≤dk.

Since d does not depend on α or k we have by (2.12) that there is a weight sequence M′ and constants C1,h1 such that‖Dαu‖L2(U)≤C1h1|α|M|α|′

for all α∈N0n. Thus u∈E{M}Ω by Remark 2.9(3).

The Beurling case

Now we assume that M is weakly B-regular and u∈E(M)(U;P). Note thatE(M)(Ω)=⋂M∈ME(M)(Ω),E(M)(Ω;P)=⋂M∈ME(M)(Ω;P).

Thus we consider first the case where u∈E(M)(Ω;P) and ajλ∈E(M)(Ω), 1≤j≤ℓ, |λ|≤d, with M being a weight sequence for which (2.1) and (2.5) hold. We fix x∈Ω and let 0<R<R1≤1 be such that W=B(x;R1)⋐Ω. We define a sequence L by settingLk=max{k!;supx∈W|Dαaj,λ|:|α|≤k,|λ|≤d,j∈{1,⋯,ℓ};‖Pτu‖L2(W):τ∈{1,⋯,ℓ}ν,ν≤kd}.

According to Lemma 2.5 there is a sequence N with N0=1≤N1 satisfying (2.1) and (2.5) such that L⪯N⊲M. Hence u∈B{N}W;P and ajλ∈B{N}(W). It follows that we can apply Proposition 3.3 and obtain that there is a constant A such that for all k∈N and every α with d(k-1)<|α|≤dk we haveρ|α|‖Dαu‖L2(Wν|α|ρ)≤A|α|+1Sk(u)

where Sk(u) is as in Proposition 3.3 with M replaced by N and 0<ρ<R is chosen arbitrarily but fixed. Since (2.5) still implies that N and Nkk are increasing, the arguments in the previous subsection yield that there are a neighborhood U of x0 and constants C1,h1>0 such that‖Dαu‖L2(U)≤C1h1|α|N|α|+d

for all k∈N and all d(k-1)<|α|≤dk. Since N⊲M we conclude that for all h>0 there is a constant C>0 such that‖Dαu‖L2(U)≤Ch|α|M|α|+d.

But M∈M has been chosen arbitrarily and therefore we obtain the above estimate for all M∈M if u∈E(M)(Ω;P). Now we can employ (2.13) to conclude that for all weight sequences M′ and h1>0 there is a constant C1>0 such that‖Dαu‖L2(U)≤C1h1|α|M|α|+d′.

Applying Remark 2.9(3) we observe that u∈E(M)(Ω).

Remarks

Elliptic regularity in ultradifferentiable classes

Let M be a weight matrix and P be an elliptic system of differential operators with E[M](Ω)-coefficients. We note that in that case instead of u∈E(Ω) we can just assume that u∈D′(Ω) in Definition 2.12 by the subellipticity of the elliptic system P, cf. [9] or [37].3 This allows us to deduce results on ultradifferentiable hypoellipticity from Theorem 2.14.

Definition 5.1

Let M be a weight matrix and P={P1,⋯,Pℓ} be a system of differential operators with E[M](Ω)-coefficients. We say that P is [M]-hypoelliptic if for any open U⊆Ω and all u∈D′(U) the fact that Pju∈E[M](U), j=1,⋯,ℓ, implies that u∈E[M](U).

Theorem 5.2

Let M be a [weakly regular] weight matrix and P be an elliptic system of operator of class [M] in Ω. Then P is [M]-hypoelliptic in Ω.

It is worthwile to compare the conditions on the weight matrix in Theorem 5.2 with the hypothesis needed in the microlocal regularity results given in [19, Section 7]. For simplicity we restrict our discussion to Denjoy–Carleman classes. In [19] we proved the following result:

Theorem 5.3

([19, Theorem 7.1 & Theorem 7.4]) Let M be a weight sequence satisfying (1.3), (1.4) and (1.8). Then for any differential operator with coefficients in E[M](Ω) we have thatWF[M]u⊆WF[M]Pu∪CharP

for all D′(Ω).

Here WF[M]u denotes the ultradifferentiable wavefront set with respect to the weight sequence as defined by [22] for Roumieu classes (for the Beurling case see [19]). Moreover, CharP is the characteristic set of the linear differential operator P, cf. e.g. [23]. Since ⋂j=1ℓCharPj=∅ for any elliptic system of differential operators and under our assumptations it holds that WF[M]Pu⊆WF[M]u for all u∈D′(Ω) and any differential operator P of class [M], cf. [19, Proposition 5.4(7)], we obtain the following corollary from Theorem 5.3.

Corollary 5.4

Let M be a weight sequence satisfying (1.3), (1.4) and (1.8) and be an elliptic system of differential operators with coefficients in E[M](Ω). ThenWF[M]u=⋂j=1ℓWF[M]Pju

for all u∈D′(Ω).

Corollary 5.4 gives that the system P is [M]-hypoelliptic, but the statement is in fact stronger, namely it says that the ultradifferentiable hypoellipticity of P holds on the microlocal level, i.e. P is [M]-microhypoelliptic. But as we have discussed in the introduction the assumptations on the weight sequence in Corollary 5.4 are much stricter than the conditions in Theorem 5.2. In particular, Theorem 5.2 holds for the weight sequences Nq, q>1, given by Nk=q2, but Nq does not satisfy all the conditions in Corollary 5.4.

Global Kotake–Narasimhan Theorems

Following [7] we can adapt the proof of Theorem 2.14 to obtain a global theorem of iterates.

Suppose that Ω⊆Rn is an open set with boundary ∂Ω and P={P1,⋯,Pℓ} a system of differential operators defined on Ω¯ with principal symbols pj(x,ξ). We say that the system P is globally elliptic in Ω¯ if P is elliptic in the interior, i.e. Ω.

For all x∈∂X the polynomials pj(x,ξ) have no common complex zeros in ξ∈Cn\{0}.

We obtain

Theorem 5.5

Let M be a [weakly regular] weight matrix, Ω⊆Rn be a bounded open set with Lipschitzian boundary and P={P1,⋯,Pℓ} be a globally elliptic system of partial differential operators with coefficients in B[M](Ω). ThenB[M](Ω;P)=B[M](Ω).

The proof is based on a global a-priori estimate for globally elliptic systems P of equal order d: There is a constant C>0 such that for every u∈D(Ω¯) and k=1,⋯,d we have5.1 ‖u‖Hk(Ω)≤C∑j=1ℓ‖Pju‖Hk-d(Ω)+‖u‖L2(Ω),

cf. [4, 37] and also [2]. From this estimate, resp. [7, Propositions I-2 & I-3], which are consequences of (5.1) we can follow the lines of the proof of [7, Theorem 2]. We leave the details to the reader.

Similar to the local case Theorem 5.5 yields results on the global ultradifferentiable hypoellipticity of globally elliptic system, cf. [7] for the Gevrey case. We might also note, that we can directly generalize a characterization for global classes given in [7]. Let now P={P1,⋯,Pℓ} be a system of differential operators Pj=Pj(D) with constant coefficients. We are going to assume that the system P satisfies the following condition:5.2 The set of common complex zeros of the polynomialsPj(ξ),1≤j≤ℓ,is finite.

Here Pj(ξ) denotes the full symbol of the operator Pj(D).

Theorem 5.6

Let Ω⊆Rn be a bounded open set with Lipschitzian boundary, P={P1,⋯,Pℓ} be a system of operators with constant coefficients and M be a [weakly regular] weight matrix. Then the following statements are equivalent:

The system P satisfies (5.2).

Proof

First, assume that (1) holds. We set

and denote by Yk(Ω) the space Y(Ω) equipped with the Hk(Ω)-norm, for k∈N0. It is easy to see that the Yk(Ω) are all Banach spaces. Moreover, the identity mapping from Yk+1(Ω) into Yk(Ω) is clearly continuous and therefore an isomorphism. Thus all Hk(Ω)-norms are pairwise equivalent to each other on Y(Ω).

On the other hand, Y(Ω)⊆E(Ω¯) is a closed subspace of E(Ω¯) with the usual topology. The Sobolev embedding theorem implies moreover that the topology of E(Ω¯) is generated by the system of seminorms . Thus on Y(Ω) the topologies coming from E(Ω¯) and Hk(Ω), k∈N0 agree. Furthermore, Ω has only finitely many connected components Ωj since Ω is bounded with Lipschitz boundary and for each two points x, y in a connected components Ωj there is a continuous path γ connecting x with y such that the length of γ is smaller than Cj|x-y| where Cj is a constant only depending on Ωj, see [3]. It follows that E(Ω¯) is nuclear and therefore also Y(Ω) according to [31]. Thence Y(Ω) is a nuclear Banach space and thus Y(Ω) has to be finite dimensional according to [38].

But if ξ0∈Cn satisfies Pj(ξ0)=0 for all 1≤j≤ℓ then the function u(x)=eixξ0 is a solution of Pju=0 for all 1≤j≤ℓ. Thence the set of all common complex zeros of the polynomials Pj(ξ), 1≤j≤ℓ, has to be finite.

On the other hand, suppose that (2) is true. Let ξ1,⋯,ξν be the common complex zeros of the polynomials Pj(ξ), 1≤j≤ℓ. For each 1≤j≤n we consider the polynomialQj(ξ)=∏κ=1νξj-ξjκ

where ξ=(ξ1,⋯,ξn) and ξκ=(ξ1κ,⋯,ξnκ). Then Qj(ξκ)=0, 1≤κ≤ν, that means that the polynomials Qj(ξ) vanish on the set of common complex zeros of the polynomials Pj, 1≤j≤ℓ. The Nullstellensatz, cf. [28, Theorem IX.1.5], implies that there exists an integer ρ≥1 such that the polynomials Qjρ, 1≤j≤n, belong to the ideal spanned by the polynomials Pr, 1≤r≤ℓ. Thence, there exist polynomials Ajr such thatQjρ(ξ)=∑r=1ℓAjr(ξ)Pr(ξ),1≤j≤n.

The polynomials Qjρ(ξ) are of order νρ whose principal part is equal to (ξj)νρ. Thus 0 is the only complex common zero of these principal parts and therefore is globally elliptic in Ω¯. Furthermore, if u∈D′(Ω) and Pju∈B[M](Ω) for 1≤j≤ℓ then Qjρ(D)u∈B[M](Ω) for 1≤j≤n. From [10] it follows that u∈E(Ω¯) and therefore u∈B[M](Ω;Q). Finally, according to Theorem 5.5 we have u∈B[M](Ω). □

Final Remarks

We can ask if the conditions, which we have imposed on the data of the ultradifferentiable class E[M] for the Kotake–Narasimhan Theorem to hold, can be further loosened. For this, we recall that we proved the Theorem of Iterates for E[M] in the case of elliptic operators with analytic coefficients when M is [semiregular], cf. [20]. But if M is [semiregular] then E[M] is closed under derivation and invariant under composition with analytic mappings by [19]. On the other hand, if the weight matrix M is [weakly regular], then E[M] is closed under derivation and invariant under composition with ultradifferentiable mappings of class [M]. Although we must note that the assumption of weakly regularity is not a priori optimal for this fact to hold, see [34]. However, in the case of Braun-Meise-Taylor classes we have that the space E[ω] is invariant under composition with maps of class [ω] if and only if ω is equivalent to a concave weight function. We observe also that E[ω] is closed under derivation by definition.

All these arguments motivate the following conjecture:

Conjecture

Let U be an ultradifferentiable structure which is closed under derivation and is invariant under composition with mappings of class U. Then the Kotake-Narashiman Theorem holds in the class U.

As we have stated, the conjecture is verified for Braun-Meise-Taylor classes, but we claim moreover that the same is true for Denjoy–Carleman classes. Recall from [34] that a Denjoy–Carleman class E[M](Ω) which contains A(Ω) (cf. Remark 2.4) and is closed under derivation, i.e. satisfies (1.5), is closed under composition with mappings of class [M] if and only if the sequene mkk is almost increasing, that is5.3 ∃C>0:mjj≤Cmkk∀j≤k.

In order to prove our claim let M be a weight sequence such that (5.3) and, if we exclude the analytic case, (2.1) hold. We define a new sequence M~ by the following procedure.4 For k∈N we setνk=Cinfℓ≥kmℓℓ

where C>0 is the constant from (5.3). Thence the sequence νk is increasing and mkk≤νk≤Cmkk. We define M~ by M~0=1 and M~k=k!νkk for k∈N, in particular M~1≥1. It follows that M~ satisfies (2.1) and (2.5). We need to point out, that we cannot conclude that M~ satisfies (1.1) and therefore cannot assume that M~ is a weigth sequence. But a close inspection of the proof of Theorem 2.14 in both the Roumieu and Beurling case shows that we still obtain the assertion of Theorem 2.14 for the sequence M~. But since M~≈M, i.e. E[M](Ω)=E[M~](Ω) and E[M](Ω;P)=E[M~](Ω;P), we have in fact shown the assertion of Theorem 2.14 for M. Therefore the conjecture is also true for Denjoy–Carleman classes.

Remark 5.7

In view of the proof of Proposition 2.5 and the argument above, it would make sense to adapt the definition of a weight sequence by replacing (1.1) by the following condition:the sequenceMkkis increasing.

However, (1.1) is a standard assumption for weight sequences in context of Denjoy–Carleman classes, see e.g. [25] or [34] for classes given by weight matrices. Moreover, we have needed the concept of logarithmic convexity for the proof of Proposition 2.5.

Acknowledgements

This research was funded in whole or in part by the Austrian Science Fund (FWF) 10.55776/J4439 while the author was a post doctoral researcher under the supervision of Paulo D. Cordaro at USP-IME from October 2021 to September 2023. The author would also like to thank Gerhard Schindl for numerous helpful discussions on the theory of ultradifferentiable classes.

Funding

Open access funding provided by University of Vienna.

1 Here we understand by an ultradifferentiable structure an algebra of smooth functions defined by estimates on the derivatives and which contains the analytic class.

2 We use the notation [∗]={∗},(∗), ∗ denoting a weight sequence, weight function or weight matrix, in order to write down statements in the Roumieu and Beurling case simultaneously.

3 The same is true of course for the statements in Theorem 1.3 and Theorem 1.6.

4 It is inspired by [36, Lemma 8].

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
==== Refs
References

1. Adams, R.A.: Sobolev spaces. Pure and Applied Mathematics, 65. A Series of Monographs and Textbooks. New York-San Francisco-London: Academic Press, Inc., a subsidiary of Harcourt Brace Jovanovich, Publishers. XVIII, 268 p. \$ 24(50) (1975)
2. Agmon, S.: Lectures on elliptic boundary value problems. Prepared for publication by B. Frank Jones jun. with the assistance of George W. Batten jun. Van Nostrand Mathematical Studies. 2. Princeton, N.J.-Toronto-New York-London: D. van Nostrand Company, Inc. v, 291 p. (1965)
3. Alt, H.W.: Linear functional analysis. An application-oriented introduction. Translated from the 6th German edition by Robert Nürnberg. Universitext. London, Springer (2016). 10.1007/978-1-4471-7280-2
4. Aronszajin, N.: On coercive integro-differential quadratic forms. University of Kansas, Tech. Report, 14, 94–106 (1954)
5. Boiti, C., Jornet, D.: A characterization of the wave front set defined by the iterates of an operator with constant coefficients. Rev. R. Acad. Cienc. Exactas, Fís. Nat. Ser. A. Math. RACSAM 111(3), 891–919 (2017). 10.1007/s13398-016-0329-8
6. Boiti, C., Jornet, D.: A simple proof of Kotake-Narasimhan theorem in some classes of ultradifferentiable functions. J. Pseudo-Differ. Oper. Appl. 8, (2017). 10.1007/s11868-016-0163-y
7. Bolley, P., Camus, J.: Powers and Gevrey’s regularity for a system of differential operators. Czechoslovak Math. J. 29(104)(4), 649–661 (1979)
8. Bolley, P., Camus, J., Mattera, C.: Analyticité microlocale et itérés d’opérateurs. In Séminaire Goulaouic-Schwartz (1978/1979), pages Exp. No. 13, 9. École Polytech., Palaiseau (1979)
9. Bolley, P., Camus, J., Rodino, L.: Hypoellipticité analytique-Gevrey et itérés d’opérateurs. Universitá e Politecnico di Torino. Seminario Matematico. Rendiconti, 45(3), 1–61 (1989) (1987)
10. Bolley, Pierre, Camus, Jacques: Régularité pour des systèmes à coefficients constants. C. R. Acad. Sci. Paris Sér. A-B, 281(24), Aii, A1091–A1094 (1975)
11. Bonet, J., Meise, R., Melikhov, S.N.: A comparison of two different ways to define classes of ultradifferentiable functions. Bull. Belgian Math. Soc.- Simon Stevin 14(3), 425–444 (2007). 10.36045/bbms/1190994204
12. Bouzar C Chaïli R Régularité des vecteurs de Beurling de systèmes elliptiques Maghreb Math. Rev. 2000 9 1–2 43 53
13. Braun RW Meise R Taylor BA Ultradifferentiable functions and Fourier analysis Results Math. 1990 17 3–4 206 237 10.1007/BF03322459
14. Chaïli R Djilali M Iterate problem in Roumieu spaces of systems of interior and boundary differential operators Rend. Semin. Mat. Univ. Politec. Torino 2018 76 1 41 54
15. Chaili, R.: Systems of differential operators in anisotropic Roumieu classes. Rend. Circ. Mat. Palermo (2), 62(2), 189–198 (2013). 10.1007/s12215-012-0101-7
16. Derridj M On Gevrey vectors of some partial differential operators Complex Var. Elliptic Eq. 2017 62 10 1474 1491 10.1080/17476933.2016.1258067
17. Derridj, M.: Gevrey regularity of Gevrey vectors of second-order partial differential operators with non-negative characteristic form. Complex Anal. Synergy 6(2):Paper No. 10, 16, (2020). 10.1007/s40627-020-00047-8
18. Dyn’kin, E.M.: Pseudoanalytic extension of smooth functions. the uniform scale. Am. Math. Soc. Transl Ser. (2), 115, 33–58 (1980)
19. Fürdös, S., Nenning, D.N., Rainer, A., Schindl, G.: Almost analytic extensions of ultradifferentiable functions with applications to microlocal analysis. J. Math. Anal. Appl. 481(1), 123451 (2020). http://www.sciencedirect.com/science/article/pii/S0022247X1930719X. 10.1016/j.jmaa.2019.123451
20. Fürdös, S., Schindl, G.: The theorem of iterates for elliptic and non-elliptic operators. J. Funct. Anal. 283(5), 74 (2022). Id/No 109554. 10.1016/j.jfa.2022.109554
21. Hoepfner G Rampazo P The global Kotake-Narasimhan theorem Proc. Am. Math. Soc. 2022 150 3 1041 1057 10.1090/proc/15653
22. Hörmander L Uniqueness theorems and wave front sets for solutions of linear differential equations with analytic coefficients Comm. Pure Appl. Math. 1971 24 671 704 10.1002/cpa.3160240505
23. Hörmander, L.: The analysis of linear partial differential operators. I. Classics in Mathematics. Springer-Verlag, Berlin, 2003. Distribution theory and Fourier analysis, Reprint of the second (1990) edition. 10.1007/978-3-642-61497-2
24. Komatsu H A proof of Kotaké and Narasimhan’s theorem Proc. Japan Acad. 1962 38 9 615 618 10.3792/pja/1195523231
25. Komatsu, H.: Ultradistributions. I. Structure theorems and a characterization. J. Fac. Sci. Univ. Tokyo Sect. IA Math. 20, 25–105 (1973)
26. Komatsu, H.: An analogue of the Cauchy-Kowalevsky theorem for ultradifferentiable functions and a division theorem for ultradistributions as its dual. J. Fac. Sci. Univ. Tokyo Sect. IA Math. 26(2), 239–254 (1979)
27. Kotake, T., Narasimhan, M.: Regularity theorems for fractional powers of a linear elliptic operator. Bulletin de la Société Mathématique de France 90, 449–471 (1962). www.numdam.org/item/BSMF_1962__90__449_0/. 10.24033/bsmf.1584
28. Lang, S.: Algebra, volume 211 of Graduate Texts in Mathematics. Springer, New York, third edition, (2002). 10.1007/978-1-4613-0041-0
29. Lions, J.-L., Magenes, E.: Non-homogeneous boundary value problems and applications. Vol. III. Springer-Verlag, New York-Heidelberg,: Translated from the French by P, p. 183. Kenneth, Die Grundlehren der mathematischen Wissenschaften, Band (1973)
30. Matsumoto W Theory of pseudo-differential operators of ultradifferentiable class J. Math. Kyoto Univ. 1987 27 3 453 500 10.1215/kjm/1250520659
31. Meise, R., Vogt, D.: Introduction to functional analysis. Transl. from the German by M. S. Ramanujan, volume 2 of Oxf. Grad. Texts Math. Oxford: Clarendon Press (1997)
32. Morrey CB Nirenberg L On the analycity of the solutions of linear elliptic systems of partial differential equations Commun. Pure Appl. Math. 1957 10 271 290 10.1002/cpa.3160100204
33. Nelson E Analytic vectors Ann. Math. 1959 2 70 572 615 10.2307/1970331
34. Rainer A Schindl G Composition in ultradifferentiable classes Studia Math. 2014 224 2 97 131 10.4064/sm224-2-1
35. Rainer, A., Schindl, G.: Equivalence of stability properties for ultradifferentiable function classes. Rev. R. Acad. Cienc. Exactas Fí s. Nat. Ser. A Math. RACSAM, 110(1), 17–32 (2016). 10.1007/s13398-014-0216-0
36. Rainer A Schindl G On the extension of Whitney ultrajets. II Studia Math. 2020 250 3 283 295 10.4064/sm180903-12-11
37. Smith KT Formulas to represent functions by their derivatives Math. Ann. 1970 188 53 77 10.1007/BF01435415
38. Trèves, F.: Topological vector spaces, distributions and kernels. Mineola, NY: Dover Publications, unabridged republication of the 1967 original edition (2006)
