Here is an ultra-simplified model of the sort you seem to be looking for.
Everyone shares the same utility function
$$\log(C)-A\log(1-L)$$
where $A$ is a constant, $C$ is consumption and $L$ is the fraction of the day spent working.
A person who works produces $TL$ units of output, where $T$ is specific to the individual. The log of $T$ is normally distributed, with standard deviation $\sigma$.
The planner is ominiscient and omnipotent in the sense that he knows the value of $T$ for each individual, can mandate the number of hours that each individual works, and can mandate any amount of income redistribution. The redistribution process is costless.
Per your observation, it's clear that total output should be divided equally because of Jensen's inequality. But it will still be the case that different people work different amounts. We can ask, for example, what fraction of the population ought to be unemployed.
Consider a worker with talent $T$ who works $L$ hours. Let $K$ be the output of all other workers. Then total output is $C=K+TL$, divided among all workers (of whom there are, say, $N$), so consumption per worker is $(K+TL)/N$. Total utility is then
$$N \log((K+TL)/N)+ALog(1-L)+G$$
where $G$ is the disutility of working for all the other workers.
This expression is maximized at $L=max(1-AC/T,0)$, which is the amount a worker should work as a function of $T$.
The average worker therefore produces the amount
$$\int_{AC}^\infty (T-AC)f(t)dt$$
where $f$ is the density function for the lognormal distribution with standard deviation $\sigma$.
On the other hand, the average worker consumes $C$ and so must produce $C$. This gives
$$\int_{AC}^\infty(T-AC)f(T)dT=C$$
which can be solved explicitly for $C$.
Any worker with talent less than $AC$ is unemployed. Therefore optimal unemployment is
$$\int_0^{2C}f(t)dt$$
which can be calculated explicitly because we've previously calculated the value of $C$.
Real world estimates suggest that reasonable values for $A$ and $\sigma$ are about $A=2$ and $\sigma=.4$. I believe you'll find that if you plug those values into the above, you'll find that optimal unemployment is about 23% of the population.
Now: Notice that in this model, everyone consumes equally, but those with more talent are commanded to work more. This means that it pays to conceal your talent, and in particular to act as if your talent falls below $AC$ so you won't have to work at all. We've made the extreme assumption that you can't get away with this because the planner is omniscient. So let's go to the other extreme and assume the planner has absolutely no knowledge of anyone's talent. (The truth surely lies somewhere properly between those extremes.)
Now all the planner can do is announce a pair of functions that determine, as a function of talent, how many hours you must work and how much you get to consume. Workers must be induced to reveal their talents honestly, which means that in equilibrium (i.e. after everyone optimizes), utility must be constant across the population. (Otherwise, if your utility were greater than mine, I would claim to have your talent so that I could earn your utility.) This imposes a constraint on the properties of the pair of functions. The planner chooses the functions to maximize total utility subject to that constraint. I believe that with $A=2$ and $\sigma=.4$, you'll find that optimal unemployment is somewhere under 1%. There is still significant redistribution, but much less than in the first version of the model.
These are the sorts of toy models that I teach my undergraduates when they are first encountering these ideas. There is a vast literature of more sophisticated models, some of which has led to Nobel prizes. You might Google for the work of Jim Mirrlees on optimal income taxation.
reference-request
to make this more clear.) Could you recommend me a paper which derives the cost of redistributing wealth from other assumptions? $\endgroup$