1: \begin{abstract}
2: In this work, we construct and study certain classes of infinite dimensional Lie groups
3: that are modelled on weighted function spaces.
4: In particular, we construct a Lie group $\DiffW$ of diffeomorphisms,
5: for each Banach space $\SX$ and set $\cW$ of weights on $\SX$ containing the constant weights.
6: We also construct certain types of \quotes{weighted mapping groups}.
7: These are Lie groups modelled on weighted function spaces of the form $\CcF{\UF}{\LieAlg{G}}{k}$,
8: where $G$ is a given (finite- or infinite dimensional) Lie group.
9: Both the weighted diffeomorphism groups and the weighted mapping groups are shown to be
10: regular Lie groups in Milnor's sense.
11:
12: We also discuss semidirect products of the former groups.
13: Moreover, we study the integrability of Lie algebras of vector fields of the form
14: $\CcF{\SX}{\SX}{\infty} \rtimes \LieAlg{\G}$, where $\SX$ is a Banach space
15: and $G$ a Lie group acting smoothly on $\SX$.
16: \end{abstract}
17: