Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $Q_{1/2}(u)$ be the Legendre function of the second kind of degree $1/2$.

One can show that $Q_{1/2}(u) = O(u^{-3/2})$ as $u\to \infty$; see Equation 21 in Section 3.9.2 of Higher transcendental functions, the Bateman Manuscripta Project Volume 1 .

I'm looking for a more precise statement. Namely, I would like to know if one can prove an upper bound for $Q_{1/2}(u)$ of the form $c u^{-3/2}$, where $c$ is an explicit real number.

Where can I find this, or how can I derive this?

share|improve this question
add comment

2 Answers 2

There is the identity

$$Q_\frac12 (z)=K\left(\frac{z+1}{2}\right)-2E\left(\frac{z+1}{2}\right)$$

where $K(m)$ and $E(m)$ are the complete elliptic integrals of the first and second kinds with parameter $m$. This is most easily established by using the relationships of these functions with the Gaussian hypergeometric function ${}_2 F_1\left({{a\;b}\atop{c}}\mid z\right)$.

You should then be able to use series expansions at infinity for the two elliptic integrals; however, since both elliptic integrals become complex when the parameter $m$ is greater than $1$ (in Legendre terms, if $z > 1$), I don't understand why you're expecting the coefficient $c$ to be real...

share|improve this answer
add comment

Perhaps this is more what you look for.

For $\nu>-1$ and $x\in(1,\infty)$ we have the estimates $$Q_\nu(x)\leq\min\left(q_\nu(x-1)^{-\nu-1},x^{-\nu-1}\left(q_\nu +\frac12\log\frac{x+1}{x-1}\right)\right)$$ and $$Q_\nu(x)\geq x^{-\nu-1}\max\left(q_\nu,\frac12\log\frac{x+1}{x-1}-\gamma-\psi(\nu+1) \right)$$ where $$q_\nu=\frac{\sqrt{\pi}\Gamma(\nu+1)}{2^{\nu+1}\Gamma(\nu+3/2)}$$ and $\psi(x)=\frac{d}{dx}\log(\Gamma(x))$.

Also, in the case $\nu=1/2$ we have $q_{1/2}=\frac{\sqrt{2}\pi}{8}$.


To prove these estimates it is useful to:

(1) Use recurrence relations $$\frac{d}{dx}\left((x^2-1)Q'_\nu(x)\right)=\nu(\nu+1)Q_\nu(x)$$ $$Q'_\nu(x)=\frac{\nu+1}{x^2-1}\left(Q_{\nu+1}(x)-xQ_\nu(x)\right)=\frac{\nu}{x^2-1}\left(xQ_\nu(x)-Q_{\nu-1}(x)\right) $$

(2) Derive growth relations using (1). For example $$\frac{d}{dx}\left(x^{\nu+1}Q_\nu(x)\right)=x^{\nu}Q'_{\nu+1}(x)\tag{ <0}$$

(3) Have some convenient representations of $Q_\nu$ involving the leading term, e.g. $$Q_\nu(x)=q_\nu x^{-\nu-1}\,_2F_1\left(\frac{\nu}{2}+1,\frac{1}{2}(\nu+1),\nu+\frac32;x^{-2}\right)$$ (where $\,_2F_1$ is the hypergeometric function of Gauss).

For a details look up Proposition 3.4 in A Wiener Tauberian Theorem for Weighted Convolution Algebras of Zonal Functions on the Automorphism Group of the Unit Disc, Dahlner A. Contemp. Math no404, 2006.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.