First, totally awesome that you asked this question here. Totally unrelated to Julia it seems, but always glad to see economists in the community.
Second, perhaps more related to Julia, can’t you just look at the equilibrium allocations? You say you can’t get analytical solutions, presumably you can get numerical solutions though right? If you are trying to make a proof here, this won’t help you though.