Let
k
k
be an algebraically closed field of characteristic zero and
G
G
a torus acting diagonally on
k
s
{k^s}
. For a subset
β
\beta
of
s
=
{
1
,
2
,
…
,
s
}
{\mathbf {s}} = \{ 1,\,2, \ldots ,\,s\}
, set
U
β
=
{
u
∈
k
s
|
u
j
≠
0
if
j
∈
β
}
{U_\beta } = \{ u \in {k^s}|{u_j} \ne 0\;{\text {if}}\;j \in \beta \}
. Then
G
G
acts on
O
(
U
β
)
\mathcal {O}({U_\beta })
, the ring of regular functions on
U
β
{U_\beta }
, and we study the ring
D
(
O
(
U
β
)
G
)
D(\mathcal {O}{({U_\beta })^G})
of all differential operators on the invariant ring. More generally suppose that
Δ
\Delta
is a set of subsets of s, such that each invariant ring
O
(
U
β
)
G
\mathcal {O}{({U_\beta })^G}
,
β
∈
Δ
\beta \in \Delta
, has the same quotient field. We prove that
∩
β
∈
Δ
D
(
O
(
U
β
)
G
)
{ \cap _{\beta \in \Delta }}D(\mathcal {O}{({U_\beta })^G})
is Noetherian and finitely generated as a
k
k
-algebra. Now
G
G
acts on each
D
(
O
(
U
β
)
)
D(\mathcal {O}({U_\beta }))
and there is a natural map
\[
θ
:
⋂
β
∈
Δ
D
(
O
(
U
β
)
)
G
→
⋂
β
∈
Δ
D
(
O
(
U
β
)
G
)
=
D
(
Y
Δ
/
G
)
\theta :\bigcap \limits _{\beta \in \Delta } {D{{(\mathcal {O}({U_\beta }))}^G} \to \bigcap \limits _{\beta \in \Delta } {D(\mathcal {O}{{({U_\beta })}^G}) = D({Y_\Delta } / G)} }
\]
obtained by restriction of the differential operators. We find necessary and sufficient conditions for
θ
\theta
to be surjective and describe the kernel of
θ
\theta
. The algebras
∩
β
∈
Δ
D
(
O
(
U
β
)
)
G
{ \cap _{\beta \in \Delta }}D{(\mathcal {O}({U_\beta }))^G}
and
∩
β
∈
Δ
D
(
O
(
U
β
)
G
)
{ \cap _{\beta \in \Delta }}D(\mathcal {O}{({U_\beta })^G})
carry a natural filtration given by the order of the differential operators. We show that the associated graded rings are finitely generated commutative algebras and are Gorensetin rings. We also determine the centers of
∩
β
∈
Δ
D
(
O
(
U
β
)
)
G
{ \cap _{\beta \in \Delta }}D{(\mathcal {O}({U_\beta }))^G}
and
∩
β
∈
Δ
D
(
O
(
U
β
)
G
)
{ \cap _{\beta \in \Delta }}D(\mathcal {O}{({U_\beta })^G})
.