For a domain
Ω
\Omega
contained in a hemisphere of the
n
n
–dimensional sphere
S
n
\mathbb {S}^n
we prove the optimal result
λ
2
/
λ
1
(
Ω
)
≤
λ
2
/
λ
1
(
Ω
⋆
)
\lambda _2/\lambda _1(\Omega ) \le \lambda _2/\lambda _1(\Omega ^{\star })
for the ratio of its first two Dirichlet eigenvalues where
Ω
⋆
\Omega ^{\star }
, the symmetric rearrangement of
Ω
\Omega
in
S
n
\mathbb {S}^n
, is a geodesic ball in
S
n
\mathbb {S}^n
having the same
n
n
–volume as
Ω
\Omega
. We also show that
λ
2
/
λ
1
\lambda _2/\lambda _1
for geodesic balls of geodesic radius
θ
1
\theta _1
less than or equal to
π
/
2
\pi /2
is an increasing function of
θ
1
\theta _1
which runs between the value
(
j
n
/
2
,
1
/
j
n
/
2
−
1
,
1
)
2
(j_{n/2,1}/j_{n/2-1,1})^2
for
θ
1
=
0
\theta _1=0
(this is the Euclidean value) and
2
(
n
+
1
)
/
n
2(n+1)/n
for
θ
1
=
π
/
2
\theta _1=\pi /2
. Here
j
ν
,
k
j_{\nu ,k}
denotes the
k
k
th positive zero of the Bessel function
J
ν
(
t
)
J_{\nu }(t)
. This result generalizes the Payne–Pólya–Weinberger conjecture, which applies to bounded domains in Euclidean space and which we had proved earlier. Our method makes use of symmetric rearrangement of functions and various technical properties of special functions. We also prove that among all domains contained in a hemisphere of
S
n
\mathbb {S}^n
and having a fixed value of
λ
1
\lambda _1
the one with the maximal value of
λ
2
\lambda _2
is the geodesic ball of the appropriate radius. This is a stronger, but slightly less accessible, isoperimetric result than that for
λ
2
/
λ
1
\lambda _2/\lambda _1
. Various other results for
λ
1
\lambda _1
and
λ
2
\lambda _2
of geodesic balls in
S
n
\mathbb {S}^n
are proved in the course of our work.