
A pretty good, if very old, popular intro to this kind of thinking was Heppenheimer's Colonies in Space (free on the web now).
Mars seems unpromising because it's at the bottom of a gravity well, has an inconvenient atmosphere, should be preserved for scientific research while there's still a chance of traces of life, etc. Asteroids seem way more useful, and the Moon is nearer.
Farmed Tilapia might also be an option, though I'm not clear on how flexible their diet is.
http://www.nss.org/settlement/ColoniesInSpace/colonies_chap0...
Most of what's talked about in that chapter will also be possible on Mars.
https://en.wikipedia.org/wiki/Gerard_K._O'Neill
The background is discussed in T.A. Heppenheimer's 1977 book Colonies in Space, chapter 2:
https://space.nss.org/colonies-in-space-chapter-2-our-life-i...
O'Neill himself published The High Frontier in 1976.
https://en.wikipedia.org/wiki/The_High_Frontier:_Human_Colon...
https://archive.org/details/highfrontierhuma0000onei (for borrowing, not download)
LibGen: http://libgen.rs/book/index.php?md5=3CA0A35BFC63B8F531698905...
Both books include many of these specific images.
Much of that work was also taken up under the L5 Society:
https://en.wikipedia.org/wiki/L5_Society
Though these were pretty widely distributed and publicised at the time, they were not the first realistic or scientific impressions of space colonisation. See for example Stanley Kubrick's 2001: A Space Odyssey (1968) which, though science fiction, tended to apply much of the best current technical and scientific knowledge and ideas.
Technology and resources are constrained by laws of nature and specific mechanisms of effect. They're not governed by past lucky breaks, though there's a shape to those (Ophuls discusses this, hint: sigmoid functions feature heavily).
He also specifically addresses space-based solar power. I'll refer you to his comments in Ecology and the Politics of Scarcity for that.
My own first encounter with that notion was in T.A. Heppenheimer's Colonies in Space, which I read with wide-eyed enthusiasm shortly after it was first published. My eyes and enthusiasm have narrowed somewhat in the intervening decades.
I've mentioned geothermal previously. Consider that the Yellowstone supercaldera might be good for a few GW of continuous output, at considerable impact to the National Park associated with it. I'm somewhat in favour of that exchange. It's still only a small fraction of present US electrical consumption, though as a reliable baseload / dispatchable source, it would be a valuable contribution.
Tom "Do the Math" Murphy's series exploring various alternatives remains excellent: https://dothemath.ucsd.edu/
The super-abundance of solar power (terrestrial, or with the addition of orbital power) still leaves us with a finite energy budget on Earth, if only through thermal shedding. The terrestrial surplus is far less considerable when increasing standards of living for the ~4 billion global poor, another 2-4 billion projected souls by 2100, storage, and ecosystem requirements are considered. It starts cutting quite thin by the time all of these are considered. I've calcualted that bonus as only 20x, not 7,000x, given numerous known practical limitations, and even that is probably exceeding generous. Some of that expressed here: https://news.ycombinator.com/item?id=21476882
Looking at human population against incident solar power by unit land is interesting:
Pricing on Amazon for new copies seems to be a little fucked, but there are several used copies available for reasonable prices.