The functional analytic approach establishes the Corona theorem in the theory of SCV

We give an affirmative solution of the original Corona problem (1962) for certain bounded pseudoconvex domains or polydomains in $\mathbb{C}^n$, including the balls and polydiscs, by using the Gleason solvability property of such domains for $H^\infty(G)$. In fact, we establish an equivalency of the Corona problem and Gleason's problem (1964) in the theory of several complex variables. Indeed, we extend our recent works on both problems based on the functional analytic approaches, and extend recent work of Clos, as well as apply the usual Banach algebra method. As an application, we establish the I. J. Schark's theorem for these $G$'s. We also obtain a welcome extension of a result of Krantz and Li (1995) for a bounded, strictly pseudoconvex domain in $\mathbb{C}^n$ with $C^3$ boundary.