Multipliers on \(\mathcal{S}_{\omega } (\mathbb{R}^N)\) (Q2045216)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 7381170
Language Label Description Also known as
default for all languages
No label defined
    English
    Multipliers on \(\mathcal{S}_{\omega } (\mathbb{R}^N)\)
    scientific article; zbMATH DE number 7381170

      Statements

      Multipliers on \(\mathcal{S}_{\omega } (\mathbb{R}^N)\) (English)
      0 references
      0 references
      0 references
      12 August 2021
      0 references
      For a weight function \(\omega\), let \(\mathcal S_\omega(\mathbb R^N)\) denote the space of \(\omega\)-ultradifferentiable rapidly decreasing functions of Beurling type as introduced in [\textit{G. Björck}, Ark. Mat. 6, 351--407 (1966; Zbl 0166.36501)]. Its space of multipliers is investigated. To do so, let \(\phi^*\) be the Young conjugate of \(\phi = \omega \circ \exp \) and define, for \(f \in C^\infty(\mathbb R^N)\) and positive integers \(n \) and \(m\), the norm \[ r_{m,n}(f) = \sup_{\alpha\in\mathbb N_0^N} \sup_{x\in\mathbb R^N} |\partial^\alpha f(x)| \exp\left(-n\omega(x) - m\phi^*\left( \frac{|\alpha|}m \right) \right). \] Then \( \mathcal O^m_{n,\omega} = \{ f | r_{n,m}(f) < \infty \} \) is a Banach space and \[ \mathcal O_{M,\omega}(\mathbb R^N) = \bigcap_{m=1}^\infty \bigcup_{n=1}^\infty \mathcal O^m_{n,\omega}(\mathbb R^N) \] is the space of slowly increasing functions of Beurling type. It is shown to be a projective limit of (LB)-spaces. Furthermore \[ \mathcal O_{C,\omega}(\mathbb R^N) = \bigcup_{m=1}^\infty \bigcap_{n=1}^\infty \mathcal O^m_{n,\omega}(\mathbb R^N) \] is the space of very slowly increasing functions of Beurling type. It is shown to be an (LF)-space. The main result of the paper is the theorem that \( \mathcal O_{M,\omega}(\mathbb R^N) \) is the space of multipliers of \(\mathcal S_\omega(\mathbb R^N)\) as well as of its strong dual. Once this has been shown, the space \( \mathcal O_{M,\omega}(\mathbb R^N) \) can be embedded into the space of all continuous linear endomorphisms of \(\mathcal S_\omega(\mathbb R^N)\) and thus inherits either the strong operator topology or the topology of uniform convergence on the bounded sets. These two topologies are compared to the projective limit topology. Among other results it is shown that the bounded subsets of all three topologies coincide.
      0 references
      multipliers
      0 references
      weight functions
      0 references
      ultradifferentiable rapidly decreasing function spaces of Beurling type
      0 references
      slowly increasing functions of Beurling type
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references