Global representation of some mixed ultradistributions (Q2428778)

A space of mixed ultradifferentiable functions on an open product \( \Omega \times \Omega' \) is defined analogously to a Roumieu class of ultradifferentiable functions, but with possibly differing conditions on the two factors. A mixed ultradistribution is an element of the dual of such a space. The main theorem states that the application of an ultradistribution on \( \Omega \times \Omega' \) to a test function can be written as a series of Radon measures applied to derivatives of the test function. The proof relies on a method of \textit{M. Valdivia} [RACSAM, Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 102, No. 2, 221--235 (2008; Zbl 1188.46026)].