Consequences of functional equations for pairs of \(p\)-adic \(L\)-functions (Q2283814)

\textit{C. Wuthrich} [Publ. Math. Besançon, Algèbre Théor. Nombres 2016, 95--96 (2017; Zbl 1367.11057)] related the leading term of the \(L\)-function of an elliptic curve \(E\) with the second non-zero term in the Taylor expansion about \(1\) and \textit{F. Bianchi} [Funct. Approximatio, Comment. Math. 60, No. 2, 227--236 (2019; Zbl 1443.11123)] used Wuthrich's methods to \(p\)-adic \(L\)-functions of \(E\). When \(p\) is a prime of ordinary reduction, Bianchi proved that the \(\mu\)-invariant of the twist of a \(p\)-adic \(L\)-function by a character \(\psi\) is the same of the twist by the conjugate character \(\bar{\psi}\). However, in the case when \(p\) is a prime of supersingular reduction, there are two supersingular \(p\)-adic \(L\)-functions analogues to the case \(p\) ordinary. These analogues are not power series. The second author constructed in [Algebra Number Theory 11, No. 4, 885--928 (2017; Zbl 1416.11110)] a pair \((L^{\sharp}, L^{\flat})\) of integral \(p\)-adic functions. The aim of this paper is to develop the ideas of Wuthrich and Bianchi for \(L^{\sharp / \flat}\). Let \(L_p^{\sharp / \flat}(E,\chi,T)=a_{\sharp / \flat} T^{m_{\sharp / \flat}}+b_{\sharp / \flat} T^{m_{\sharp / \flat}+1}+\cdots\) be the Taylor expansions of \(L^{\sharp / \flat}\) at \(T=0\), where \(m_{\sharp / \flat}\) denote the orders of vanishing at \(T=0\). Let \(\gamma\) be a topological generator of the Galois group of the cyclotomic \({\mathbb Z}_p\)-extension of \({\mathbb Q}\), and let \(Q\) denote the largest divisor of the conductor of \(E\) that is coprime to \(p\). The main results are: (1) the order of vanishing of \(L_p^{\sharp}(E,\chi,T)\) at \(T=0\) has the same parity as the order of vanishing of \(L_p^{\flat}( E,\chi,T)\) at \(T=0\); (2) \(b_{\sharp / \flat}=\frac{-a_{\sharp / \flat}}{2}(\log_{ \gamma}(Q)+m_{\sharp / \flat})\). The most important tool in the proof of both results, is the functional equation of the respective \(p\)-adic \(L\)-function.