On the equivalence between moderate growth-type conditions in the weight matrix setting II

Let \mathbf{M}\in\hyperlink{LCset}{\mathcal{LC}}, then \omega_{\mathbf{M}}\in\hyperlink{omset0}{\mathcal{W}_0} holds and om6(\omega_6) for \omega_{\mathbf{M}} if and only if \mathbf{M} has mg(\operatorname{mg}).

Let \omega\in\hyperlink{omset0}{\mathcal{W}_0} be given and \mathcal{M}_{\omega}=\{\mathbf{W}^{(\ell)}: \ell>0\} the associated weight matrix. Then

Let \mathbf{M},\mathbf{N}\in\hyperlink{LCset}{\mathcal{LC}} be given and consider the matrices \mathcal{M}_{\omega_{\mathbf{M}}}=\{\mathbf{M}^{(x)}: x>0\} and \mathcal{M}_{\omega_{\mathbf{N}}}=\{\mathbf{N}^{(x)}: x>0\}. If \mathbf{M}\hyperlink{preceq}{\preceq}\mathbf{N}, then

consequently \mathcal{M}_{\omega_{\mathbf{M}}}\hyperlink{Mroumpreceq}{\{\preceq\}}\mathcal{M}_{\omega_{\mathbf{N}}} and \mathcal{M}_{\omega_{\mathbf{M}}}\hyperlink{Mbeurpreceq}{(\preceq)}\mathcal{M}_{\omega_{\mathbf{N}}} is valid. More precisely, it holds that

and

Here, C in (3.3) can be chosen to be a constant such that M_p\le C^pN_p holds for all p\in\mathbb{N} and in (3.3) set C_x:=CM^{(\frac{1}{x})}_{2x}.

Let \mathbf{M},\mathbf{L}\in\hyperlink{LCset}{\mathcal{LC}} be given. Then the following are equivalent:

• (i) It holds that

  \exists\;a\in\mathbb{N}_{>0}\;\exists\;B\ge 1\;\forall\;t\ge 0:\;\;\;\omega_{\mathbf{L}\star\widetilde{\mathbf{M}}^a}(t)=\omega_{\mathbf{L}}(t)+\omega_{\widetilde{\mathbf{M}}^a}(t)\le\omega_{\mathbf{L}}(Bt)+B.

• (ii) It holds that

  \exists\;a\in\mathbb{N}_{>0}\;\exists\;C\ge 1\;\forall\;t\ge 0:\;\;\;\omega_{\mathbf{M}}(t)\le a(\omega_{\mathbf{L}}(Ct)-\omega_{\mathbf{L}}(t))+C.

• (iii) It holds that

  \exists\;a\in\mathbb{N}_{>0}:\;\;\mathbf{L}\hyperlink{preceq}{\preceq}\mathbf{L}\star\widetilde{\mathbf{M}}^a;

  i.e. in view of (?) and (?),

  \exists\;a\in\mathbb{N}_{>0}\;\exists\;H\ge 1\;\forall\;p\in\mathbb{N}\;\forall\;0\le q\le p:\;\;\;L_p\le H^pL_q\widetilde{M}^a_{p-q}=H^pL_q(M_{a(p-q)})^{\frac{1}{a}}.

Concerning the parameter a, the proof shows the following correspondences: In (i) and (iii) we can take the same a; if (i) holds with a then (ii) with 2a and if (ii) holds with a then also (i).

Let \mathbf{M}\in\hyperlink{LCset}{\mathcal{LC}} be given. Then the following are equivalent:

• (i) \omega_{\mathbf{M}} satisfies (4.1) for \mathbf{M}=\mathbf{L},

• (ii) \omega_{\mathbf{M}} satisfies om6(\omega_6),

• (iii) \mathbf{M} satisfies mg(\operatorname{mg}).

Let \mathbf{M},\mathbf{L}\in\mathbb{R}_{>0}^{\mathbb{N}} be given such that M_0=1=L_0 and such that \mathbf{L} is log-convex. Recall also the notation \lambda_p:=\frac{L_p}{L_{p-1}}, p\in\mathbb{N}_{>0} and \lambda_0:=1. Then the following are equivalent:

• (i) It holds that

  \exists\;a\in\mathbb{N}_{>0}\;\exists\;B\ge 1\;\forall\;p\in\mathbb{N}:\;\;\;L_{2p}\le B^pL_p\widetilde{M}^a_p.

• (ii) It holds that

  \exists\;a\in\mathbb{N}_{>0}\;\exists\;H\ge 1\;\forall\;p,q\in\mathbb{N},\;0\le q\le p:\;\;\;L_{p+q}\le H^pL_q\widetilde{M}^a_{p}.

• (iii) It holds that

  \exists\;a\in\mathbb{N}_{>0}\;\exists\;A\ge 1\;\forall\;p\in\mathbb{N}_{>0}:\;\;\;\lambda_p\le A(M_{ap})^{\frac{1}{ap}}=A(\widetilde{M}^a_{p})^{\frac{1}{p}};

  i.e. the mixed variant of (?) between \mathbf{L} and \mathbf{M} resp. the mixed variant of (?) between \mathbf{L} and \widetilde{\mathbf{M}}^a.

Concerning the parameter a\in\mathbb{N}_{>0} the proof shows the following correspondences: In (i) and (ii) one can choose the same a; if (i) holds with a then also (iii); if (iii) is valid for a then (ii) with 2a.

Let \mathbf{M},\mathbf{L}\in\hyperlink{LCset}{\mathcal{LC}} be given.

• (i) Any of the equivalent assertions in Proposition 4.1 implies the equivalent assertions listed in Proposition 4.3 and the proof shows that if (4.1) holds with some a, then (4.3) as well.

• (ii) When \mathbf{M}=\mathbf{L}, then the converse of (i) is not valid in general; in particular the q-Gevrey sequences M_p:=q^{p^2}, q>1, provide a (counter-)example.

Let \mathbf{M},\mathbf{L}\in\hyperlink{LCset}{\mathcal{LC}} be given. Consider the following assertions:

• (i) (4.3) holds; i.e.

  \exists\;a\in\mathbb{N}_{>0}\;\exists\;A\ge 1\;\forall\;p\in\mathbb{N}_{>0}:\;\;\;\lambda_p\le A(M_{ap})^{\frac{1}{ap}}=A(\widetilde{M}^a_{p})^{\frac{1}{p}}.

• (ii) It holds that

  \exists\;a\in\mathbb{N}_{>0}\;\exists\;A\ge 1\;\forall\;p\in\mathbb{N}:\;\;\;\lambda_{2p}\le A\widetilde{\mu}^{2a}_p.

• (iii) It holds that

  \exists\;a\in\mathbb{N}_{>0}\;\exists\;A\ge 1\;\forall\;t\ge 0:\;\;\;2\Sigma_{\widetilde{\mathbf{M}}^{2a}}(t)\le\Sigma_{\mathbf{L}}(At).

• (iv) It holds that

  \exists\;a\in\mathbb{N}_{>0}\;\exists\;A\ge 1\;\forall\;t\ge 0:\;\;\;2\omega_{\widetilde{\mathbf{M}}^{2a}}(t)\le\omega_{\mathbf{L}}(At).

• (v) It holds that \mathbf{L}\hyperlink{preceq}{\preceq}\widetilde{\mathbf{M}}^{2a}\star\widetilde{\mathbf{M}}^{2a}, so

  \exists\;a\in\mathbb{N}_{>0}\;\exists\;A\ge 1\;\forall\;p,q\in\mathbb{N}:\;\;\;L_{p+q}\le A^{p+q}\widetilde{M}^{2a}_p\widetilde{M}^{2a}_q.

• (vi) It holds that

  \exists\;a\in\mathbb{N}_{>0}\;\exists\;A\ge 1\;\forall\;p\in\mathbb{N}:\;\;\;L_{2p}\le A^p(\widetilde{M}^{2a}_p)^2.

Then one has the following implications resp. equivalences:

Finally, concerning (vi)\Rightarrow(i) we can show a partial converse: If \mathbf{L} satisfies (?) for some d\in\mathbb{N}_{>0} and

then (4.3) is valid with a:=db.

Let \mathbf{M} be a given log-convex sequence such that M_0=1 and satisfying (?) for some d\in\mathbb{N}_{>0}. Then any log-convex sequence \mathbf{N} being equivalent to \mathbf{M} (and with N_0=1) has (?) too; i.e. (?) is preserved under equivalence of log-convex sequences.

Indeed, if \mathbf{M} satisfies (?) with d, then for any equivalent log-convex \mathbf{N} we can choose 2d.

Let \omega\in\hyperlink{omset0}{\mathcal{W}_0} be given and let \mathcal{M}_{\omega}=\{\mathbf{W}^{(\ell)}: \ell>0\} be the associated weight matrix. Consider the following assertions:

• (i) \omega satisfies om6(\omega_6).

• (ii) It holds that

  \exists\;\ell_1,\ell,a>0\;\exists\;C\ge 1\;\forall\;t\ge 0:\;\;\;\omega_{\mathbf{W}^{(\ell)}}(t)\le a(\omega_{\mathbf{W}^{(\ell_1)}}(Ct)-\omega_{\mathbf{W}^{(\ell_1)}}(t))+C.

• (iii) It holds that

  \forall\;\ell_1>0\;\exists\;\ell,a>0\;\exists\;C\ge 1\;\forall\;t\ge 0:\;\;\;\omega_{\mathbf{W}^{(\ell)}}(t)\le a(\omega_{\mathbf{W}^{(\ell_1)}}(Ct)-\omega_{\mathbf{W}^{(\ell_1)}}(t))+C.

• (iv) It holds that

  \forall\;\ell>0\;\exists\;\ell_1,a>0\;\exists\;C\ge 1\;\forall\;t\ge 0:\;\;\;\omega_{\mathbf{W}^{(\ell)}}(t)\le a(\omega_{\mathbf{W}^{(\ell_1)}}(Ct)-\omega_{\mathbf{W}^{(\ell_1)}}(t))+C.

Then (i)\Rightarrow(ii)-(iv) and (iii),(iv)\Rightarrow(ii); if in assertion (ii) for the parameters the relation \ell_1>\ell a holds, then (ii)\Rightarrow(i).

Let \omega\in\hyperlink{omset0}{\mathcal{W}_0} be given and let \mathcal{M}_{\omega}=\{\mathbf{W}^{(\ell)}: \ell>0\} be the associated weight matrix. If

then \omega satisfies om6(\omega_6).

Let \mathbf{M},\mathbf{N}\in\hyperlink{LCset}{\mathcal{LC}} be given, then the following are equivalent:

• (i) It holds that

  \exists\;C\ge 0\;\exists\;B\ge 1\;\exists\;\ell>0\;\forall\;t\ge 0:\;\;\;2\ell\omega_{\mathbf{N}}(t)\le\omega_{\mathbf{M}}((Bt)^{\ell})+C.

• (ii) It holds that

  \exists\;A,A_1\ge 1\;\exists\;\ell>0\;\forall\;p\in\mathbb{N}:\;\;\;M_{2p}\le A_1A^{2p\ell}N_p^{2\ell}.

The parameter \ell can be chosen to be the same in (5.1) and (5.1); moreover we have the correspondences A_1=e^C and B=A.

Let \mathbf{M},\mathbf{N}\in\hyperlink{LCset}{\mathcal{LC}} be given, then

with

Let \mathbf{M},\mathbf{N},\mathbf{L}\in\hyperlink{LCset}{\mathcal{LC}} be given, then the following are equivalent:

• (i) It holds that

  \exists\;a\in\mathbb{N}_{>0}\;\exists\;B\ge 1\;\forall\;p\in\mathbb{N}:\;\;\;L_{2p}\le B^pN_p\widetilde{M}^a_p.

• (ii) It holds that

  \exists\;a\in\mathbb{N}_{>0}\;\exists\;A\ge 1\;\exists\;C\ge 0\;\forall\;t\ge 0:\;\;\;\omega_{\mathbf{N}\widetilde{\mathbf{M}}^a}(t^2)=\omega_{\mathbf{N}}\check{\star}\omega_{\widetilde{\mathbf{M}}^a}(t^2)\le\omega_{\mathbf{L}}(At)+C.

The proof shows that we can take in both estimates the same parameter a and note that when (5.3) holds with some a, then also for all a'\ge a.

Let \mathbf{M},\mathbf{L}\in\hyperlink{LCset}{\mathcal{LC}} be given. Then the following are equivalent:

• (i) (4.3) holds; i.e.

  \exists\;a\in\mathbb{N}_{>0}\;\exists\;B\ge 1\;\forall\;p\in\mathbb{N}:\;\;\;L_{2p}\le B^pL_p\widetilde{M}^a_p=B^pL_p(M_{ap})^{\frac{1}{a}}.

• (ii) It holds that

  \exists\;a\in\mathbb{N}_{>0}\;\exists\;A\ge 1\;\exists\;C\ge 0\;\forall\;t\ge 0:\;\;\;\omega_{\mathbf{L}\widetilde{\mathbf{M}}^a}(t^2)=\omega_{\mathbf{L}}\check{\star}\omega_{\widetilde{\mathbf{M}}^a}(t^2)\le\omega_{\mathbf{L}}(At)+C.

• (iii) (4.3) holds; i.e.

  \exists\;a\in\mathbb{N}_{>0}\;\exists\;A\ge 1\;\forall\;p\in\mathbb{N}_{>0}:\;\;\;\frac{L_p}{L_{p-1}}=\lambda_p\le A(\widetilde{M}^a_{p})^{\frac{1}{p}}=A(M_{ap})^{\frac{1}{ap}}.

In (i) and (ii) we can take the same a; if (i) holds with a then also (iii); if (iii) is valid for a then (i) with 2a.

Let \mathbf{M}\in\hyperlink{LCset}{\mathcal{LC}} be given, then the following are equivalent:

• (i) \mathbf{M} satisfies (?).

• (ii) The associated weight function satisfies

  \exists\;a\in\mathbb{N}_{>0}\;\exists\;A\ge 1\;\exists\;C\ge 0\;\forall\;t\ge 0:\;\;\;\omega_{\mathbf{M}\widetilde{\mathbf{M}}^a}(t^2)=\omega_{\mathbf{M}}\check{\star}\omega_{\widetilde{\mathbf{M}}^a}(t^2)\le\omega_{\mathbf{M}}(At)+C.

If (?) holds with some d\in\mathbb{N}_{>0}, then choose a:=2d in (5.5); if (5.5) is valid for some a\in\mathbb{N}_{>0}, then choose d:=a in (?).

Let \mathbf{M},\mathbf{N},\mathbf{L}\in\hyperlink{LCset}{\mathcal{LC}} be given.

• (i) If one has

  \exists\;A\ge 1\;\exists\;C\ge 0\;\forall\;t\ge 0:\;\;\;\omega_{\mathbf{M}\mathbf{N}}(t^2)=\omega_{\mathbf{N}}\check{\star}\omega_{\mathbf{M}}(t^2)\le\omega_{\mathbf{L}}(At)+C,

  then (5.3) holds for any a\in\mathbb{N}_{>0} with the same parameters A,C.

• (ii) If (5.3) holds, then

  \exists\;a\in\mathbb{N}_{>0}\;\exists\;A\ge 1\;\exists\;B\ge 0\;\forall\;t\ge 0:\;\;\;\omega_{\mathbf{M}\mathbf{N}}(t^2)=\omega_{\mathbf{N}}\check{\star}\omega_{\mathbf{M}}(t^2)\le a\omega_{\mathbf{L}}(At)+B.

  Indeed, if (5.3) is valid with some a, then in (5.7) it suffices to choose 2a.

Let \omega\in\hyperlink{omset0}{\mathcal{W}_0} be given and let \mathcal{M}_{\omega}=\{\mathbf{W}^{(\ell)}: \ell>0\} be the associated weight matrix. Then the following are equivalent:

• (i) (?) is valid.

• (ii) \mathcal{M}_{\omega} satisfies (?) and/or (?).

Let \omega\in\hyperlink{omset0}{\mathcal{W}_0} be given. Then (?) holds if and only if \omega satisfies om6(\omega_6).

Let \omega\in\hyperlink{omset0}{\mathcal{W}_0} be given. Then \omega satisfies om1(\omega_1) if and only if

Let \sigma\in\hyperlink{omset0}{\mathcal{W}_0} be given with associated weight matrix \mathcal{M}_{\sigma}=\{\mathbf{S}^{(\ell)}: \ell>0\}.

• (i) Assume that there exists a weight matrix \mathcal{N}=\{\mathbf{N}^{(x)}: x\in\mathcal{I}\} such that \mathcal{M}_{\sigma}\{\approx\}\mathcal{N} and such that

• (ii) \mathcal{N} satisfies the quotient-root comparison property of Roumieu type (?).

Then \mathbf{S}^{(1)} has to satisfy

If one assumes instead that \mathcal{M}_{\sigma}(\approx)\mathcal{N} and such that \mathcal{N} satisfies the quotient-root comparison property of Beurling-type (?), then \mathbf{S}^{(1)} has to satisfy

For any given \mathbf{M}\in\hyperlink{LCset}{\mathcal{LC}} the estimates (6.1) and (6.1) are valid with B=B_1=1 and for any \ell\in\mathbb{N}_{>0}, \ell\ge 2.