I have a question about the proof of Theorem 3.5 in [Pollack's 2003 paper *On the $p$-adic L-function of a Modular Form and a Supersingular Prime*](https://math.bu.edu/people/rpollack/Papers/On_the_padic_Lfunction_of_a_modular_form_at_a_ss_prime.pdf). 

The setup is as follows. Fix an eigenform $f\in S_k(N,\epsilon)$ with $a_p=0$ and let $K$ be the completion of the field of Fourier coefficients for $f$ at some fixed prime above $p$. Let $L_p(f,\alpha_i,\psi,T)\in K(\psi,\alpha_i)[[T]]$ be the associated unbounded $p$-adic $L$-functions for $f$, where $\alpha_1,\alpha_2$ are the roots of the Hecke polynomial $X^2-a_pX+\epsilon(p)p^{k-1}$ and $\psi$ is some fixed tame character on $\mathbb{Z}_p^\times\times (\mathbb{Z}/M\mathbb{Z})^\times$. The first sentence of Theorem 3.5 in Pollack's paper defines the power series
$$
\begin{align*}
G_\psi^{+}&=\frac{L_p(f,\alpha_1,\psi,T)+L_p(f,\alpha_2,\psi,T)}{2}\\
G_\psi^{-}&=\frac{L_p(f,\alpha_1,\psi,T)-L_p(f,\alpha_2,\psi,T)}{2\alpha_1}.\\
\end{align*}
$$
Pollack states that both these power series lie in $K(\psi)[[T]]$. **Why is this true?** 

Here are my thoughts... We have an action of $G=\operatorname{Gal}(K(\psi,\alpha_1)/K(\psi))$ on power series $F=\sum_{i\geq 0}(a_i+\alpha_1b_i)T^i\in K(\psi,\alpha_1)[[T]]$, where $a_i,b_i\in K(\psi)$, by 
$$
\sigma F = \sum_{i\geq 0}(a_i+\sigma \alpha_1b_i)T^i.
$$
for $\sigma\in G$. If $G$ is trivial then the claim is obvious, so suppose $G$ has order 2 and let $\sigma$ be the nontrivial element. In this case, Pollack claims (see the last sentence of the proof) that the two $p$-adic $L$-functions are conjugate, which I take to mean that
$$
\sigma L_p(f,\alpha_1,\psi,T)=L_p(f,\alpha_2,\psi,T).
$$
Assuming this, I can see why $G_\psi^\pm$ are rational: $\sigma$ clearly fixes $G_\psi^+$, and since $\alpha_1=-\alpha_2$ (recall $a_p=0$) we see that $\sigma$ also fixes $G_\psi^-$. 

It's not clear to me why the $p$-adic $L$-functions need to be conjugate. Writing $L_p(f,\alpha_1,\psi,T)=\sum_{i\geq 0} (a_i+\alpha_1 b_i)T^i$ and $L_p(f,\alpha_2,\psi,T)=\sum_{i\geq 0} (c_i+\alpha_2 d_i)T^i$ for some $a_i,b_i,c_i,d_i\in K(\psi)$, it appears that we would need $a_i=c_i$ and $b_i=d_i$ for all $i$... Can someone clarify? Thanks kindly.