“…This formula is regarded as an analogue of the Parseval or the Plancherel theorems for the Fourier analysis. Such Parseval-Plancherel-type formulas for symmetric pairs of holomorphic type are studied, e.g., by [3,4,5,16,17,34] under different realizations of H λ (D), H ε 1 λ D 1 , P k p + 2 , and those for antiholomorphic type cases are studied, e.g., by [40,45,46,47,48,56,57,58,60,61,62,63]. In our setting, for (G, G 1 ) of holomorphic type, each H ε 1 λ D 1 , P k p + 2 -isotypic component in H λ (D) is generated by the minimal K 1 -type P k p + 2 ⊂ P(p + ) = H λ (D) K , and we assume that…”