Let the balls be labelled $1,2,3,..n$ and the boxes be labelled $1,2,3,..,n$.
Now I want to find,
What is the expected value of the minimum value of the label among the boxes which are non-empty
What is the expected number of boxes with exactly one ball in them?
Whatever way I am thinking of it, I am getting complicated summation form of answers and not any exact closed form!
A
To expectation of the minimum used label, $K$, we first measure the probability that all the balls being among the top $n-k$ boxes. That is, that the minimum label will be greater than some value $k$.
In the total space each of $n$ balls has a choice of $n$ boxes ($n^n$). In the restricted space each of $n$ balls has a choice of $n-k$ boxes $(n-k)^n$. So then: $$\begin{align} \Pr(K > k) & = \frac{(n-k)^n}{n^n} \\[1ex] \Pr(K > k-1) & = \frac{(n-k+1)^n}{n^n} \\[1ex] \Pr(K=k) & = \Pr(K>k-1)-\Pr(K>k) \\ & = \frac{(n-k+1)^n-(n-k)^n}{n^n} \\[2ex] E(K) & = \sum_{k=1}^{n} k \Pr(K=k) \\ & = \frac 1 {n^n}\sum_{k=1}^n (k(n-k+1)^n-k(n-k)^n) \\ & = \frac 1 {n^n}\left(\sum_{k=0}^{n-1} (k+1)(n-k)^n-\sum_{k=1}^{n} k(n-k)^n\right) \\ & = \frac 1 {n^n}\left( n^n + \sum_{k=1}^{n-1} (n-k)^n\right) \\ & = \frac 1 {n^n}\left( n^n + \sum_{k=1}^{n-1} k^n\right) \\ & = \mathop{1 + n^{-n}\underbrace{\sum_{k=1}^{n-1} k^n}}_{\text{a generalised Harmonic series?}} \end{align}$$
B
Let $B_i$ be the Bernouli indicator that box $i$ contains exactly one ball. We then use the linearity of expectation to find the expected value of $B:=\sum_{i=1}^n B_i$
$$\begin{align} \forall i\in \{1..n\}:\Pr(B_i=1) & = {n\choose 1}(n-1)^{n-1}/n^n \\[2ex] \mathbb{E}[B] & = \mathbb{E}[\sum_{i=1}^n B_i] \\ & = \sum_{i=1}^n \mathbb{E}[B_i] \\ & = n\times (0\times \Pr(B_\ast=0)+1\times \Pr(B_\ast=1)) \\[1ex]\therefore \mathbb{E}[B] & = \frac{(n-1)^{n-1} }{ n^{n-2}} \end{align}$$