Functional equations of Nekrasov functions proposed by Ito-Maruyoshi-Okuda

We prove functional equations of Nekrasov partition functions for $A_1$-singularity, suggested by Ito-Maruyoshi-Okuda. Our proof uses the method by Nakajima-Yoshioka based on the theory of wall-crossing formula developed by Mochizuki.