Endowing differentiable functions from a compact manifold to a Lie group with the pointwise group operations one obtains the so-called current groups and, as a special case, loop groups. These are prime examples of infinite-dimensional Lie groups modelled on locally convex spaces. In the present paper, we generalise this construction and show that differentiable mappings on a compact manifold (possibly with boundary) with values in a Lie groupoid form infinite-dimensional Lie groupoids which we...

On a closed convex set $Z$ in ${ℝ}^N$ with sufficiently smooth (${𝒲}^{2,\infty }$) boundary, the stop operator is locally Lipschitz continuous from ${𝐖}^{1,1}([0,T],{ℝ}^N)\times Z$ into ${𝐖}^{1,1}([0,T],{ℝ}^N)$. The smoothness of the boundary is essential: A counterexample shows that ${𝒞}^1$-smoothness is not sufficient.