1 Introduction

The Boltzmann equation reads as

$$\begin{aligned} \partial _t f +v\cdot \nabla _x f = Q(f,f)(v), \end{aligned}$$
(1)

where \(f=f(t,x,v)\) is the velocity distribution of particles with position \(x\in \Omega \subset \mathbb {R}^3\) and velocity \(v\in \mathbb {R}^3\) at time \(t\in [0,\infty )\).

The equation has been considered as a fundamental model for the collisional gases that interact either under the hard-sphere potential \(U(r)=\infty \) for \(r\le 2\epsilon \) and \(=0\) for \(r\ge 2\epsilon \), or under the long-range potential \(U_s(r)\simeq \frac{1}{r^{s-1}}\) for \(s>2\). Here \(\epsilon \) is the radius of each hard-sphere. The prototype of the model was suggested by Maxwell [1, 2] and Boltzmann [3].

In this note we consider the particular case of inverse power law interactions \( U_s(r)= 1/r^{s-1} \) leading to non-cutoff kernels [cf. formula (3)]

$$\begin{aligned} B_s(|v-v_*|,\cos \theta ) = |v-v_*|^{\gamma }b_s(\cos \theta ),\quad \gamma =\dfrac{s-5}{s-1}. \end{aligned}$$

Here, \( b_s \) is the so-called angular part. We prove that the function \( B_s \) converges to the hard-sphere kernel in the limit \( s\rightarrow \infty \). We give a precise study of the singularity as \( \theta \rightarrow 0 \) when \( s\rightarrow \infty \). Finally, we show that solutions to the homogeneous Boltzmann equation with collision kernel \( B_s \) converge to the solution to the equation for hard-spheres. Such a limit result was suggested to exist in [4, Remark 1.0.1].

1.1 Boltzmann Collision Operator

The Boltzmann collision operator Q takes the form

$$\begin{aligned} Q(f,f)(v)= \int _{\mathbb {R}^3}\int _{S^2} B(|v-v_*|,n\cdot \sigma ) (f'f'_*-ff_*)\, d\sigma dv_*, \quad n:= \dfrac{v-v_*}{|v-v_*|}, \end{aligned}$$

where we used the standard notation \( f'=f(v'), \, f'_*= f(v'_*),\, f_*=f(v_*) \). Also \( (v',v'_*) \) are the post-collisional velocities and \( (v,v_*) \) the pre-collisional velocities. The function B is Boltzmann’s collision kernel and strongly depends on the microscopic interaction of two particles in the course of a collision. It only depends on the length of relative velocities \( |v-v_*| \) and the so-called deviation angle \( \theta \in [0,\pi ] \) through \( n\cdot \sigma = \cos \theta \).

It is customary to distinguish two main classes of kernels, namely angular cutoff and non-cutoff kernels. This refers to a possible singularity of the kernel when \( \theta \rightarrow 0 \). Such deviation angles correspond to grazing collisions, i.e. collisions such that \( v\approx v' \). They appear only for long-range or weak interactions.

1.2 Derivation of Boltzmann’s Collision Kernel for Long-Range Interactions

Let us give here a derivation of the collision kernel for inverse power law interactions. We consider the collision of two particles (xv) , \( (x_*,v_*) \) with equal mass \( m=1 \). Due to conservation of momentum and conservation of energy, both \( v_c=(v+v_*)/2 \) and \( |v-v_*| \) are conserved. Here, \( v_c \) is the velocity of the center of mass \( x_c=(x+x_*)/2 \). It is convenient to use the coordinate system \( (\bar{x}, \bar{v})=(x-x_*,v-v_*) \), in which the center of mass is zero and at rest. In this coordinate system, the velocities after the collision have equal lengths but opposite directions due to the conservation of momentum and energy. Hence, they are given by \( |\bar{v}|\sigma /2 \) and \( -|\bar{v}|\sigma /2 \), respectively, for \( \sigma \in S^2 \). In the original coordinate system, we thus get

$$\begin{aligned} v'= \dfrac{v+v_*}{2}+\dfrac{|v-v_*|}{2}\sigma , \quad v'_*= \dfrac{v+v_*}{2}-\dfrac{|v-v_*|}{2}\sigma . \end{aligned}$$

In order to derive the distribution of \( \sigma \) in the scattering problem, we need to consider the interaction of both particles via the potential U. As is well-known we can reduce it to a single particle problem in the center of mass coordinate system \( (\bar{x}, \bar{v}) \) with (reduced) mass \( \mu =1/2 \), see e.g. [5, Section 13]. The motion is planar and we can use polar coordinates. The Hamiltonian reads,

$$\begin{aligned} H(r,\varphi ,\dot{r}, \dot{\varphi }) = \dfrac{\mu }{2}\left( \dot{r}^2+r^2\dot{\varphi }^2\right) + U(r), \end{aligned}$$

where \( \dot{r} \), \( \dot{\varphi } \) denote the velocity variables (i.e., derivatives with respect to the time variable t) corresponding to r, \( \varphi \), respectively. Both energy \( E= H(r,\varphi ,\dot{r}, \dot{\varphi }) \) and angular momentum \( L=\mu r^2\dot{\varphi } \) are conserved.

For the collision process we consider the particle \( (\bar{x},\bar{v})(t) \) passing the center of the potential with asymptotic velocity \( v-v_* \) as \( t\rightarrow -\infty \), \( r\rightarrow \infty \). The particle is scattered and moves away from the center with asymptotic velocity \( v'-v'_*\) as \( t\rightarrow \infty \), \( r\rightarrow \infty \). The turning point (\( \dot{r}=0 \)) is given at distance \( r_m \), which is the largest root of

$$\begin{aligned} E - \dfrac{L^2}{r_m^2} - U(r_m) =0. \end{aligned}$$

We can determine E and L by considering the asymptotic value \( t\rightarrow -\infty \). This yields

$$ E= \frac{|v-v_*|^2}{4} \text { and } L=\mu |\bar{x}\times \bar{v}| =\frac{ |\bar{x}||\bar{v}|\sin (\psi ) }{2} = \frac{|v-v_*| \rho }{2},$$

where \( \psi \) is the angle between \( \bar{x} \) and \( \bar{v} \). Furthermore, \( \rho \) is the impact parameter, which is the distance of the closest approach if the particle is passing the center without the presence of an interaction, see Fig. . The formula for L can be obtained by a geometric argument.

Fig. 1
figure 1

Two-body scattering process: \( \rho \) is the impact parameter, \( \theta \) the deviation angle and \( \varphi _0 \) the angle of the axis of symmetry

The solution to the above problem is implicitly given by, see e.g. [5, Section 14],

$$\begin{aligned} \varphi = \text {const.}+ \int _{r_m}^r \dfrac{L/r_*^2\, dr_*}{\sqrt{E-U(r_*)-\frac{L^2}{r_*^2}}}, \quad t = \text {const.}+\int _{r_m}^r \dfrac{dr_*}{2\sqrt{E-U(r_*)-\frac{L^2}{r_*^2}}}. \end{aligned}$$

In the limit \( t\rightarrow -\infty \) the angle \( \varphi \) is zero. By a symmetry argument, one can see that the angle \( \varphi _0 \) of the line through the center and the point of closest approach is given by (see Fig. 1)

$$\begin{aligned} \varphi _0 = \int _{r_m}^\infty \dfrac{L/r_*^2\, dr_*}{\sqrt{E-U(r_*)-\frac{L^2}{r_*^2}}}. \end{aligned}$$

Now, we plug in the values for \( E, \, L \) and use the change of variables \( y=\rho /r_* \). Furthermore, we use \( U(r)=r^{-(s-1)} \) and define \( \beta = \rho (|v-v_*|/2)^{2/(s-1)} \) to get, cf. [6, page 69–71],

$$\begin{aligned} \varphi _0 = \int _{0}^{x_0}\dfrac{dy}{\sqrt{1-y^2-(y/\beta )^{s-1}}}, \quad x_0 = \rho /r_m. \end{aligned}$$
(2)

The deviation angle is given by \( \theta = \pi -2\varphi _0 \) for a given impact parameter \( \rho \).

The number of particles scattered with deviation angle close to \( \theta \) is proportional to \( |v-v_*| \) and the corresponding cross-section, that is \( 2\pi \rho d\rho = 2\pi \rho (\theta )|\rho '(\theta )|\, d\theta \). Changing to the variable \( \beta \) and integrating via the solid angle yields the formula

$$\begin{aligned} B_s(|v-v_*|,\cos \theta )\, d\sigma = 2^{\frac{4}{s-1}}|v-v_*|^{\frac{s-5}{s-1}}\dfrac{\beta (\theta )}{\sin \theta }\beta '(\theta ) \, d\sigma . \end{aligned}$$
(3)

Let us note that \( \beta '(\theta )>0 \). This completes the formal derivation of the Boltzmann collision operator for the long-range interactions.

1.3 Outline of the Article

We now provide a brief outline of the rest of the article. In Sect. 2, we give a proof of the limit of the non-cutoff kernel to the hard-sphere kernel as \(s\rightarrow \infty \). Then in Sect. 3, we study the asymptotics of the singular layer near \(\theta \simeq 0\) as \(s\rightarrow \infty \). Finally, in Sect. 4, we prove the convergence of the solution to the spatially homogeneous Boltzmann equation without angular cutoff to the solution to the hard-sphere Boltzmann equation as \(s\rightarrow \infty \).

2 Limit of the Non-cutoff Collision Kernel

In this section, we study the limit of the kernel (3) as \(s\rightarrow \infty \). Our first result contains the limit of the kernel as \(s\rightarrow \infty \) as well as some uniform estimates. These estimates together with the ones in Sect. 3 play a crucial role for the proof of the rigorous limit of a weak solution to the spatially homogeneous Boltzmann equation without angular cutoff to the one for the hard-sphere interaction, see Sect. 4.

Theorem 1

Let us define the angular part of the collision kernel via

$$\begin{aligned} b_s(\cos \theta )=2^{4/(s-1)}\frac{\beta (\theta )}{\sin \theta }\beta '(\theta ),\ s\ge 2. \end{aligned}$$
  1. (i)

    We have as \( s\rightarrow \infty \)

    $$\begin{aligned} b_s(\cos \theta ) \rightarrow \dfrac{1}{4} \end{aligned}$$

    locally uniformly for \( \theta \in (0,\pi ] \).

  2. (ii)

    The following asymptotics holds

    $$\begin{aligned} \lim _{\theta \rightarrow 0} \theta ^{1+2/(s-1)} \, b_s(\cos \theta ) \sin \theta = C_s, \quad C_s := \dfrac{2^{4/(s-1)}}{s-1} \left( \dfrac{\sqrt{\pi } \Gamma \left( \frac{s}{2}\right) }{\Gamma \left( \frac{s-1}{2}\right) }\right) ^{2/(s-1)}. \end{aligned}$$
  3. (iii)

    Finally, we have the uniform bound

    $$\begin{aligned} \sup _{s\ge 3}\, \sup _{\theta \in (0,\pi ]} \theta ^{1+2/(s-1)} \, b_s(\cos \theta ) \sin \theta <\infty . \end{aligned}$$

Remark 2

Note that in (i) the limiting collision kernel corresponds to hard-sphere interactions. Writing the kernel (3) in terms of the angle \( \varphi = (\pi -\theta )/2 \) we get \( |v-v_*|\cos \varphi \, \mathbb {I}_{\cos \varphi \ge 0} \) as \( s\rightarrow \infty \).

Furthermore, in (ii) we have \( C_s\rightarrow 0 \) as \( s\rightarrow \infty \). In fact,

$$\begin{aligned} \dfrac{\sqrt{\pi } \Gamma \left( \frac{s}{2}\right) }{\Gamma \left( \frac{s-1}{2}\right) } = \dfrac{s-1}{2}\dfrac{\sqrt{\pi }\Gamma \left( \frac{s}{2}\right) }{\Gamma \left( \frac{s+1}{2}\right) } = \dfrac{s-1}{2}B\left( \dfrac{s}{2},\dfrac{1}{2} \right) = (s-1)W_{s-1}, \end{aligned}$$

where \( W_{s-1} \) is the Wallis integral. It is known that \(\lim _{s\rightarrow \infty } \sqrt{s}W_{s-1}=\sqrt{\pi /2} \).

Finally, compare (iii) with [5, Section 20].

2.1 Rearrangement of the Deviation Angle

It is convenient to rearrange (2)

$$\begin{aligned} \varphi = x\int _0^1\dfrac{dz}{\sqrt{1-z^{s-1}-x^2(z^2-z^{s-1})}}. \end{aligned}$$
(4)

Here, we dropped the index zero in \( \varphi _0, \, x_0 \), used the change of variables \( z=y/x_0 \) and the fact that \( x_0=x \) is the positive root of

$$\begin{aligned} 1-x^2-\dfrac{x^{s-1}}{\beta ^{s-1}}=0. \end{aligned}$$
(5)

We recall that the deviation angle \( \theta = \pi -2\varphi \). One can see that the mappings \( \beta \mapsto x, \, x\mapsto \varphi \) are strictly increasing and real analytic functions \( [0,\infty )\rightarrow [0,1)\rightarrow [0,\pi /2) \) for each \( s\ge 2 \). We will use the index s to indicate that we consider the variable as a function.

2.2 Proof of Theorem 1

Proof of Theorem 1 (i)

We first study the function \( \varphi _s(x) \). The integrand can be written

$$\begin{aligned} \dfrac{1}{\sqrt{1-z^{s-1}-x^2(z^2-z^{s-1})}}= \dfrac{1}{\sqrt{1-z^{s-1}}\sqrt{1-x^2z^2+x^2z^2 \left( 1-\frac{1-z^{s-3}}{1-z^{s-1}}\right) }}\\ \le \dfrac{1}{\sqrt{1-z}}\dfrac{1}{\sqrt{1-x^2z^2}}. \end{aligned}$$

Here, we used that

$$\begin{aligned} 1-\frac{1-z^{s-3}}{1-z^{s-1}}\ge 0, \text{ for } s\ge 3. \end{aligned}$$

This yields for any \( x\in \mathbb {C}\) with \( |x|\in [0,1-\varepsilon ] \), \( \varepsilon >0 \) a uniform majorant, entailing locally uniform convergence,

$$\begin{aligned} s\rightarrow \infty ,\ \varphi _s(x)\rightarrow \arcsin x. \end{aligned}$$

As a consequence of the analyticity we have (\( x_s \) is the inverse of \( \varphi _s \))

$$\begin{aligned} x_s(\varphi ) \rightarrow \sin \varphi \text { and } x_s'(\varphi )\rightarrow \cos \varphi \end{aligned}$$

locally uniformly for \( \varphi \in [0,\pi /2) \).

Next, we look at the functions [see (5)]

$$\begin{aligned} \beta _s(x) = \dfrac{x}{(1-x^2)^{1/(s-1)}}, \quad \beta _s'(x) = \dfrac{2}{s-1} \dfrac{1}{(1-x^2)^{s/(s-1)}} + \dfrac{s-3}{s-1}\dfrac{1}{(1-x^2)^{1/(s-1)}}. \end{aligned}$$

Hence, we have the locally uniform convergence for \( x\in [0,1) \) as \( s\rightarrow \infty \)

$$\begin{aligned} \beta _s(x) \rightarrow x, \quad \beta _s'(x) \rightarrow 1. \end{aligned}$$

We conclude with the above analysis

$$\begin{aligned} \begin{aligned} b_s(\cos \theta )&= \dfrac{1}{2}\, \dfrac{2^{4/(s-1)}}{\sin \theta } \, \beta _s\left( x_s\left( \dfrac{\pi -\theta }{2}\right) \right) \beta _s'\left( x_s\left( \dfrac{\pi -\theta }{2} \right) \right) x_s'\left( \dfrac{\pi -\theta }{2} \right) \\&\rightarrow \dfrac{1}{2\sin \theta } \sin \left( \dfrac{\pi -\theta }{2} \right) \cos \left( \dfrac{\pi -\theta }{2}\right) = \dfrac{1}{4} \end{aligned} \end{aligned}$$
(6)

locally uniformly for \( \theta \in (0,\pi ] \) as \( s\rightarrow \infty \). Notice that \( \varphi =(\pi -\theta )/2 \) and the extra factor 1/2 results from \( d\varphi /d\theta =-1/2 \).

Proof of Theorem 1 (ii)

We have the following equalities for \( \varphi \in [0,\pi /2) \) and some \( \psi \in (\varphi ,\pi /2) \)

$$\begin{aligned} \begin{aligned} 1-x_s(\varphi )&= \varphi '_s(x_s(\psi ))^{-1}\left( \dfrac{\pi }{2}-\varphi \right) , \\ \beta _s(x)&= \dfrac{x}{(1+x)^{1/(s-1)}} \, (1-x)^{-1/(s-1)}, \\ \beta _s'(x)&= \dfrac{2}{(s-1)(1+x)^{s/(s-1)}} \, (1-x)^{-s/(s-1)} + \dfrac{s-3}{s-1}\dfrac{(1-x)^{-1/(s-1)}}{(1+x)^{1/(s-1)}}. \end{aligned} \end{aligned}$$
(7)

Combining them yields

$$\begin{aligned}{} & {} \lim _{\varphi \rightarrow \pi /2} \left( \dfrac{\pi }{2}-\varphi \right) ^{(s+1)/(s-1)} \beta _s(x_s(\varphi )) \, \beta _s'(x_s(\varphi ))\, x_s'(\varphi ) \\{} & {} \quad = \dfrac{1}{2^{1/(s-1)}}\varphi _s'(1)^{1/(s-1)}\, \dfrac{2}{s-1}\dfrac{1}{2^{s/(s-1)}}\, \varphi _s'(1)^{s/(s-1)} \varphi _s'(1)^{-1}\\{} & {} \quad = \dfrac{1}{2^{2/(s-1)}}\dfrac{\varphi _s'(1)^{2/(s-1)}}{s-1}. \end{aligned}$$

Let us note that

$$\begin{aligned} \varphi _s'(x) = \int _0^1\dfrac{1-z^{s-1}}{(1-z^{s-1}-x^2(z^2-z^{s-1}))^{3/2}}\, dz. \end{aligned}$$

and as a consequence we have

$$\begin{aligned} \varphi _s'(1)=\int _0^1 \dfrac{1-z^{s-1}}{(1-z^2)^{3/2}}\, dz = \dfrac{\sqrt{\pi } \Gamma \left( \frac{s}{2}\right) }{\Gamma \left( \frac{s-1}{2}\right) }. \end{aligned}$$

Using a similar expression as in (6) we get the asserted asymptotics.

Proof of Theorem 1 (iii)

For the last estimate we use (7). Note that \( \varphi _s' \) is increasing for \( s\ge 3 \), so that

$$\begin{aligned} \sup _{\varphi \in [0,\pi /2)} x_s'(\varphi ) = \varphi _s'(0)^{-1}. \end{aligned}$$

Note that

$$\begin{aligned} \varphi _s'(0) = \int _0^1 \dfrac{dz}{\sqrt{1-z^{s-1}}} \ge 1. \end{aligned}$$

The last inequality follows from the fact that \( s\mapsto \varphi _s'(0) \) is a decreasing function and \( \varphi _s'(0)\rightarrow 1 \) as \( s\rightarrow \infty \). This implies \( x_s' \le 1 \). Using (7) for \( x\in [0,1) \) we obtain

$$\begin{aligned} \beta _s(x) \beta _s'(x)\le \dfrac{2}{s-1} (1-x)^{-(s+1)/(s-1)} + \dfrac{s-3}{s-1} (1-x)^{-2/(s-1)}. \end{aligned}$$

Since \( \varphi _s' \) is increasing for \( s\ge 3 \) we have

$$\begin{aligned} (1-x_s(\varphi ))^{-1}\le \varphi _s'(1)\left( \dfrac{\pi }{2}-\varphi \right) ^{-1}. \end{aligned}$$

We then obtain with the previous estimates

$$\begin{aligned}{} & {} \left( \dfrac{\pi }{2}-\varphi \right) ^{(s+1)/(s-1)} \beta _s(x_s(\varphi ))\beta _s'(x_s(\varphi ))x_s'(\varphi ) \nonumber \\{} & {} \quad \le \dfrac{2}{s-1} \varphi _s'(1)^{(s+1)/(s-1)} + \dfrac{s-3}{s-1}\left( \dfrac{\pi }{2}-\varphi \right) \varphi '_s(1)^{2/(s-1)}. \end{aligned}$$
(8)

One can see that

$$\begin{aligned} \varphi _s'(1)\le c(s-1), \end{aligned}$$

for some constant \( c>0 \). All in all, the right hand side in (8) is uniformly bounded in \( s\ge 3 \) and \( \varphi \in [0,\pi /2] \). This implies the uniform bound. \(\square \)

This completes the proof of the limit of the non-cutoff collision kernel to the hard-sphere kernel. In the next section, we further study the behavior of \(b_s\) for \( \theta \rightarrow 0 \) when \(s\rightarrow \infty \).

3 Asymptotics of the Non-cutoff Collision Kernel

We now study the asymptotics of the singular layer of \( b_s(\cos \theta ) \) near \( \theta \simeq 0 \) when \( s\rightarrow \infty \). To this end, we note that Theorem 1 (ii) in combination with Remark 2 yields

$$\begin{aligned} b_s(\cos \theta ) \sim \dfrac{1}{s-1}\theta ^{-2-2/(s-1)} \sim \dfrac{\theta ^{-2}}{s} \qquad \text {as } s\rightarrow \infty . \end{aligned}$$

Thus, we need to look at the scaled function

$$ \psi \mapsto b_s(\cos (\psi /\sqrt{s})),$$

with \( \theta = \psi /\sqrt{s} \). In the following, we use this scaling to compute the limit \( s\rightarrow \infty \). First, we derive a similar formula to (4). Note that

$$\begin{aligned} \varphi =\frac{\pi }{2}-\frac{\theta }{2}=\frac{\pi }{2}-\frac{\psi }{2\sqrt{s}}. \end{aligned}$$

Let us define

$$\begin{aligned} \dfrac{\xi _s(\psi )}{2s} := 1-x_{s}\left( \dfrac{\pi }{2}-\dfrac{\psi }{2\sqrt{s}} \right) , \end{aligned}$$
(9)

where \( \xi _s \) is defined for \( \psi \in [0,\pi \sqrt{s}] \). The inverse function for \( \xi \in [0,2s] \) is given by

$$\begin{aligned} \psi _s(\xi )= & {} 2\sqrt{s}\left[ \dfrac{\pi }{2} -\varphi _s\left( 1-\dfrac{\xi }{2s}\right) \right] \nonumber \\= & {} 2\sqrt{s}\int _{0}^1 \left( \dfrac{1}{\sqrt{1-z^2}}- \dfrac{1}{\sqrt{1-z^{s-1}-\left( 1-\frac{\xi }{2s}\right) ^2(z^2-z^{s-1})}}\right) \, dz\nonumber \\{} & {} \quad + \dfrac{\xi }{\sqrt{s}} \int _0^1\dfrac{1}{\sqrt{1-z^{s-1}-\left( 1-\frac{\xi }{2s}\right) ^2(z^2-z^{s-1})}}\, dz. \end{aligned}$$
(10)

Notice that in the last equality we used the definition of \( \varphi _s \) in (4). Note that \( \psi _s \) is an analytic function on (0, 2s) . With this we can state the asymptotic behavior.

Theorem 3

The angular part \( b_s(\cos \theta ) \), \( s\ge 2 \), satisfies the following asymptotic limit

$$\begin{aligned} \lim _{s\rightarrow \infty } b_s\left( \cos \left( \dfrac{\psi }{\sqrt{s}} \right) \right) = \Phi (\psi ), \end{aligned}$$

which holds locally uniformly for \( \psi \in (0,\infty ) \). Here, \( \Phi :(0,\infty ) \rightarrow \mathbb {R}\) is real analytic satisfying

$$\begin{aligned} \quad \lim _{\psi \rightarrow \infty } \Phi (\psi ) = \dfrac{1}{4}. \end{aligned}$$
(11)

Furthermore, we have

$$\begin{aligned} \Phi (\psi )=\dfrac{1}{\psi ^2} + \dfrac{1}{\sqrt{\pi }}\, \dfrac{1}{\psi } + \Phi _0(\psi ), \end{aligned}$$
(12)

where \( \Phi _0: [0,\infty )\rightarrow \mathbb {R}\) is continuous.

Remark 4

Note that the singularity \( 1/\psi ^2 \) of \( \Phi \) for \( \psi \rightarrow 0 \) is consistent with the asymptotics in Theorem 1 (ii), since \( s C_s \rightarrow 1 \) as \( s\rightarrow \infty \). Furthermore, the result of the limit \( \psi \rightarrow \infty \) coincides with Theorem 1 (i).

Proof of Theorem 3

The proof consists of the following four steps.

Step 1 We first derive the limits

$$\begin{aligned} \lim _{s\rightarrow \infty } \psi _s(\xi )&=\psi _\infty (\xi ) = 2\xi \int _0^\infty \dfrac{1-e^{-\zeta }}{\sqrt{2\zeta }\sqrt{h(\zeta ,\xi )}(\sqrt{2\zeta }+\sqrt{h(\zeta ,\xi )})} \, d\zeta , \quad \end{aligned}$$
(13)
$$\begin{aligned} \lim _{s\rightarrow \infty } \psi _s'(\xi )&=\psi _\infty '(\xi ) = \int _0^\infty \dfrac{1-e^{-\zeta }}{h(\zeta ,\xi )^{3/2}}\, d\zeta , \end{aligned}$$
(14)

where

$$\begin{aligned} h(\zeta ,\xi )= 2\zeta + \xi \left( 1-e^{-\zeta } \right) . \end{aligned}$$

To this end we choose \( \xi \in [0,\infty ) \) and assume s large enough such that \( \xi \in [0,2s] \). Let us write

$$\begin{aligned} 1-z^{s-1}-\left( 1-\frac{\xi }{2s}\right) ^2(z^2-z^{s-1}) = 1-z^2+\left( \dfrac{\xi }{s}-\dfrac{\xi ^2}{4s^2}\right) (z^2-z^{s-1})=: g_s(z,\xi ). \end{aligned}$$

Since \( g_s\ge 1-z^2 \) the second integral in (10) goes to zero as \( s\rightarrow \infty \). The first term in (10) can be rearranged to get

$$\begin{aligned} 2\sqrt{s}&\int _0^1\dfrac{( \xi /s - \xi ^2/4s^2 )(z^2-z^{s-1}) }{\sqrt{1-z^2}\sqrt{g_s(z,\xi )} (\sqrt{1-z^2} + \sqrt{g_s(z,\xi ) }) }\, dz =:I_s(\xi ) \end{aligned}$$

We now perform the change of variables \( z=1-\zeta /s \) to get with

$$\begin{aligned} 1-\left( 1-\dfrac{\zeta }{s} \right) ^2&= \dfrac{1}{s} \left( 2\zeta - \dfrac{\zeta ^2}{s} \right) , \\ g_s\left( 1-\dfrac{\zeta }{s}, \xi \right)&= \dfrac{1}{s} \left( 2\zeta - \dfrac{\zeta ^2}{s} \right) +\dfrac{1}{s} \left( \xi -\dfrac{\xi ^2}{4s} \right) \left( \left( 1-\dfrac{\zeta }{s} \right) ^2-\left( 1-\dfrac{\zeta }{s} \right) ^{s-1} \right) \\ {}&=: \dfrac{1}{s} h_s(\zeta ,\xi ), \end{aligned}$$

and the formula

$$\begin{aligned} I_s(\xi ) = \left( 2\xi - \dfrac{\xi ^2}{2s}\right) \int _{0}^s \dfrac{(1-\zeta /s)^2-(1-\zeta /s)^{s-1}}{\sqrt{2\zeta -\zeta ^2/s}\sqrt{h_s(\zeta ,\xi )}(\sqrt{2\zeta -\zeta ^2/s}+\sqrt{h_s(\zeta ,\xi )})} \, d\zeta . \end{aligned}$$
(15)

Using that \( \zeta \le s \) and \( \xi \le 2\,s \) we can obtain

$$\begin{aligned} 2\zeta - \dfrac{\zeta ^2}{s}\ge \zeta , \end{aligned}$$

and

$$\begin{aligned} \left( 1-\dfrac{\zeta }{s} \right) ^2-\left( 1-\dfrac{\zeta }{s} \right) ^{s-1}\ge 0. \end{aligned}$$

Hence, we have \(h_s(\zeta ,\xi ) \ge \zeta .\) In addition, we also have

$$\begin{aligned} \left( 1-\dfrac{\zeta }{s} \right) ^2-\left( 1-\dfrac{\zeta }{s} \right) ^{s-1} \le \min \left\{ 1, \dfrac{s-3}{s} \zeta \left( 1-\dfrac{\zeta }{s} \right) ^2\right\} \le \min \left\{ 1,\zeta \right\} . \end{aligned}$$

Thus, the integrand in (15) can be estimated by

$$\begin{aligned} \min \left\{ \dfrac{1}{2\sqrt{\zeta }} , \dfrac{1}{2\, \zeta ^{3/2}} \right\} . \end{aligned}$$

In conjunction with

$$\begin{aligned} \lim _{s\rightarrow \infty } h_s(\zeta ,\xi ) = 2\zeta + \xi \left( 1- e^{-\zeta }\right) =h(\zeta ,\xi ) \end{aligned}$$

we conclude the locally uniform convergence

$$\begin{aligned} \lim _{s\rightarrow \infty } \psi _s(\xi ) = \psi _\infty (\xi ), \end{aligned}$$

where \( \psi _\infty \) is given in (13). Since the above estimates also hold in a neighborhood of \( \xi \in (0,\infty ) \) in the complex plane, the limit is real analytic. A calculation allows to derive the formula (14). Alternatively, one can compute the derivative of (10) and mimic the preceding computation.

Step 2 Since \( \psi _\infty '>0 \) we also have from the analyticity and the locally uniform convergence

$$\begin{aligned} \xi _s(\psi ) \rightarrow \xi _\infty (\psi ) = \psi _\infty ^{-1}(\psi ), \quad \xi _s'(\psi ) \rightarrow \xi _\infty '(\psi ) = \dfrac{1}{\psi _\infty '(\xi _\infty (\psi ))}, \end{aligned}$$

locally uniformly for \( \psi \in (0,\infty ) \). Furthermore, by (9)

$$\begin{aligned} \lim _{s\rightarrow \infty } x_{s}\left( \dfrac{\pi }{2}-\dfrac{\psi }{2\sqrt{s}} \right) = \lim _{s\rightarrow \infty } 1- \dfrac{\xi _s(\psi )}{2s} =1. \end{aligned}$$

This yields with the definition of \( b_s(\cos (\psi /s)) \), cf. (6) and formulas (7),

$$\begin{aligned}{} & {} \lim _{s\rightarrow \infty } b_s\left( \cos \left( \dfrac{\psi }{\sqrt{s}} \right) \right) \\{} & {} \quad = \lim _{s\rightarrow \infty } \dfrac{1}{2}\dfrac{1}{\sin (\psi /\sqrt{s})} \dfrac{2}{(s-1)} \dfrac{1}{2} \, \left( 1-x_s\left( \dfrac{\pi }{2} -\dfrac{\psi }{2\sqrt{s}} \right) \right) ^{-(s+1)/(s-1)} x_s'\left( \dfrac{\pi }{2} -\dfrac{\psi }{2\sqrt{s}} \right) \\{} & {} \qquad + \lim _{s\rightarrow \infty } \dfrac{1}{2}\dfrac{1}{\sin (\psi /\sqrt{s})} \left( 1-x_s\left( \dfrac{\pi }{2} -\dfrac{\psi }{2\sqrt{s}} \right) \right) ^{-2/(s-1)} x_s'\left( \dfrac{\pi }{2} -\dfrac{\psi }{2\sqrt{s}} \right) . \end{aligned}$$

Using a Taylor expansion we can replace \( \sin (\psi /\sqrt{s}) \) by \( \psi /\sqrt{s} \) without modifying the value of the limit. We use (9) and

$$\begin{aligned} x_s'\left( \dfrac{\pi }{2} -\dfrac{\psi }{2\sqrt{s}} \right) = \dfrac{1}{\sqrt{s}} \xi _s'(\psi ), \end{aligned}$$

which is a consequence of (9), to obtain

$$\begin{aligned} \lim _{s\rightarrow \infty } b_s\left( \cos \left( \dfrac{\psi }{\sqrt{s}} \right) \right) = \dfrac{\xi _\infty '(\psi )}{\xi _\infty (\psi )\psi } + \dfrac{\xi _\infty '(\psi )}{2\psi } =: \Phi (\psi ). \end{aligned}$$
(16)

Step 3 We now use a Taylor approximation for (16). It is convenient to define

$$\begin{aligned} \psi _\infty (\xi ) = 2 \xi J(\xi ), \quad f(\psi ) := 2\, \xi _\infty '(\psi )\, J(\xi _\infty (\psi )). \end{aligned}$$

Here, \( J(\xi ) \) is the integral in (13). This yields

$$\begin{aligned} \xi _\infty (\psi ) = \dfrac{\psi }{2 J(\xi _\infty (\psi ))}, \quad \Phi (\psi ) = \dfrac{f(\psi )}{\psi ^2} + \dfrac{\xi _\infty '(\psi )}{2\psi }. \end{aligned}$$

We then have

$$\begin{aligned} \Phi (\psi ) = \dfrac{f(0)}{\psi ^2} + \dfrac{f'(0)+\xi _\infty '(0)/2}{\psi } + \dfrac{1}{\psi }\left( \dfrac{f(\psi ) - f(0)-f'(0)\psi }{\psi } + \dfrac{\xi _\infty '(\psi )-\xi '_\infty (0)}{2}\right) , \end{aligned}$$

which defines \( \Phi _0 \). The following formulas hold

$$\begin{aligned} \xi '_\infty (0)=\sqrt{\dfrac{2}{\pi }}, \quad f(0) = 1, \quad f'(0) = \dfrac{\sqrt{2}-1}{\sqrt{2\pi }}. \end{aligned}$$
(17)

With this we derive

$$\begin{aligned} f'(0)+\frac{\xi _\infty '(0)}{2} = \dfrac{1}{\sqrt{\pi }}, \end{aligned}$$

which yields the expression in (12).

The formulas (17) can be calculated without difficulty, since the integrals are well-defined. For instance,

$$\begin{aligned} 2J(0) = \psi _\infty '(0) = \dfrac{1}{\xi _\infty '(0)} = \int _0^\infty \dfrac{1-e^{-\zeta }}{(2\zeta )^{3/2}}\, d\zeta = \int _0^\infty \dfrac{e^{-\zeta }}{\sqrt{2\zeta }}\, d\zeta = \sqrt{\dfrac{\pi }{2}}. \end{aligned}$$

Step 4 Finally, for the limit in (11) we have with (16)

$$\begin{aligned} \lim _{\psi \rightarrow \infty } \Phi (\psi )= \lim _{\xi \rightarrow \infty } \left( \dfrac{1}{2\xi ^2\, J(\xi ) \, \psi _\infty '(\xi )} + \dfrac{1}{4\, \xi \, J(\xi )\, \psi _\infty '(\xi )}\right) . \end{aligned}$$

We prove below that

$$\begin{aligned} \lim _{\xi \rightarrow \infty } \sqrt{\xi } \psi _\infty '(\xi )=\lim _{\xi \rightarrow \infty } \sqrt{\xi } J(\xi ) =1, \end{aligned}$$

which implies the assertion. For the preceding two limits we use the change of variables \( \zeta =\xi z \) to get

$$\begin{aligned} \sqrt{\xi } \, \psi _\infty '(\xi ) = \int _0^\infty \dfrac{1-e^{-\xi z}}{(2z+1-e^{-\xi z})^{3/2}}\, dz. \end{aligned}$$

The integrand can be estimated by (we use here \( \xi \ge 1 \) say)

$$\begin{aligned} \min \left\{ \dfrac{1}{z^{3/2}} , \dfrac{1}{\sqrt{1-e^{-\xi z}}} \right\} \le \min \left\{ \dfrac{1}{z^{3/2}} , \dfrac{1}{\sqrt{1-e^{-z}}} \right\} . \end{aligned}$$

Hence, we can use the dominated convergence theorem to obtain the stated limit. A similar computation applies to \( \sqrt{\xi } J(\xi ) \). This concludes the proof. \(\square \)

This completes the proof of the asymptotics of the singularity for \(\theta \simeq 0\) as \(s\rightarrow \infty \). In the next section, we provide a proof of the limit of solutions to the spatially homogeneous Boltzmann equation without cutoff to solutions of the homogeneous Boltzmann equation for hard-spheres using the estimates in Sects. 2 and 3.

4 Convergence of the Solution for the Homogeneous Boltzmann Equation

In this section, we consider the spatially homogeneous Boltzmann equation

$$\begin{aligned} \partial _t f = Q(f,f), \quad f(0,\cdot ) = f_0(\cdot ) \end{aligned}$$
(18)

with collision kernel \( B_s(|v-v_*|, n\cdot \sigma ) \), \( s>2 \), given in (3). Let us first recall the following well-posedness result for cutoff kernels with hard potentials \( \gamma \in (0,1] \) (e.g. hard-sphere corresponding to \( s=\infty \)), see [7, Theorem 1.1] and [8, Section 3.7, Theorem 3]. The first well-posedness results are due to Arkeryd [9, 10]. We use here the weighted spaces \( L^1_p \) with weight function \( (1+|v|^2)^{p/2} \).

Lemma 5

Let \( f_0\in L^1_2 \), then there is a unique solution \( f\in C([0,\infty ); L^1_2) \) to (18) which preserves energy, i.e. for all \( t\ge 0 \)

$$\begin{aligned} \int _{\mathbb {R}^3} |v|^2\, f(t,v)\, dv = \int _{\mathbb {R}^3} |v|^2\, f_0(v)\, dv. \end{aligned}$$

Remark 6

Let us mention that the condition of the energy conservation is essential for uniqueness [11, 12].

Next, we consider the non-cutoff kernel \( B_s \). Since we are interested in the limit \( s\rightarrow \infty \), we can assume \( s>5 \) so that

$$\begin{aligned} \gamma (s)= \dfrac{s-5}{s-1}>0,\quad \int _0^\pi \theta \, b_s(\cos \theta ) \sin \theta \, d\theta \le c_0, \end{aligned}$$
(19)

where the constant \( c_0 \) is independent of \( s>5 \), see Theorem 1 (iii). In this case, we can use the weak formulation of (18) by testing with functions \( \psi \in C^1_b( [0,\infty )\times \mathbb {R}^3) \), see e.g. [8, Section 4.1]. The collision operator can be defined by means of the pre-postcollisional change of variables

$$\begin{aligned} \int _{\mathbb {R}^3} Q_s(f,f)(v)\, \psi (v)\, dv = \int _{\mathbb {R}^3} \int _{\mathbb {R}^3} |v-v_*|^{\gamma } f f_* \int _{S^2} b_s(\cos \theta )\, (\psi '-\psi )\, d\sigma dv_*dv. \end{aligned}$$

For the integral on the sphere we have, via a Taylor approximation,

$$\begin{aligned} \left| \int _{S^2} b_s(\cos \theta )\, (\psi '-\psi )\, d\sigma \right| \le C_0\left\| \psi \right\| _{C^1(\mathbb {R}^3)} |v-v_*|, \end{aligned}$$

for some constant \( C_0>0 \) independent of \( s>5 \). Let us also define the entropy of f

$$\begin{aligned} H(f) = \int _{\mathbb {R}^3} f\ln f \, dv. \end{aligned}$$

We also recall the existence of weak solutions to the homogeneous Boltzmann equation, which is the content of the following lemma, see e.g. [13, Section 4] and [8, Section 4.7, Theorem 9 (ii)]. With a slight abuse of notation we write \(f^s(t,v)\) and \(f^\infty (t,v)\) to describe the solutions to the Boltzmann equations with kernels \(B_s\) and \(B_\infty \), respectively.

Lemma 7

Let \( f_0\in L^1_{1+\gamma +\delta } \), for \( \delta >0 \) arbitrary, with finite entropy. Under the conditions (19) there is a weak solution \( f^s\in L^\infty ([0,\infty ); L^1_{1+\gamma +\delta }) \) to (18) which preserves energy. Furthermore, we have \( H(f^s(t))\le H(f_0) \) for all \( t\ge 0 \).

We finally have the following convergence result.

Theorem 8

Let \( f_0\in L^1_p \) with finite entropy and arbitrary \( p>2 \). Consider a sequence of weak solutions \( f^s \) to (18) as in Lemma 7 with collision kernel \( B_s \), \( s>5 \). Then, \( f^s(t)\rightharpoonup f^\infty (t) \) weakly in \( L^1 \) for all \( t\ge 0 \) as \( s\rightarrow \infty \), where \( f^\infty \) is the unique solution to (18) for hard-sphere interactions.

Proof of Theorem 8

First of all, applying a version of the Povzner estimate (see e.g. [7, Lemma 2.2] which is also applicable for non-cutoff kernels, cf. [8, Appendix]) we have

$$\begin{aligned} \sup _{t\in [0,\infty )} \left\| f^s(t)\right\| _{L^1_p} \le C(\left\| f_0\right\| _{L^1_p})=:C_p. \end{aligned}$$
(20)

This estimate is independent of s as long as s is sufficiently large. Assume for example \( s>6 \). In fact, in the Povzner estimate we only need a uniform lower and upper bound on the angular part \( b_s(\cos \theta ) \). This is ensured by Theorem 1 items (i) and (iii). Also note that for, say, \( s>6 \) we have \( \gamma (s)\ge 1/5 \). Furthermore, from the weak formulation we also obtain

$$\begin{aligned} \left| \int _{\mathbb {R}^3} \psi (v) f^s(t_1,v)\, dv - \int _{\mathbb {R}^3} \psi (v) f^s(t_2,v)\, dv \right| \le C\left\| \psi \right\| _{C^1} |t_1-t_2|, \end{aligned}$$

for all \( t_1,\, t_2\ge 0 \). Here, the constant C is independent of \( s>6 \) due to (19) and (20). By the uniform entropy bound

$$\begin{aligned} H(f^s(t))\le H(f_0), \end{aligned}$$

and the previous weak equicontinuity property we can apply the Dunford-Pettis theorem yielding

$$\begin{aligned} f^{s_n}(t)\rightharpoonup f^\infty (t), \end{aligned}$$

weakly in \( L^1 \) for all \( t\ge 0 \) for a subsequence \( s_n\rightarrow \infty \).

Using Theorem 1, items (i) and (iii), we can pass to the limit in the weak formulation. Hence, \( f^\infty \) is a weak solution to (18) for hard-sphere interactions. Since there is no angular singularity, one can infer

$$ f^\infty \in C([0,\infty ),L^1_2).$$

By the uniform moment bound (20), the second moments also converge for all \( t\ge 0 \) as \( s_n\rightarrow \infty \). As a consequence \( f^\infty \) preserves energy and thus \( f^\infty \) is the unique solution in Lemma 5. This implies that the whole sequence converges \( f^s(t)\rightharpoonup f^\infty (t) \) as \( s\rightarrow \infty \). \(\square \)

5 Conclusion

We proved the convergence of the collision kernel for inverse power law interactions \( 1/r^{s-1} \) to the hard-sphere kernel as \( s\rightarrow \infty \). We furthermore studied the asymptotics of the angular singularity \( \theta \rightarrow 0 \). Finally, solutions to the homogeneous Boltzmann equation converge respectively.