1 Introduction

The \(B\rightarrow D^{(*)}\) decays have received a lot of attention in recent years. Experimentally, the BABAR Collaboration measured the semi-leptonic decays \(B\rightarrow D^{(*)}l\bar{\nu }_l\) in 2012 [1,2,3], and these decays were also measured by the Belle [4,5,6] and LHCb Collaborations [7] in 2015. Theoretically, the semi-leptonic decays \(B\rightarrow D^{(*)}l\bar{\nu }_l\) are studied by the heavy quark effective theory (HQET) [8], perturbative QCD (pQCD) factorization approach [9, 10], light-cone sum rules (LCSR) [11,12,13,14,15], and the lattice QCD theory [16, 17] within the framework of Standard Model (SM) and the new physics model [18,19,20,21].

The D-meson distribution amplitude (DA) is an important input for theoretical studies. By using the usual correlation function in the LCSR calculation, the \(B\rightarrow D\) transition form factor (TFF) \(f^{B\rightarrow D}_+(q^2)\) is represented as a complex formula containing the D-meson twist-\(2,3,\ldots \) DAs. If a proper chiral current correlation function is adopted, the TFF \(f^{B\rightarrow D}_+(q^2)\) shall be dominated by the contribution of \(\phi _{2;D}\) [11, 12, 14],

$$\begin{aligned} f_+^{B\rightarrow D}(q^2)= & {} \frac{m_b^2 f_D}{m_B^2 f_B} e^{m_B^2/M^2} \int ^1_\Delta \frac{du}{u} \phi _{2;D}(u) \nonumber \\&\times \exp \left[ -\frac{m_b^2 - \bar{u} (q^2 - u m_D^2)}{u M^2} \right] , \end{aligned}$$
(1)

where \(m_b\) is the b-quark mass, \(m_{B(D)}\) and \(f_{B(D)}\) are the B(D)-meson mass and decay constant, \(s^B_0\) is threshold parameter, M is the Borel parameter, and the lower limit of integral takes the form

$$\begin{aligned} \Delta= & {} \frac{1}{2m_D^2} \Bigg [ \sqrt{\left( s_0^B - q^2 - m_D^2\right) ^2 + 4m_D^2 \left( m_b^2 - q^2\right) } \\&- \left( s_0^B - q^2 - m_D^2\right) \Bigg ]. \end{aligned}$$

Equation (1) reduces the error sources of \(f^{B\rightarrow D}_+(q^2)\), such as the uncertain twist-3 DAs disappear in the LCSR. In turn, it provides us with a precise platform for testing the behavior of the leading-twist DA \(\phi _{2;D}\) [22].

In the existing researches on \(f^{B\rightarrow D}_+(q^2)\), the DA \(\phi _{2;D}\) is simply treated as an input parameter, whose error analysis is often not considered carefully. The most simple model is based on the expansion of the Gegenbauer polynomials, which reads [23, 24]:

$$\begin{aligned} \phi _{2;D}^{\mathrm{KLS}}(x) = 6x(1-x)\left[ 1 + C_D(1-2x) \right] , \end{aligned}$$
(2)

where x stands for the momentum fraction of the light quark and the shape parameter \(C_D\) is usually taken as \(\sim 0.7\), corresponding to a peak around \(x \sim 0.3\). Considering a simple harmonic-like \(k_\perp \)-dependence in the D-wavefunction, its DA is improved as [25]:

$$\begin{aligned} \phi _{2;D}^{\mathrm{LLZ}}(x) = 6x(1-x)\left[ 1 + C_D(1-2x) \right] \exp \left[ -\frac{\omega ^2 b^2}{2} \right] , \nonumber \\ \end{aligned}$$
(3)

where the parameters \(b=0.38\,{\mathrm{GeV}}^{-1}\), \(C_D=0.5\), \(\omega =0.1\,\mathrm{GeV}\) [25]. By employing the solution of a relativistic scalar harmonic oscillator potential [26, 27] for the orbital part of the wavefunction [28, 29], the authors of Ref. [30] suggest a Gaussian-type model:

$$\begin{aligned} \phi _{2;D}^{\mathrm{LM}}(x) = N_D \sqrt{x(1-x)} \exp \left[ -\frac{1}{2}\left( \frac{x m_D}{\omega } \right) ^2 \right] , \end{aligned}$$
(4)

where \(m_D=1.87\,\mathrm{GeV}\), \(N_D=4.86952\), \(f_D=220\,\mathrm{MeV}\) and \(\omega =0.8\,\mathrm{GeV}\). By using the Brodsky–Huang–Lepage prescription [31,32,33], Ref. [34] proposes a light-cone harmonic oscillator model:

$$\begin{aligned} \phi _{2;D}^{\mathrm{GH}}(x) = N_D x(1-x) \exp \left[ -b_D^2 \frac{\hat{m}_c^2 x + \hat{m}_d^2 (1-x)}{x(1-x)} \right] ,\nonumber \\ \end{aligned}$$
(5)

where the constituent quark masses \(\hat{m}_c=1.3\,\mathrm{GeV}\) and \(\hat{m}_d=0.35\,\mathrm{GeV}\), \(N_D=19.908\), and \(b_D^2=0.292\,{\mathrm{GeV}}^{-2}\) [11]. By including the Melosh rotation effect into the spin space, a more complete form than the model (5) has also been presented in Ref. [34]. In addition, there are other two D-meson leading-twist DA models, the exponential model [35] and the one obtained by solving the equations of motion without three-parton contributions [36].

As a matter of fact, our understanding of \(\phi _{2;D}\) is far from enough, a detail analysis on the uncertainty of various DA models is necessary. In this article, we shall improve the \(\phi _{2;D}\) model (5) to a more accurate form. As we have done in Refs. [37,38,39], its input parameters shall be fixed by using several reasonable constraints, such as the probability of finding the leading Fock-state \(\left| \bar{c}q\right\rangle \) in the D-meson Fock-state expansion, the normalization condition, and the known \(\phi _{2;D}\) Gegenbauer moments. Those Gegenbauer moments shall be computed by using the QCD sum rules [40] in the framework of background field theory (BFT) [37, 41, 42]. As a further step, we shall analyze the properties of the model in detail, and the influence of \(\phi _{2;D}\) on \(f^{B\rightarrow D}_+(q^2)\) shall also be presented.

The remaining parts of the paper are organized as follows. An improved model for the D-meson leading twist DA \(\phi _{2;D}\) is given in Sect. 2. Procedures for deriving the QCD sum rules for the moments of \(\phi _{2;D}\) in the BFT are given in Sect. 3. For convenience, we present the explicit expressions of those moments in the Appendix. Numerical results and discussions are presented in Sect. 4. Section 5 is reserved for a summary.

2 An improved model for the D-meson leading-twist DA \(\phi _{2;D}\)

As discussed in Refs. [38, 39], we improve the harmonic oscillator model of the D-meson leading-twist wavefunction \(\Psi _{2;D}(x,\mathbf {k}_\perp )\) suggested in Ref. [11] as

$$\begin{aligned} \Psi _{2;D}(x,\mathbf {k}_\perp ) = \chi _{2;D}(x,\mathbf {k}_\perp ) \Psi _{2;D}^R(x,\mathbf {k}_\perp ), \end{aligned}$$
(6)

where \(\mathbf {k}_\perp \) is the transverse momentum, \(\chi _{2;D}(x,\mathbf {k}_\perp )\) stands for the spin-space wavefunction and \(\Psi _{2;D}^R(x,\mathbf {k}_\perp )\) indicates the spatial wavefunction. The spin-space wavefunction \(\chi _{2;D}(x,\mathbf {k}_\perp )\) takes the form [43]

$$\begin{aligned} \chi _{2;D}(x,\mathbf {k}_\perp ) = \frac{\hat{m}_c x + \hat{m}_q(1-x)}{\sqrt{\mathbf {k}_\perp ^2 + \left[ \hat{m}_c x + \hat{m}_q(1-x) \right] ^2}}, \end{aligned}$$
(7)

where \(\hat{m}_c\) and \(\hat{m}_q\) are constituent quark masses of the D-meson, and we adopt \(\hat{m}_c = 1.5 \,\mathrm{GeV}\) and \(\hat{m}_q = 0.3 \,\mathrm{GeV}\). q stands for the light quark, \(q=u\) is for \(\overline{D}^0\) and \(q=d\) is for \(D^-\). The spatial wavefunction takes the form

$$\begin{aligned} \Psi _{2;D}^R(x,\mathbf {k}_\perp )= & {} A_D \varphi _D(x) \times \exp \nonumber \\&\times \left[ -\frac{1}{\beta _D^2} \left( \frac{\mathbf {k}_\perp ^2 + \hat{m}_c^2}{1-x} + \frac{\mathbf {k}_\perp ^2 + \hat{m}_q^2}{x} \right) \right] , \end{aligned}$$
(8)

where \(A_D\) is the normalization constant, \(\beta _D\) is the harmonious parameter that dominates the wavefunction’s transverse distribution, and \(\varphi _D(x)\) dominates the wavefunction’s longitudinal distribution, which can be expanded as a Gegenbauer polynomial,

$$\begin{aligned} \varphi _D(x) = 1 + \sum ^4_{n=1} B_n^D C_n^{3/2}(2x-1). \end{aligned}$$
(9)

Using the relationship between the D-meson leading-twist wavefunction and its DA,

$$\begin{aligned} \phi _{2;D}(x,\mu _0) = \frac{2\sqrt{6}}{f_D} \int _{|\mathbf {k}_\perp |^2\le \mu _0^2} \frac{d^2\mathbf {k}_\perp }{16\pi ^3} \Psi _{2;D}(x,\mathbf {k}_\perp ), \end{aligned}$$
(10)

we obtain a new model for \(\phi _{2;D}\), i.e.

$$\begin{aligned} \phi _{2;D}(x,\mu _0)= & {} \frac{\sqrt{6} A_D \beta _D^2}{\pi ^2 f_D} x(1-x) \varphi _D(x) \nonumber \\&\times \exp \left[ - \frac{\hat{m}_c^2x + \hat{m}_q^2(1-x)}{8\beta _D^2 x(1-x)} \right] \nonumber \\&\times \left\{ 1 - \exp \left[ -\frac{\mu ^2_0}{8\beta _D^2 x(1-x)} \right] \right\} , \end{aligned}$$
(11)

where \(\mu _0 \sim \Lambda _{\mathrm{QCD}}\) is the factorization scale. Because \(\hat{m}_c \gg \Lambda _{\mathrm{QCD}}\), the spin-space wavefunction \(\chi _D \rightarrow 1\). In this work we ignore the (constituent) mass difference between u and d quarks, the wavefunction \(\Psi _{2;D}(x,\mathbf {k}_\perp )\) and the DA \(\phi _{2;D}(x,\mu )\) are the same for both \(\overline{D}^0\) and \(D^-\). By replacing x with \(1-x\) in Eqs. (611), one can obtain the leading-twist wavefunction and DA of \(D^0\) and \(D^+\).

The model parameters \(A_D\), \(B_n^D\) and \(\beta _D\) are scale dependent, their values at an initial scale \(\mu _0\) can be determined by reasonable constraints, and their values at any other scale \(\mu \) can be obtained via the evolution equation [38, 39]. More explicitly, we shall adopt the following constraints to fix the parameters:

  • The normalization condition,

    $$\begin{aligned} \int ^1_0 dx \phi _{2;D}(x,\mu _0) = 1. \end{aligned}$$
    (12)
  • The probability of finding the leading Fock-state \(\left. \left. \right| \bar{c}q\right\rangle \) in the D-meson Fock state expansion [34],

    $$\begin{aligned} P_D= & {} \int ^1_0 dx \int \frac{d^2\mathbf {k}_\perp }{16\pi ^3} \left| \Psi ^R_{2;D}(x,\mathbf {k}_\perp )\right| ^2 \nonumber \\= & {} \frac{A_D^2 \beta _D^2}{4\pi ^2} \int ^1_0 dx x(1-x) \varphi _D^2(x) \nonumber \\&\times \exp \left[ -\frac{m_c^2x + m_q^2 (1-x)}{4\beta ^2_D x(1-x)} \right] . \end{aligned}$$
    (13)

    We will take \(P_D \simeq 0.8\)  [34] in subsequent calculation. Numerically, we find that similar to the case of heavy pseudo-scalar meson [38], our model depends very little on the value of \(P_D\).

  • The Gegenbauer moments of \(\phi _{2;D}(x,\mu _0)\) can be calculated by the following way,

    $$\begin{aligned} a_n^D(\mu _0) = \frac{\int ^1_0 dx \phi _{2;D}(x,\mu _0)C_n^{3/2}(2x-1)}{\int ^1_0 dx 6x(1-x) [C_n^{3/2}(2x-1)]^2}. \end{aligned}$$
    (14)

    If knowing their values, we can inversely determine the behavior of \(\phi _{2;D}(x,\mu _0)\).

3 Sum rules of the moments of the leading-twist DA \(\phi _{2;D}\)

To derive the sum rules for the D-meson leading-twist DA \(\phi _{2;D}\), we introduce the following correlation function

$$\begin{aligned} \Pi ^{(n,0)}_D (z,q)&= i \int d^4x e^{iq\cdot x} \left\langle 0\left| T \left\{ J_n(x) J^\dag _0(0) \right\} \right| 0\right\rangle \nonumber \\&= (z\cdot q)^{n+2} I^{(n,0)}_D (q^2) , \end{aligned}$$
(15)

where \(z^2 = 0\), \(n=0,1,2,\ldots \), and the currents

(16)
(17)

Following the standard procedures of QCD sum rules, we first apply the operator product expansion (OPE) for the correlation function (15) in the deep Euclidean region. With the basic assumption of BFT and the corresponding Feynman rules, Eq. (15) can be rewritten as

(18)

where \(S_F^c(0,x)\) and \(S_F^q(x,0)\) are quark propagators in the background field, and \((i z\cdot {\mathop {D}\limits ^{\leftrightarrow }})^n\) stands for the vertex operators. The tedious expressions of the propagators and vertex operators with terms leading to dimension-six condensates in the sum rules can be found in Ref. [37].

Fig. 1
figure 1

Feynman diagrams for the first term of Eq. (18). The left big dot and the right big dot stand for the vertex operators and in the currents \(J_n(x)\) and \(J^\dagger _0(0)\), respectively. The cross symbol attached to the gluon line indicates the tensor of the local gluon background field, and “n” indicates \(n_{\mathrm{th}}\)-order covariant derivative. The diagrams whose contributions vanish in the sum rules are not shown

Fig. 2
figure 2

Feynman diagrams for the second term of Eq. (18). The left big dot and the right big dot stand for the vertex operators and in the currents \(J_n(x)\) and \(J^\dagger _0(0)\), respectively. The cross symbol attached to the gluon line indicates the tensor of the local gluon background field, and “n” indicates \(n_{\mathrm{th}}\)-order covariant derivative, and the cross symbol attached to the quark line stands for the local light u or d quark background field

Figures 1 and 2 show the Feynman diagrams for the first and the second terms in Eq. (18), respectively. In those two figure, the left big dot and the right big dot stand for the vertex operators and in the currents \(J_n(x)\) and \(J^\dagger _0(0)\), respectively; the cross symbol attached to the gluon line indicates the tensor of the local gluon background field, and “n” indicates \(n_{\mathrm{th}}\)-order covariant derivative; the cross symbol attached to the quark line stands for the local light u or d quark background field.

Figure 1a1 gives the perturbative contribution, Fig. 1b1, c1, d1 give the contributions proportional to dimension-four gluon condensate \(\left\langle \alpha _sG^2\right\rangle \), and the remaining diagrams in Fig. 1 give the contributions proportional to dimension-six gluon condensate \(\left\langle g_s^3fG^3\right\rangle \). Figure 2 gives the terms involving dimension-three quark condensate \(\left\langle \bar{q}q\right\rangle \), dimension-five quark-gluon mixing condensate \(\left\langle g_s\bar{q}\sigma TGq\right\rangle \) and dimension-six quark condensate \(\left\langle g_s\bar{q}q\right\rangle ^2\). There is infrared (IR) divergence in Fig. 1e1, e3, e5, e7, f1, f3, g1, i2, i4, j1, which contain the terms proportional to \(\tilde{\Pi }\),

$$\begin{aligned} \tilde{\Pi } = \mu ^{2\epsilon } \int \frac{d^Dp_2}{(2\pi )^D} \frac{(2p_2\cdot z - p_1\cdot z)^n \times \cdots }{[(q-p_2)^2 - m_c^2]^\alpha (p_2^2)^\beta }, \;\; (\alpha < \beta )\nonumber \\ \end{aligned}$$
(19)

where we have completed the integration over x, the c-quark momenta \(p_1\) and \(p_{2}\) indicates the u / d quark momentum, and the ellipsis “\(\cdots \)” stands for the possible Lorenz structures, such as \(p_2^\mu \), \(p_2^\mu p_2^\nu \), and etc. Taking the limit, \(m_{u/d}^2 \rightarrow 0\), the infrared divergence appears in \(\tilde{\Pi }\). We adopt the D-dimensional regularization approach to deal with the infrared divergence, \(D = 4 - 2\epsilon \) (\(\epsilon \rightarrow 0\)). Then our task is to extract the divergent terms proportional to \(1/\epsilon \). Using Feynman parameterization formula,

$$\begin{aligned} \frac{1}{A^\alpha B^\beta } = \frac{\Gamma (\alpha +\beta )}{\Gamma (\alpha )\Gamma (\beta )} \int ^1_0 dx \frac{x^{\alpha -1} (1-x)^{\beta -1}}{[Ax + B(1-x)]^{\alpha +\beta }} \end{aligned}$$
(20)

and completing the integration over the momentum \(p_2\), we get the key integration for \(\tilde{\Pi }\)

$$\begin{aligned} I(m,a,b,c)= & {} \int ^1_0 dx (2x-1)^m x^{-a-\epsilon } (1-x)^b \nonumber \\&\times \left( 1 - \frac{-q^2}{-q^2 + m_c^2}x \right) ^{-c-\epsilon }, \end{aligned}$$
(21)

where \(m(\le n),a,b,c\) are integers. Equation (21) can be further represented as

$$\begin{aligned} I(m,a,b,c)= & {} \sum ^m_{k=0} \frac{(-1)^k m!}{k! (m-k)!} \int ^1_0 dx x^{m-k-a-\epsilon } (1-x)^{k+b} \nonumber \\&\times \left( 1 - \frac{-q^2}{-q^2 + m_c^2}x \right) ^{-c-\epsilon }. \end{aligned}$$
(22)

It can be simplified with the help of the hypergeometric function, i.e.

$$\begin{aligned} F(\alpha ,\beta ,\gamma ,Z)= & {} \frac{\Gamma (\gamma )}{\Gamma (\beta )\Gamma (\gamma -\beta )} \nonumber \\&\times \int ^1_0 dx x^{\beta -1} (1-x)^{\gamma -\beta -1}(1-Z x)^{-\alpha } \nonumber \\= & {} \sum ^\infty _{l=0} \frac{\left( \alpha \right) _l \left( \beta \right) _l}{l! \left( \gamma \right) _l} Z^l, \end{aligned}$$
(23)

where \(\left| Z \right| < 1\) and \(\left( \lambda \right) _l = \Gamma (\lambda + l)/\Gamma (\lambda )\), we obtain

$$\begin{aligned} I(m,a,b,c)= & {} \sum ^m_{k=0} \frac{(-1)^k m!}{k! (m-k)!} \frac{\Gamma (k+b+1)}{\Gamma (c+\epsilon )} \nonumber \\&\times \sum ^\infty _{l=0} \frac{\Gamma (l{+}c{+}\epsilon ) \Gamma (l{+}m-k{-}a{+}1-\epsilon )}{l! \Gamma (l+m-a+b+2-\epsilon )} \nonumber \\&\times \left( \frac{-q^2}{-q^2+m_c^2} \right) ^l. \end{aligned}$$
(24)

The IR divergence appears in \(\Gamma (l+m-k-a+1-\epsilon )\) at the lowest several l-terms. It should be pointed out that if the two constituent quarks that make up the meson are heavy ones [38, 39], such IR-divergence can be avoided, since the heavy quark mass provides a natural hard scale for the correlator. For the D-meson or the light meson with at least one light constituent quark [37], there is IR-divergence in the perturbative coefficients of the condensates, which should be regularized, be separated out, and be absorbed into the redefinition of the condensates. For the purpose, we adopt the \(\overline{\mathrm{MS}}\)-scheme to regularize the IR-divergent terms, which shall be absorbed into the redefinition of the condensates such that to achieve a final IR-free prediction.

On the other hand, the correlation function (15) can be calculated by inserting a completed set of intermediate hadronic states in the physical region. With the definition

(25)

and the quark-hadron duality, the hadron expression of \(\Pi ^{(n,0)}_D (z,q) \) can be obtained. In Eq. (25),

$$\begin{aligned} \left\langle \xi ^n\right\rangle _{D}=\int ^1_0 du(2u-1)^n\phi _{2;D}(u) \end{aligned}$$
(26)

is the \(n_{\mathrm{th}}\)-order moment of \(\phi _{2;D}\). The \(0_{\mathrm{th}}\)-order moment corresponds to the normalization condition for \(\phi _{2;D}\),

$$\begin{aligned} \left\langle \xi ^0\right\rangle _{D}=\int ^1_0 du\phi _{2;D}(u)=1. \end{aligned}$$
(27)

The operator expansion of the correlation function (15) and its hadron expansion in deep Euclidean region can be matched by the dispersion relation. By further applying the Borel transformation for both sides, the sum rules for the moments of the D-meson leading-twist DA \(\phi _{2;D}\) can be written as

$$\begin{aligned} \left\langle \xi ^n\right\rangle _D= & {} \frac{M^2 e^{\frac{m_D^2}{M^2}}}{f_D^2} \left\{ \frac{1}{\pi } \frac{1}{M^2} \int ^{s^D_0}_{t_{min}} ds e^{-\frac{s}{M^2}} \mathrm{Im} I_{\mathrm{pert}}(s) \right. \nonumber \\&+\, \hat{L}_M I_{\left\langle \bar{q}q\right\rangle }(-q^2) + \hat{L}_M I_{\left\langle G^2\right\rangle }(-q^2) \nonumber \\&+\, \hat{L}_M I_{\left\langle \bar{q}Gq\right\rangle }(-q^2) + \hat{L}_M I_{\left\langle \bar{q}q\right\rangle ^2}(-q^2) \nonumber \\&+\, \left. \hat{L}_M I_{\left\langle G^3\right\rangle }(-q^2) \right\} , \end{aligned}$$
(28)

where \(s_0^D\) is the continuous threshold parameter, \(\hat{L}_M\) is the Borel transformation operator. For convenience, we present the expressions for every term in the sum rules (28) in the Appendix.

4 Numerical analysis

4.1 Input parameters

To determine the moments of the D-meson leading-twist DA, we take [44]

$$\begin{aligned} m_{D^-}= & {} 1869.59 \pm 0.09 \,\mathrm{MeV}, \nonumber \\ \bar{m}_{c}(\bar{m}_c)= & {} 1.28 \pm 0.03 \,\mathrm{GeV}, \nonumber \\ \bar{m}_d(2\,\mathrm{GeV})= & {} 4.7^{+0.5}_{-0.4} \,\mathrm{MeV}, \end{aligned}$$
(29)

and [38, 45]

$$\begin{aligned} \left\langle \bar{q}q\right\rangle (1 \,\mathrm{GeV})= & {} -(240 \pm 10 \,\mathrm{MeV})^3, \nonumber \\ \left\langle \alpha _sG^2\right\rangle= & {} 0.038 \pm 0.011 \,\mathrm{GeV}^4, \nonumber \\ \left\langle g_s^3fG^3\right\rangle= & {} 0.013 \pm 0.007 \,\mathrm{GeV}^6, \nonumber \\ \left\langle g_s\bar{q}\sigma TGq\right\rangle= & {} 0.8 \left\langle \bar{q}q\right\rangle , \nonumber \\ \left\langle g_s\bar{q}q\right\rangle ^2= & {} 1.8 \times 10^{-3} \,\mathrm{GeV}^6. \end{aligned}$$
(30)

The parameters can be run to any other scales by using the renormalization group equation, such as [46, 47]

$$\begin{aligned} \bar{m}_c(\mu )= & {} \bar{m}_c(\bar{m}_c) \left[ \frac{\alpha _s(\mu )}{\alpha _s(\bar{m}_c)} \right] ^{\frac{12}{25}}, \nonumber \\ \bar{m}_d(\mu )= & {} \bar{m}_d(2\,\mathrm{GeV}) \left[ \frac{\alpha _s(\mu )}{\alpha _s(2\,\mathrm{GeV})} \right] ^{\frac{12}{27}}, \nonumber \\ \left\langle \bar{q}q\right\rangle (\mu )= & {} \left\langle \bar{q}q\right\rangle (1\,\mathrm{GeV}) \left[ \frac{\alpha _s(\mu )}{\alpha _s(1\,\mathrm{GeV})} \right] ^{-\frac{12}{27}}. \end{aligned}$$
(31)

The gluon-condensates \(\left\langle \alpha _sG^2\right\rangle \) and \(\left\langle g_s^3fG^3\right\rangle \) are scale-independent, and we ignore the scale-dependence of the four-quark condensate \(\left\langle g_s\bar{q}q\right\rangle ^2\), whose value is already very small. Generally, we shall take the renormalization scale as the Borel parameter, \(\mu =M\), which represents the typical momentum flow of the process.

The D-meson decay constant is taken as the PDG value [44]: \(f_D \,{=}\, 203.7 \,{\pm }\, 4.7 \,{\pm } \,0.6 \,\mathrm{MeV}\). For the continuous threshold \(s_0^{D}\), it is usually taken as the square of D-meson’s first exciting state. Different from the cases of pion and kaon, the D-meson’s first exciting state has not been experimentally confirmed yet. According to the helicity analysis of Refs. [48, 49], Ref. [48] suggests the quantum state of \(D^0(2550)\) is \(J^P = 0^-\), which has the same quantum number as D-meson, e.g., \(I(J^P) = \frac{1}{2}(0^-)\). On the other hand, with an sum rules prediction within HQET [50], the authors of Ref. [51] suggest \(s_0^D = (6.5 \pm 0.25) \,{\mathrm{GeV}}^2\). Thus in this work, we approximately take \(D^0(2550)\) as the first excitation state of D-meson as suggested by Ref. [48], and the continuous threshold value is taken as \(s_0^D = 6.5025 \,\text {GeV}^2\).

4.2 The moments \(\left\langle \xi ^n\right\rangle _D\) of \(\phi _{2;D}\)

To fix the Borel window, one usually requires the most uncertain contributions from both the continuum states and the highest dimensional condensates be a reasonably small value and the sum rules be insensitive to the Borel parameter M. The contributions from continuum states and dimension-six condensates dominate the systematic error of the predicted moments \(\left\langle \xi ^n\right\rangle _D\), so smaller magnitudes of them indicate better accuracy of the sum rules. In usual treatment, the continuum contribution is taken to be less than \(30\%\) and the contribution from dimension-six condensate is less than \(10\%\). For the present case, our criteria for the continuum states and the dimension-six condensates contributions are presented in Table 1. Table 1 shows better accuracy of \(\left\langle \xi ^1\right\rangle _D\), \(\left\langle \xi ^2\right\rangle _D\) and \(\left\langle \xi ^3\right\rangle _D\) can be achieved than the usual criteria. In order to obtain the Borel window of \(\left\langle \xi ^4\right\rangle _D\), we soften the continuum contribution to be \(40\%\), which inversely could lead to lower accuracy for \(\left\langle \xi ^4\right\rangle _D\). The determined Borel windows and the corresponding D-meson leading-twist DA moments \(\left\langle \xi ^n\right\rangle _D\) \((n=1,2,3,4)\) are presented in Table 2, where all input parameters are taken to be their central values.

Table 1 Criteria for determining the Borel windows of the D-meson leading-twist DA moments \(\left\langle \xi ^n\right\rangle _D\)
Table 2 The determined Borel windows and the corresponding D-meson leading-twist DA moments \(\left\langle \xi ^n\right\rangle _D (n=1,2,3,4)\). All input parameters are set to be their central values
Fig. 3
figure 3

The D-meson leading-twist DA moments \(\left\langle \xi ^n\right\rangle _{D}(n=1,2,3,4)\) versus the Borel parameter \(M^2\), where all input parameters are set to be their central values. The solid, dashed, dash-dotted and dotted lines are for \(\left\langle \xi ^1\right\rangle _{D}\), \(\left\langle \xi ^2\right\rangle _{D}\), \(\left\langle \xi ^3\right\rangle _{D}\) and \(\left\langle \xi ^4\right\rangle _{D}\), respectively

Table 3 The impact of various inputs on \(\left\langle \xi ^n\right\rangle _D\). The Borel parameter M is fixed to be its central value. The labels “\(|_{\mathrm{up}}\)” and “\(|_{\mathrm{low}}\)” stand for the upper and lower bounds of the inputs, and the symbols “\(+\)” and “−” represent the positive and negative errors brought by the corresponding input, respectively

Figure 3 shows the stabilities of the D-meson leading-twist DA moments \(\left\langle \xi ^n\right\rangle _{D}\) \((n=1,2,3,4)\) in the allowable Borel windows. By taking all uncertainty sources into consideration, we obtain

$$\begin{aligned} \begin{aligned} \left\langle \xi ^1\right\rangle _D |_{\mu = 2 \,\mathrm{GeV}}&= -0.418^{+0.021}_{-0.022}, \\ \left\langle \xi ^2\right\rangle _D |_{\mu = 2 \,\mathrm{GeV}}&= 0.289^{+0.023}_{-0.022}, \\ \left\langle \xi ^3\right\rangle _D |_{\mu = 2 \,\mathrm{GeV}}&= -0.178 \pm 0.010, \\ \left\langle \xi ^4\right\rangle _D |_{\mu = 2 \,\mathrm{GeV}}&= 0.142^{+0.013}_{-0.012}, \end{aligned} \end{aligned}$$
(32)

where the errors are squared averages of all the mentioned error sources. By fixing the Borel parameter M to be its central value of the determined Borel window, Table 3 shows the impact of various inputs on \(\left\langle \xi ^n\right\rangle _D\), where the labels “\(|_{\mathrm{up}}\)” and “\(|_{\mathrm{low}}\)” stand for the upper and lower bounds of the inputs and the symbols “\(+\)” and “−” represent the positive and negative errors brought by the corresponding inputs, respectively. Table 3 shows that if the upper limit of an input parameter causes a positive error in \(\left\langle \xi ^1\right\rangle _D\), it will lead to a positive error for \(\left\langle \xi ^3\right\rangle _D\) and lead to negative errors for \(\left\langle \xi ^2\right\rangle _D\) and \(\left\langle \xi ^4\right\rangle _D\), and vice versa; and if the upper limit of an input parameter leads to a positive error in a moment, its lower bound will lead to a negative error in this moment, and vice versa. The only exception is the c-quark current mass \(\bar{m}_c\). Fortunately, the error caused by \(\bar{m}_c\) is negligible. Thus, it is reasonable to assume that the four moments \(\left\langle \xi ^n\right\rangle _D (n=1,2,3,4)\) can not be varied independently, all of which follow the same variation trends as described above. For example, to determine the uncertainty of the leading-twist DA, if the magnitudes of \(\left\langle \xi ^1\right\rangle _D\) and \(\left\langle \xi ^3\right\rangle _D\) take the upper bound, the magnitudes of \(\left\langle \xi ^2\right\rangle _D\) and \(\left\langle \xi ^4\right\rangle _D\) should take the lower bound, and vice versa.

4.3 The improved model for the D-meson leading-twist DA \(\phi _{2;D}\)

Table 4 Typical D-meson leading-twist DA model parameters at scale \(\mu =2\,\mathrm{GeV}\)

One can use the DA moments \(\left\langle \xi ^n\right\rangle _D\) to get the Gegenbauer moments \(a^D_n\). For example, by using the relationship between \(\left\langle \xi ^n\right\rangle _{D}\) and \(a_n^D\) [38], we obtain

$$\begin{aligned} \begin{aligned} a_1^D(2 \,\mathrm{GeV})&= -0.697^{+0.036}_{-0.037}, \\ a_2^D(2 \,\mathrm{GeV})&= 0.258^{+0.068}_{-0.064}, \\ a_3^D(2 \,\mathrm{GeV})&= 0.009^{+0.003}_{-0.002}, \\ a_4^D(2 \,\mathrm{GeV})&= -0.024_{+0.020}^{-0.026}. \end{aligned} \end{aligned}$$
(33)

Substituting the above Gegenbauer moments \(a_n^D\) into Eq. (14), together with the constraints (1213), we can determine the input parameters \(A_D\), \(B_n^D\) and \(\beta _D\) for the leading-twist DA \(\phi _{2;D}\). The accuracy of \(\phi _{2;D}\) is dominated by the accuracy of the Gegenbauer moments \(a_D^n\). Table 4 presents some typical parameters at scale \(\mu =2\,\mathrm{GeV}\) for typical choices of Gegenbauer moments \(a_D^n\). Similar to the case of the DA moments \(\left\langle \xi ^n\right\rangle _D\), the Gegenbauer moments \(a_n^D\) also can not be varied independently in their own error regions, and the uncertainty of the DA model is determined by the following two sets of \(a_n^D\), namely, (i) \(a_1^D(2\,\mathrm{GeV}) = -0.697^{+0.036}\), \(a_2^D(2\,\mathrm{GeV}) = 0.258_{-0.064}\), \(a_3^D(2\,\mathrm{GeV}) = 0.009^{+0.003}\), \(a_4^D(2\,\mathrm{GeV}) = -0.024_{+0.020}\); (ii) \(a_1^D(2\,\mathrm{GeV}) = -0.697_{-0.037}\), \(a_2^D(2\,\mathrm{GeV}) = 0.258^{+0.068}\), \(a_3^D(2\,\mathrm{GeV}) = 0.009_{-0.002}\), \(a_4^D(2\,\mathrm{GeV}) = -0.024^{-0.026}\). Table 4 associates the uncertainty of \(\phi _{2;D}\) with the error of Gegenbauer moments \(a_D^n\), which facilitates our further discussion on the impact of \(\phi _{2;D}\) as an input parameter to the \(B\rightarrow D\) decay.

Fig. 4
figure 4

The curves of the D-meson leading-twist DA \(\phi _{2;D}\) with the parameter values exhibited in Table 4

Fig. 5
figure 5

A comparison of the D-meson leading-twist DA \(\phi _{2;D}\). The solid, dashed, dash-dotted, dotted and the thick dotted line are for our present model (11), the KLS model [23, 24], the LLZ model [25], the LM model [30], and the GH model [34], respectively

Figure 4 shows the D-meson leading-twist DA \(\phi _{2;D}\) with typical values of the input parameters exhibited in Table 4. The solid, the dash-dotted and the dashed lines are for the parameters exhibited in second, third and forth lines of Table 4. Figure 5 is a comparison of \(\phi _{2;D}\), in which the solid, the dashed, the dash-dotted, the dotted and the thick dotted lines are for our present model (11), the Gegenbauer polynomial-like KLS model [23, 24], the LLZ model [25], the Gaussian-type LM model [30] and the GH model [34], respectively. Our model of \(\phi _{2;D}\) prefers a narrower behavior in low x-region than other models. It has a peak around \(x\sim 0.2\), which is consistent with the LM model, but is inconsistent with the KLS, the LLZ, and the GH model which have peaks at a larger x (\(\sim 0.3-0.4\)).

Fig. 6
figure 6

The D-meson leading-twist DA model (11) at different scales, where the solid, the dashed, the dotted and the dash-dotted lines are for the scales \(\mu = 2, 3, 10, 100\) GeV, respectively

Figure 6 shows the D-meson leading-twist DA model (11) at different scales, where the solid, the dashed, the dotted and the dash-dotted lines are for the scales \(\mu = 2, 3, 10, 100\) GeV, respectively. It shows that with the increment of \(\mu \), \(\phi _{2;D}\) becomes broader and broader and becomes more symmetric, e.g. the peak moves closer to \(x=0.5\). When \(\mu \rightarrow \infty \), \(\phi _{2;D}\) tends to the well-known asymptotic form, i.e. \(\phi _{2;D}(x,\mu \rightarrow \infty )=6x(1-x)\).

4.4 Numerical results of \(B\rightarrow D\) TFF and its uncertainty from \(\phi _{2;D}\)

By using the chiral current correlation function, the LCSR of \(f^{B \rightarrow D}_{+}\) up to twist-4 accuracy shall involve only the contribution from the D-meson leading-twist DA \(\phi _{2;D}\) [11, 12, 14]. In this subsection, we apply our present DA model to calculate the \(B \rightarrow D\) TFF \(f^{B \rightarrow D}_{+}\).

Considering the decay \(\overline{B}^0\rightarrow D^+l\bar{\nu }_l\), we take \(m_{\overline{B}^0} = 5279.63 \pm 0.15 \,\mathrm{MeV}\) and \(\bar{m}_b(\bar{m}_b) = 4.18^{+0.04}_{-0.03}\, \mathrm{GeV}\) [44]. For the B-meson decay constant, we take the PDG value, \(f_B = 188 \pm 17 \pm 18 \,\mathrm{MeV}\) [44]. For the continuum threshold \(s_0^B\), we take it to be \(s_0^B = 36 \pm 1 \,\text {GeV}^2\). We take the factorization scale to be \(\mu \simeq 3 \,\mathrm{GeV}\). For the Borel window we take \(M^2 = (20{-}30) \,\text {GeV}^2\). At the maximum recoil point with \(q^2 = 0\), we have

$$\begin{aligned} f^{B \rightarrow D}_{+}(0)= & {} 0.673^{+0.018}_{-0.025}|_{\phi _{2;D}}\ ^{+0.005}_{-0.009}|_{M^2}\ ^{+0.019}_{-0.021}|_{s_0^B} \nonumber \\&\pm 0.015|_{f_B} \pm 0.016|_{f_D}\ ^{+0.016}_{-0.011}|_{m_b} \nonumber \\= & {} 0.673^{+0.018}_{-0.025}|_{\phi _{2;D}} \pm 0.033|_{\mathrm{Other\ Inputs}} \end{aligned}$$
(34)

where the error labeled as “Other Inputs” is obtained by adding up of all the errors other than the one from \(\phi _{2;D}\) in quadrature. The DA \(\phi _{2;D}\), the Borel parameter \(M^2\), continuum threshold \(s_0^B\), B(D)-meson decay constant \(f_{B(D)}\) and the b-quark mass \(m_b\) are main error sources. The errors caused by \(m_{\overline{B}^0}\) and \(m_{D^+}\) are not explicitly shown, because they are less than \(10^{-5}\) of the total contributions. Our value in Eq. (34) agrees with the lattice QCD prediction, \(f^{B \rightarrow D}_{+}(0) = 0.664 \pm 0.034\)  [17].

Table 5 The parameters a and b for the TFF extrapolation (35). The lowest, middle and the highest TFFs are adopted for such a determination

Because the LCSRs for the TFF \(f^{B\rightarrow D}_+(q^2)\) are reliable in low and intermediate regions only, we extrapolate our present prediction to large \(q^2\)-region by adopting the following formula [52],

$$\begin{aligned} f^{B\rightarrow D}_+(q^2) = \frac{f^{B\rightarrow D}_+(0)}{1 - a\left( q^2/m_B^2\right) + b\left( q^2/m_B^2\right) ^2}. \end{aligned}$$
(35)

We present the fitted parameters a and b in Tabel 5 and the TFF \(f^{B \rightarrow D}_{+}(q^2)\) in Fig. 7. In Fig. 7, the shaded hand is the theoretical uncertainty from all the mentioned error sources, such as \(\phi _{2;D}\), \(s_0^B\), \(f_{B}\), \(f_D\), \(m_b\) and etc., which have been added up in quadrature. Figure 7 shows when \(q^2 \in [8,10]\,{\mathrm{GeV}}^2\), the error caused by \(\phi _{2;D}\) is rather small, which becomes sizable for \(q^2 \in [0,8]\,{\mathrm{GeV}}^2\) and \(10\,{\mathrm{GeV}}^2 \le q^2 \le q^2_{\mathrm{max}} = (m_B - m_D)^2\). This can be numerically explained by the fact that the error of \(\phi _{2;D}\) shall be cancelled for the integral region \(u \in [\Delta ,1]\) of the integral in Eq. (1).

Fig. 7
figure 7

The extrapolated TFF \(f^{B\rightarrow D}_+(q^2)\) versus \(q^2\). The solid line is the central value and the shaded band is the squared average of all the error sources. The error from the leading-twist DA \(\phi _{2;D}\) is shown by the dash-dotted lines

Using the transformation formula \(\mathcal {G}(1) = 2\sqrt{m_B m_D}/(m_B + m_D) \times f^{B \rightarrow D}_{+}(q^2_{\mathrm{max}})\), one can get \(\mathcal {G}(1) = 0.981^{+0.045}_{-0.048}\). In the literatures, \(\mathcal {G}(1)\) has been calculated with the lattice QCD approach, e.g., \(\mathcal {G}(1) = 1.074 \pm 0.018 \pm 0.016\) [53], \(\mathcal {G}(1) = 1.058 \pm 0.016 \pm 0.003^{+0.014}_{-0.005}\) [54], \(\mathcal {G}(1) = 1.026 \pm 0.017\) [55], \(\mathcal {G}(1) = 1.0527 \pm 0.0082\) [16] and \(\mathcal {G}(1) = 1.035 \pm 0.040\) [17]. Our result is slightly smaller than the values in Refs. [16, 53, 54], but is consistent with the values in Refs. [17, 55] within reasonable errors.

Furthermore, one can calculate the branching ratio \(\mathcal {B}(B\rightarrow Dl\bar{\nu }_l)\) with the following two formulas,

$$\begin{aligned}&\frac{d}{dq^2} \Gamma (B\rightarrow Dl\bar{\nu }_l) = \frac{G_F^2 |V_{\mathrm{cb}}|^2}{192\pi ^3 m_B^3} \lambda ^{3/2}(q^2) |f_+^{B\rightarrow D}(q^2)|^2,\nonumber \\ \end{aligned}$$
(36)
$$\begin{aligned} \mathcal {B}(B\rightarrow Dl\bar{\nu }_l) = \tau _B \int ^{(m_B - m_D)^2}_{0} dq^2 \frac{d\Gamma (B\rightarrow Dl\bar{\nu }_l)}{dq^2},\nonumber \\ \end{aligned}$$
(37)

where \(\lambda (q^2) = (m_B^2 + m_D^2 - q^2)^2 - 4m_B^2 m_D^2\) is the phase-space factor. We take the Fermi constant \(G_F = 1.1663787(6) \times 10^{-5} \,{\mathrm{GeV}}^{-2}\), the B meson lifetime \(\tau _{B} = (1.520 \pm 0.004) \times 10^{-12} s\) and the CKM matrix element \(|V_{\mathrm{cb}}| = (40.5 \pm 1.5) \times 10^{-3}\) [44]. Then

$$\begin{aligned} \mathcal {B}(\overline{B}^0\rightarrow D^+l\bar{\nu }_l)= & {} \left( 2.133 \pm 0.273\right) \times 10^{-2}. \end{aligned}$$
(38)

Our \(\mathcal {B}(\overline{B}^0\rightarrow D^+l\bar{\nu }_l)\) in (38) agrees with \(\mathcal {B}(\overline{B}^0\rightarrow D^+l\bar{\nu }_l) = 2.03^{+0.92}_{-0.70}\) by pQCD [9], \(\mathcal {B}(\overline{B}^0\rightarrow D^+l\bar{\nu }_l) = 2.13^{+0.19}_{-0.18}\) by HQET [8] and \(\mathcal {B}(\overline{B}^0\rightarrow D^+l\bar{\nu }_l) = 2.18 \pm 0.12\) in PDG [44].

5 Summary

In this paper, we have made a detailed study on the DA \(\phi _{2;D}\) with the QCD sum rules under the framework of the background field theory and tried to estimate the uncertainty from the improved model distribution amplitude. In order to get more accuracy information on the DA \(\phi _{2;D}\), we calculate the first four moments \(\left\langle \xi ^n\right\rangle _D\) of \(\phi _{2;D}\) with QCD sum rules in the framework of BFT. Their values are obtained as: \(\left\langle \xi ^1\right\rangle _D = -0.418^{+0.021}_{-0.022}\), \(\left\langle \xi ^2\right\rangle _D = 0.289^{+0.023}_{-0.022}\), \(\left\langle \xi ^3\right\rangle _D = -0.178 \pm 0.010\) and \(\left\langle \xi ^4\right\rangle _D = 0.142^{+0.013}_{-0.012}\) at scale \(\mu = 2 \,\mathrm{GeV}\). Furthermore, under the same scale the Gegenbauer moments of \(\phi _{2;D}\) are obtained as \(a_1^D = -0.697^{+0.036}_{-0.037}\), \(a_2^D = 0.258^{+0.068}_{-0.064}\), \(a_3^D = 0.009^{+0.003}_{-0.002}\), \(a_4^D = -0.024_{+0.020}^{-0.026}\). Based on those four Gegenbauer moments, the improved model for the D-meson leading-twist DA \(\phi _{2;D}\) has been constructed. Our model has a narrower form than the models existed in the literature, whose peak is at about \(x\sim 0.2\). We have also analyzed the effect of \(a^n_D\)’s uncertainty on the DA \(\phi _{2;D}\), which helps us to discuss the uncertainty that occurs when the \(\phi _{2;D}\) is used as an input parameter to the exclusive processes.

With our model of \(\phi _{2;D}\), we calculate the \(B\rightarrow D\) TFF \(f^{B\rightarrow D}_+(q^2)\), and obtain \(f^{B\rightarrow D}_+(0) = 0.673^{+0.038}_{-0.041}\) and \(f^{B\rightarrow D}_+(q^2_{\mathrm{max}}) = 1.117^{+0.051}_{-0.054}\), we find that the error brought by \(\phi _{2;D}\) to \(f^{B\rightarrow D}_+(q^2)\) is obvious in the low and intermediate \(q^2\)-region. This case shows that it is very necessary to study and find more accurate form of the meson DA. In the study of various processes, the error caused by the meson DA as an input parameter should be taken into account. Furthermore, we obtain the branching ratio \(\mathcal {B}(\overline{B}^0\rightarrow D^+l\bar{\nu }_l) = \left( 2.133 \pm 0.273\right) \times 10^{-2}\), which is consistent with experimental data and other approaches in the error range.