Functional approach to strong-coupling theory in static models. I. Charged-scalar model | Synapse