arxiv: v2 [math.ap] 7 Jun 2016

Transcript

1 VALIDITY AND REGULARIZATION OF CLASSICAL HALF-SPACE EQUATIONS QIN LI, JIANFENG LU, AND WEIRAN SUN arxiv:66.3v2 [math.ap] 7 Jun 26 Abstract. Recent result [] has shown that over the 2D unit disk, the classical half-space equation CHS for the neutron transport does not capture the correct boundary layer behaviour as long believed. this paper we develop a regularization technique for CHS to any arbitrary order and use its first-order regularization to show that in the case of the 2D unit disk, although CHS misrepresents the boundary layer behaviour, it does give the correct boundary condition for the interior macroscopic Laplace equation. Therefore CHS is still a valid equation to recover the correct boundary condition for the interior Laplace equation over the 2D unit disk.. Introduction It is well-known that for kinetic equations with a small Knudsen number imposed on a bounded domain, a thin layer coined the Knudsen layer will form near the boundary of the domain. The kinetic density distribution function changes sharply within this layer from the given arbitrary kinetic boundary conditions to more restrictive interior states, such as those near the equilibrium states. To make use of the particular structure of the interior state and reduce the computational cost of solving the full scaled kinetic equation over the whole domain, one classical way is to introduce a half-space equation to capture the boundary layer behaviour. In particular, the end-states of the half-space equation will serve as the boundary conditions for the interior equation. In this paper, we consider the scaled steady-state isotropic neutron transport equation ω x F + F F, x, ω D S, F hx, ω, ω n <, D where F F x, ω is the density function and x, ω are the spatial and velocity variables respectively. The spatial domain D is the unit disk with outward normal n. The speed of the particles is constant and is scaled to one so that ω S. We also have F 2π F x, ω dω. S The classical half-space equation associated with. can be derived through asymptotic analysis. Since one of our main objectives is to compare the classical half-space equation to an -Milne equation constructed in [], we adopt similar notations as in []. In particular, we use the polar coordinates within the boundary layer together with the stretched spatial variable such that x r cos φ, r sin φ, ω sin ξ, cos ξ, η r In these notations, the leading-order classical half-space equation has the form, φ + ξ. In. f + f f,.2 f η h, φ, >,.3 f f, as η,.4 Date: June 8, 26.

2 2 QIN LI, JIANFENG LU, AND WEIRAN SUN where f π 2π f η,, φ d and h, φ hx, ω for x D. Meanwhile, the leading-order interior solution satisfies x U x, x D,.5 U D u x,.6 where u x f, φ with x cos φ, sin φ. The question of finding the leading-order approximate solution to. has been considered as settled since the work [], in which it was shown that F f f, + U L D S O..7 However, in a series of recent works [6,, 2] the authors constructed counterexamples such that F f f, + U L D S O..8 This indicates that the classical half-space equation fails to capture the correct boundary layer behaviour. In [] where the unit disk is considered, the authors introduced an -Milne equation which has the form f, ψη η cos f, + f, f,,.9 f, η h, φ, >,. f, f, as η,. where ψ is a proper cutoff function. Using this new system as the boundary layer equation, they have proved that F f, f, + U, L D S O,.2 where U, satisfies the Laplace equation on the disk with the boundary condition given by f,. Later this result is generalized to the annulus [2] and the general 2D convex domains with diffusive boundary conditions [6]. Similar -Milne equations are used in [6, 2] as the boundary layer equations. These surprising results show that the -Milne systems are indeed the correct boundary layer equations. The seemingly small -term in.9 plays a major role which makes the equation singular. This then suggests challenges on numerical computations to find the proper boundary conditions for the interior equation, since directly solving the -Milne to obtain the end-states as the correct boundary conditions is probably as expensive as solving the original full scaled kinetic equation.. In this sense, despite its obvious theoretical importance, the -Milne equation does not seem to serve the original purpose of reducing computational costs. In this paper, we address the validity of the classical half-space equation by using the -Milne system as an intermediate equation. Our first main result is: although.7 does not hold on the entire disk, it turns out that the away from the boundary layer, the interior solution U generated from the end-state f, of the classical half-space equation still gives a correct leading-order approximation. More precisely, there exists a constant Cα such that F U L αd S Cα2/3,.3 where αd {αx, αy x, y D} for any < α <. Therefore, the O-error of the approximate solution f + U is restricted to the thin boundary layer and does not propagate inside. Note that 2/3 may not be the optimal decay rate. One of the main tools that we develop to prove.3 is a regularization procedure designed particularly for the classical half-space equation. It is known see for example [2 4, 9, ] and references therein that regardless of the regularity of the given incoming data, the half-space equation has a generic jump

3 VALIDITY AND REGULARIZATION OF CLASSICAL HALF-SPACE EQUATIONS 3 at as well as a logarithmic singularity as. In fact it is exactly this singularity that renders the failure of the classical error estimate.7. For the purpose of proving.3, we show a first-order regularization that makes the modified solution Lipschitz. In the second part of this paper, we generalize this procedure to obtain regularizations of solutions to the classical half-space equation to any arbitrary order. The higher-order regularization will be useful for comparing the classical half-space equation with the -Milne system over general domains. We leave the general geometry to later work to avoid overburdening the current paper. The rest of the paper is laid out as follows. In Section 2 we use the regularization technique and the -Milne equation to show.3. In Section 3, we show numerical evidence of the non-convergence of the classical approximation in the L -norm and convergence in the L 2 -norm. We also numerically compare the classical half-space equation with the -Milne equation. In Section 4, we show the general regularization of the half-space equation to arbitrary orders. 2. Comparison with Wu-Guo s -Milne equation In this section we compare the end-states of the classical half-space equation and the -Milne equation. To simplify the notation, we will use f and f in place of f and f, for their solutions. The two equations are repeated below: the classical half-space equation f + f f, 2. f η h, φ, >, 2.2 f f φ as η, 2.3 and the -Milne equation f ψη η cos f + f f, 2.4 f η h, φ, >, 2.5 f f, φ as η, 2.6 where f, f, only depend on φ and ψ is a smooth cut-off function such that, r /2, ψr, 3/4 r. Since the angular variable φ does not play a role in our analysis, we will suppress it in the notations from now on unless otherwise specified. The well-posedness of and are thoroughly studied in [5] and []. In [], it is pointed out that the second term on the left involving in equation 2.4 has a non-trivial effect which induces an order O difference between f and f measured in the L -norm over the whole domain. However, it is not clear from the analysis in [] whether the end-states f and f, will differ by order O as well. In this section we show that in fact they only differ on a scale which vanishes with. The main result is Theorem 2.. Let f, f be the solutions to equations and respectively. Then there exists a constant C independent of such that f f, C 2/3. Remark 2.. The convergence rate 2/3 may not be optimal.

4 4 QIN LI, JIANFENG LU, AND WEIRAN SUN Notation. In this paper we use Ξ Oα to denote the upper bound Ξ C α, where C is independent of α. This is different from the somewhat conventional notation that Ξ Oα means Ξ is comparable with α in the way that it is bounded both from above and below by an order of α. We also use Ξ 2 oα to denote that Ξ 2 α as α. Before proving the main result, we first state a few lemmas. The first one shows an almost conservation law for the -Milne system Lemma 2.. Let f be the solution to Then we have f, sin 2 d Proof. Recall that f satisfies the conservation property []: f 2π Multiplying to 2.4 and integrating in gives The term d dη f sin 2 d 2 f sin2 d can be re-written as sin2 f Therefore 2.7 becomes d dη d 2 2 Using the notation in [], we denote Then V V < and V f sin 2 d 2ψη η ψη η dη We further introduce the notation Then 2.8 becomes Therefore, f, sin 2 d + O πf, + O. f η, d for any η. ψη η f η, cos2 d 2 sin2 f f d + 4 f sin 2 d. d. 2.7 f η, 2 sin 2 d f sin 2 d ψη f d. 2.8 η η V η ψη η, V. 2.9 ψη dη is bounded and independent of. 2. η Hη f η, sin 2 d. 2π d dη Hη 2 ηv Hη η V f. d e 2V Hη e 2V η V f. dη

5 VALIDITY AND REGULARIZATION OF CLASSICAL HALF-SPACE EQUATIONS 5 Integrating from η to η gives where H e 2V H e 2V τ V f τ dτ, 2. H f, sin 2 d 2π 2 f,, H f, sin 2 d. 2π By 2. the constant V only depends on the choice of the cutoff function ψ. The integral term can be reformulated as e 2V τ V f τ dτ f, e 2V τ V dτ + e 2V τ V f f, τ dτ 2 f, e 2V + e 2V τ V f f, τ. Therefore, the right-hand side of 2. satisfies e H 2V e 2V τ V f τ dτ e H 2V 2 f, + 2 f, e 2V e 2V τ V f f, τ. By 2. and H 2 f,, we then have Denote H 2 f, G e 2V τ V f f, τ. e 2V τ V f f, τ. It has been shown in [] that there exists κ > such that f f, Ce κη, where C is independent of. Let d > be a constant such that We have where C is independent of. Thus, η d > on supp ψη. G ψ L d e αη dη C, H 2 f, G C. This is equivalent to f, sin 2 d πf, + O which proves the desired almost conservation property. f, sin 2 d + O, Next we show a stability result for both the classical half-space and the -Milne equation.

6 6 QIN LI, JIANFENG LU, AND WEIRAN SUN Lemma 2.2. Let f, f be the solutions to equations and respectively. Then there exists a constant C independent of such that f, 2 π and for the classical half-space equation it holds that f 2 π f, d + C, >, f, d. Proof. Multiply sgnf to equation 2.4 and integrate in. Then we have Therefore, which gives Thus we have d dη f d η V f d. d π e V f d, dη f, d. f, d This in particular shows that f, sin 2 d f, d 2 By the almost conservation law in Lemma 2., we have f, π f, sin 2 d + O π f, d. 2.2 f, d. f, d + O. For the classical half-space equation, the estimates are similar and we only need to remove the error term O since the strict conservation holds. The main reason that f has a finite difference from f near the boundary is because f has insufficient f regularity in terms of η and. Specifically, it has been shown [] that in general is not uniformly bounded. In the following lemma, we show that by slightly changing the incoming data, we can find a solution f to the classical half-space equation such that f W, dη d. Without loss of generality, we assume that the incoming data h is not a constant function and h,, π. 2.3 Lemma 2.3. Let f be the solution to Then for any < < π/4, a the classical half-space equation 2. has a solution f W, dη d with a modified incoming data h such that f, f, d α 2, 2.4 b There exist two constants C > and < κ < independent of such that we have the bounds eκη + eκη C. 2.5 L dη d L dη d

7 VALIDITY AND REGULARIZATION OF CLASSICAL HALF-SPACE EQUATIONS 7 Proof. a We will slightly change the incoming data for f near to obtain the desired f. Note that if f solves the classical half-space equation 2., then satisfies The end-state of +, f, f, >. 2.6 η as η. is zero because for any, we have f f as η. By the maximum principle for the classical half-space equation, in order to achieve that L dη d, we only need to make sure that f, f L, π. 2.7 To this end, we first construct two auxilliary functions. For any given >, let, for [, ] [π, π], φ h, for [2, π 2 ], φ, Lipschitz, for [, π], and, for [, ] [π, π], φ 2 h, for [2, π 2 ], Lipschitz, for [, π], φ 2. Let f, f 2 be the solutions to the half-space equation 2. with incoming data φ, φ 2 respectively. Then by the maximum principle again, we have at η, f, + f, f, <, f 2, + f 2, f 2, >. Therefore, there exists a constant < λ < such that Let f λ f + λ f 2. Then f satisfies λ f, + f, + λ f 2, + f 2,. + f f, 2.8 f η λ φ + λ φ 2 h, >, 2.9 where f is constant in η,. Moreover, f satisfies that f f as η, 2.2 f, λ f for [, α ] [π, π].

8 8 QIN LI, JIANFENG LU, AND WEIRAN SUN This in particular shows that f, f for [, ] [π, π]. η By the half-space equation for f we also have f, f sin for [, π ]. Thus, f, f L,π sin C, 2.2 where C is independent of. Applying the maximum principle to 2.6 then gives sin. L dη d In order to show that 2.4 holds, we note that by construction, λ φ + λ φ 2 h, for [, ] [π, π], f, f,, for [2, π 2 ], Lipschitz, for [, π], where λ φ + λ φ 2 h. Thus by 2.2, f, f, d 2 f, f, d b The exponential decay of 2 2 2α α f, f, d + 2 d α 2. follows from Remark 3.5 of [], since π 2 f, f, d is a solution to the classical halfspace equation and its incoming data satisfies 2.2. The constant κ is solely determined by the scattering operator and is independent of as well as the incoming data. Similarly, we have the exponential decay of f with the same decay constant κ such that e κη f f L dη d C, 2.22 where C is independent of. To derive the exponential decay of, we make use of the integral form of the f-equation : fη, f e h η f + η e η s f f s ds, >, η s f f s ds, <. η e We will directly differentiate f f to show the exponential decay. For each such that <, the derivative is cos sin 2 e η s η s f f s ds. η

9 VALIDITY AND REGULARIZATION OF CLASSICAL HALF-SPACE EQUATIONS 9 Therefore, C cos cos C e η η Ce κη η 2 η s f f s ds e 2 η s e κs ds e 2 η s ds Ce κη, where C is independent of. Similarly, for each such that >, we have cos sin 2 η e η h f + e η h + cos sin 2 η e η s η s f f s ds. We estimate each term in. First, since κ <, we have cos sin 2 η e η h f + e η h C κ η e η + C e κη C e κη, 2.23 Next, by the exponential decay of f f in 2.22, we have cos η sin 2 e η s η s f f s ds C η e 2 η s e κs ds Ce 2 η κ + e 2 +κη Ce κη Combining 2.23 with 2.24 we obtain the exponential decay of. Now we prove Theorem 2.. Proof of Theorem 2.. Denote f f f. Then f satisfies By Lemma 2.3, we have f + f f ψη η cos f ψη cos η, f η f, f,, >, 2.25 ψη η f f f, as η. cos d dη C ψη η L Multiply the first equation in 2.25 by sgn f and integrate in. Then d π dη f ψη π d η f ψη d η This implies d π e Vη dη f d ψη V e η e κη dη C, cos d, cos d. where V, V are defined in 2.9 and 2.. Integrating in η from to then gives f, d C.

10 QIN LI, JIANFENG LU, AND WEIRAN SUN Using the incoming data for f we have f, d C + Let /3. Then This gives C + f, f, d f, d f, f, d C f, d C 2/3. + α 2. f, d C 2/ Therefore by Lemma 2. for f, we have π π f f, f f, sin 2 d f, sin 2 d f, sin 2 d + O π f, f, sin 2 d + f, f, sin 2 d + O f, f, d + f, f, d + O O 2/3, where the last inequality comes from 2.4 and Numerics In this section we show numerical evidence of the results asserted in the previous section. Since numerical scheme is not the focus of the current paper, the details will be omitted. We refer the interested reader to [8] where an implicit asymptotic preserving method for transport equation was developed. The numerical scheme for the ε-milne equation is largely borrowed from there. We briefly discuss the difficulties for numerically solving and our strategies to overcome those: Size of the domain: the equation is valid on the entire half-space domain, but it is not realistic to discretize infinite domain. Fortunately the solution decays exponentially fast, which allows us to truncate the infinite domain into a very large one: η [, R] with R large. Numerically it is observed that setting R 6 would suffice. The unknown infinite boundary condition: the well-posedness result simply implies that the solution is a constant function at η point, but does not suggest the value for the extrapolation length. To overcome that we borrow the idea of the shooting method but the shooting is done on both sides to match the data. More specifically, we compute ε-milne equation confined in a truncated large domain η [, R] twice: f f η cos + f f, f η h, φ, >, f ηr, <. f2 f2 η cos + f 2 f 2, f η 2, >, f ηr 2, <. By the linearity of the -Milne equation, any linear combination of f and f 2 is also a solution to the same equation. There is however only one combination that makes the solution to be approximately 3.

11 VALIDITY AND REGULARIZATION OF CLASSICAL HALF-SPACE EQUATIONS a constant function at η R. We denote it as f λ f + λf 2. Then f λ ηr λ for <, and f λ ηr f ηr + λf 2 ηr for >. 3.2 Suppose the domain is big enough with R, f λ ηr is roughly constant in, meaning: f ηr + λf 2 ηr λ. 3.3 Numerically we set λ f ηr f 2. This also serves as a criterion in determining whether R is indeed large enough. If λ varies with then we re-run the computation on a larger domain. Computing 3. on a bounded domain is also challenging due to the singularity at η,, which requires fine resolution. To resolve the solution, the mesh size in both directions have to be on the scale of ε: η ε. The shrinking ε induces a large linear system that is ill-conditioned. We borrow the idea from [8], and use a matrix-free scheme by performing GMRES iteration till the solution converges. The interested reader is referred to [8] for details. The scheme described above is generic and could also be applied to ε case. Note in the previous work [7], we have designed a spectral method for the classical half-space CHS without the spatial discretization. The spectral method is more efficient than what is proposed here, but it does not seem to be easily extended to treat the ε-milne equation. 3.. Regularization of CHS. As constructed in Lemma 2.3, one can apply slight modification to the incoming data to make the solution to CHS Lipschitz. Here we show a general problem by relaxing the requirement of φ φ 2 in 2α ε, π 2α ε. Set the two boundary conditions as,, π/2 π π/2, π, φ 9π x π/2, π/2, π π/2, 2,, π/4 π π/4, π, φ 2 cos, π/4, π π/4. Let f and f 2 be solutions to CHS with incoming data φ, φ 2. Their derivatives are not bounded at η as expected. By setting λ f2 +f, the convex combination of f 2 f, f 2 given by F λ f + λ g is Lipschitz. This is shown in Figure Computation of the ε-milne problem. We compute the -Milne problem and the CHS on the truncated domain with R 6. In Figure 5 we show the 3D plot of the solution, together with their end states. Both plots show that the solutions are approximately constant functions at η 6, meaning the truncated domain is indeed large enough to approximate the original half space problem. With the data we immediately get: L discrepancy. This is plotted in Figure 2. With various of ε we show the L error of the solution to the -Milne problem and CHS over the entire η, domain. They do not show convergence. We also plot f ε f for different ε along the ray of η nε, with n, 2,. It can be seen that with shrinking ε, the biggest error of f f does not seem to change. At η ε, they differ by.5 for all. But as n increases, the ray enters into the interior of the domain, the difference gradually disappears for all tested. Note that it is along this ray that the authors in [] constructed the counterexample to show.8 instead of.7 holds. L 2 convergence. We also demonstrate the convergence in L 2 dηd and the convergence of the two end-states, as seen in Figure 2 and Figure 4.

12 2 QIN LI, JIANFENG LU, AND WEIRAN SUN 4. Regularization of Classical Half-Space Equations In the second part of this paper, we will extend the first-order regularization technique used in the proof of Lemma 2.3 to the general case. More precisely, for any given N N, we use an induction proof to show how one can slightly modify the incoming data h near so that the modified solution f of the half space equation satisfies that f W N+, dη d. 4. The higher-order regularization will be useful for general geometry where the boundary of the domain has non-constant curvature. Again without loss of generality, we assume that the original incoming data h in equation 2.2 satisfies that h and is not a constant. The main result is summarized as Theorem 4.. Suppose the incoming data h in equation 2.2 is smooth, non-constant, and satisfies that h. Then for any given small enough and any N N, there exists h C N+, π satisfying h, h h on 2, π 2 such that the solution f to the half-space equation with h as its incoming data satisfies 4.. Moreover, eκη M+k f M k L 2 dη d O ln /2, M + k, Oα M+k+ ln /2, 2 M + k N and eκη M+k f M k L dη d O α M+k, M + k N +, 4.3 where κ > is the same decay constant as in Lemma 2.3. Notation. In this section we use the convention that a summation k 2 kk is automatically zero if its upper limit k 2 is smaller than its lower limit k. First we show the explicit formula for N f. N Lemma 4.. Suppose f is a smooth solution to 2.. Then for any N N, where N f N N f f k c k sin k N sin N, N. 4.4 f f f f k r c, c k c r sin r sin k, k. Proof. We use an induction proof. First, for N, 2, we have and 2 f f 2 f f f f f f f f f f sin 2, f f f f c sin 2.

13 VALIDITY AND REGULARIZATION OF CLASSICAL HALF-SPACE EQUATIONS 3 Thus the cases for N, 2 are verified. Suppose 4.4 holds for N 2. Then N f N N+ N f f N+ N N+ f f N k c k sin k sin N N+ f f N k c k sin k sin N N+ f f N k c k sin k sin N+, which proves equation 4.4 for N + thus for any N N. sin N+ f f N f f N k c k sin k sin N k c k sin k sin N+ Construction. Functions that have sin k as the incoming data near will play a major role. Therefore, we first define some auxiliary functions. Let < < π/4. For each k, define R, R 2, F k as solutions to the half-space equation 2. with incoming data r, r 2, f k, where, [, ] [π, π],, [, ] [π, π], r r h, [2, π 2 ], h, [2, π 2 ], and We also assume that sin k, [, ] [π, π], f k, [2, π 2 ]. 4.6 r, r 2, f k α k, r, r 2, f k C [, π]. 4.7 Before proceeding further with the construction, we show a lemma which estimates the size of F k for each k. Lemma 4.2. The functions R, R 2, F k satisfy that < R, R 2 <, F k L O α k, Fk Oα k+, k. Proof. Note that F k L Oα k is guaranteed by the maximum principle. Therefore, to obtain the desired bound for F k we only need to check the integration over +, of F k. By the conservation law, we have 2α F k d F k d C α k d + C α k d Oα k+2, F k. π 2 Hence, α + F k d sin α + F k d sin F k d Oα k+. This shows F k Oα k+. The estimate < R, R 2 < follows from the stability of the half-space equation stated in Lemma 4.3. Similar argument as for Lemma 4.2 shows

14 4 QIN LI, JIANFENG LU, AND WEIRAN SUN Lemma 4.3. Suppose Γ is a solution to the half-space equation 2. with incoming data γ L, π. a If γ satisfies that O,, 2 π 2, π, γ, 2, π 2, then Γ O. b If γ satisfies that then Γ Oα k. O k,, 2 π 2, π, γ Oα k, 2, π 2, k, Proof. a The proof is similar to Lemma 4.2. First the maximum principle gives Γ O. Using the conservation law, we have 2α Γ d Γ d C d + C d Oα 2. π 2 Therefore, α + Γ d sin α + Γ d sin Similar argument applied to Γ then gives Γ O. Γ d O. b The proof of part b follows from part a together with the linearity and maximum principle for the classical half-space equation. The following lemma is crucial for the estimates in this section: Lemma 4.4. Suppose f L L 2 dη d satisfies the half-space equation with h L, π. Then for any,, we have α /2 f C min ln /2 h L + ln /2 h 2 d, h L, 4.8 and where C is a generic constant. f C min h L + α π α h d, h L, 4.9 Proof. The bound given by h L is due to the maximum principle. To derive the other bounds, we first note that f satisfies f because sgnf f f f. Therefore, We also have the entropy bound d dη + f f, f d. d π f 2 d. dη

15 VALIDITY AND REGULARIZATION OF CLASSICAL HALF-SPACE EQUATIONS 5 By Hence, f d f 2 d, we have f, d, f 2, d. f, d h d, f 2, d Separating, into two subsets +, and,, +, we have h 2 d. Similarly, f, d α + f, d + 2 h L + C C h L + C +α h d α f, d + h d. f, d α /2 π /2 f, d 2 h L + + d h 2 d α /2 C ln /2 h L + C ln /2 h 2 d, which proves the desired bounds. Now we start constructing the approximate solution f. Recall that for each N N, we want to construct f such that f W N+, dη d. We take the following form for the function f fη, λ N R + λ N R 2 + c k F k, 4. where the coefficients c,..., c N and λ N will be chosen so that f has the desired regularity. Note that by construction f satisfies the half-space equation, and its incoming data h differs from h only on [, 2 π 2, π]. Assume that c,..., c N are given and satisfy c k F k o, 4. k which we will show a-posteriori in Theorem 4.2 for any finite N and small enough. Define We re-write 4. such that k k G η, R + c k F k, G 2 η, R 2 + c k F k. fη, λ N G η, + λ N G 2 η,. Then by 4. and the bounds for R, R 2 in Lemma 4.2, we have < G, G 2 <. k

16 6 QIN LI, JIANFENG LU, AND WEIRAN SUN Therefore, G, + G G, π G G >, G 2, + G 2 G 2, π G 2 G 2 <. Hence there exists a constant λ N λ N c,, c N, such that λ N G, + G + λ N G 2, + G The properties of λ N are summarized in the following lemma: Lemma 4.5. Let λ N be defined in 4.2. Then where µ λ N f λn G + λ N G 2 µ + c k µ k, 4.3 R 2 R + R 2, µ F k k R + R 2, k. Note that by the estimates of R and R 2 in Lemma 4.2, all the µ k s are well-defined. Proof. By 4.2, k λ N G, + + λ N G 2, + λ N G + λ N G 2. where G, + and G 2, +. Hence, λ N λ N G + λ N G 2 λ N G G 2 + G 2 λ N R R 2 + G 2. Solving for λ N then gives λ N G 2 R + R 2 R 2 where in the last step the definition of G 2 is applied. R + R 2 + N k c k F k R + R 2, Following Lemma 4.5 and the construction of f in 4., we have f, f N + c k sin k for [, ] [π, π]. 4.4 k Next we choose the coefficients {c k } N k such that f W N+, dη d, as in the following theorem: Theorem 4.2. For any given family of R, R 2, F k, suppose f is defined by 4.4 and λ N satisfies 4.3. Then the system M f f f f k c, c M c k sin k sin M, for M 2,, N. 4.5 has a unique set of {c k } N k as its solution. These c k s satisfy the bound k+ ln, k, 2, c k α k+, k 3 and 4.6 c i F i o, c i F i, L o, i. 4.7

17 VALIDITY AND REGULARIZATION OF CLASSICAL HALF-SPACE EQUATIONS 7 Moreover, f determined by this set of {c k } N k satisfies that f W N+, dη d. Proof. We divide the proof into four steps. Step. First we reformulate system 4.5. Using Lemma 4.5 and the definition of f in 4., the c -equation becomes λ N R + λ N R 2 + N k c c kf k λ N λ N R R 2 + R 2 + N k c kf k µ R R 2 + R 2 + For the ease of notation, we denote Then k µk R R 2 + F k c k. H µ R R 2 + R 2, H k µ k R R 2 + F k for k, 2,, N. 4.8 c H + k Hk c k. 4.9 Similarly, the c M -equation can be reformulated as λ N R + λ N R 2 + N k c M c kf k λ N M k c k sin k sin M µ R R 2 + R 2 + N k c kµ k R R 2 + N k c kf k M k c k sin k sin M. 4.2 We will show that for small enough, the system is uniquely solvable. The strategy to solve for c M s is by inductive elimination. Step 2. In this step we solve for c in terms of c M s using 4.9. By Lemma 4.6 which is proved later, the coefficient for c on the right-hand side of 4.9 which is given by H is of order Oα. Hence, for small enough we can solve for c from 4.9 and get Denote c β, + c i β,i, β,i i2 S,i Then each coefficient β,i has the form In this notation, we have c S, + k β,i Hi, i, 2, 3,, N. 4.2 H H i,, i,, 2, 3,, N S,i, i, 2, 3,, N S, c k S,k S, + S, c k S,k β, + c k β,k Step 3. In this step, we derive general formulas for c M for M 2. The formulas are inductive. We claim that if we let S,i, β,i be defined as in , and let S M,i S M,i β M,i S M,M k2 k2, β M,i S M,i S M,M, 4.25

18 8 QIN LI, JIANFENG LU, AND WEIRAN SUN for M 2,, N, i, M,, N, then c M S M, + c k S M,k S M, + S M,M β M, + c N β N,. km km+ km+ c k S M,k c k β M,k, M 2,, N, Note that for 4.25 to make sense, we need to show that S M,i is well-defined and S M,M. These will be proved in Lemma 4.7 and Lemma 4.8. We now prove using an induction argument. First 4.26 holds for M by the definition of S,i in Suppose 4.26 holds for M. Then we check the equation for c M+, which has the form µ R R 2 + R 2 + N k c M+ c kµ k R R 2 + N k c kf k M k c k sin k sin M+ µ R R 2 + R 2 + N k c kµ k R R 2 + N k c kf k M k c k sin k sin M+ S M, + N km c ks M,k c M SM, + N km+ c ks M,k S M,M SM, S M, S M,M S M,M + SM, + N km+ c ks M,k + c M S M,M c M S M, + N km+ c k SM,k km+ c ks M,k S M,M S M,k S M,M S M,M. c M Hence 4.26 holds for M +. Therefore it holds for any M. We can then solve for c N, c N,, c in order, which proves that there exists a unique set of {c k } N k such that 4.5 and 4.4 hold. Step 4. By the estimate of β M,i in Lemma 4.8, we have Therefore, by 4.26 and 4.27, we have c O β, O ln, Hence for k, 2 and i 3, β M,k Oα k+2 M o, k M. c 2 O β 2, O ln, c i O β i, O α i, i 3. c k F k O α 2 ln, c i F i O α i++i+ O α 2, c k F k, L O ln, c i F i, L O α i++i O α, which proves 4.7. Now we prove the lemmas applied in the proof of Theorem 4.2. Lemma 4.6. Let H k be defined as in 4.8. Then Hk a the integral is well-defined for all k.

19 VALIDITY AND REGULARIZATION OF CLASSICAL HALF-SPACE EQUATIONS 9 b For any M, we have H sin M,, π, π, O sin M Oα M,, π. Moreover, if f is the solution to the half-space equation with incoming data O ln α α f M, M, 2, O, M 3. α M H sin M, Then c For any M 2 and j M, we have H j sin j,, π, π, sin M O sin M+j Oα M+j,, π Moreover, if f is the solution to the half-space equation with incoming data Hj sinj, Then sin M O α j M+, M 3, j M 3, f O ln, M 3, j M 2, O ln, M 2, j M. d For any M and k M, we have H k sin M Oα k M,, 2 π 2, π, Oα k M+, 2, π 2. Hence by Lemma 4.3 if f is the solution to the half-space equation with incoming data H k sin M, Then 4.3 f Oα k M+, M, k M. Hk Proof. a In order to prove that the integral terms are well-defined, we show that each H k at η is bounded on, π for any k. By the definitions of R, R 2, and F k, each H k is a solution to the half-space equation. Moreover, by the definition of the µ k s, we have and Therefore, H k H R + R 2 R 2 R R 2 R R 2 R 2 η. R + R 2 F k R R 2 R R 2 F k η, k. H k, By the maximal principle, since H k H k, H k H k,, k,,, N. 4.3 solves the half-space equation, we only need to show that the incoming data for H k is bounded for, π its bound depends on. By the definition of H k, R, R 2, F k, we have H, H µ, R R 2 +R 2, R2,,, π, π, µ R R 2 +R 2, O O,, π,

20 2 QIN LI, JIANFENG LU, AND WEIRAN SUN and for each k, H k H k, η which shows H k µ k R R 2 +F k, µ k R R 2 +F k, F k, L dη d for any k. Therefore O sin k,, 2 π 2, π, O O α k, 2α, π 2, α k+ Hk is well-defined. b The bounds in 4.28 follow directly from the definition of H. If M, then by 4.8 in Lemma 4.4, we have f C ln /2 H π α 2 /2 + ln /2 H d O ln. L If M 2, then by 4.9 in Lemma 4.4, we have H f C + α H O L sin M d ln, M 2, O, M 3. α M c The bounds in 4.29 also directly comes from the definition of H j. For the bound of f when j M 2, we have H j sin j sin M O α j M π α, H j sin j L,π sin M d O α j M+2, j M 3, O ln, j M 2. Hence by 4.9 in Lemma 4.4, we have O α j M+, M 3, j M 2, f O ln, M 3, j M 2. In the case when j M, we have H j sin j sin M O, L,π Thus we have f O ln for j M. α H j sin j sin M 2 /2 d O ln /2. d First we have H k, sin M Osin k M O α k M,, α π, π. η If, 2 π 2, π, then we have H k, sin M F k R R 2 R R 2 F k R + R 2 sin M Oα k M, since F k α k and F k Oα k+ for k. Lastly, for 2, π 2, we have H k, sin M R + R 2 F k sin M Oαk M+, where once again we have applied F k Oα k+. Hence, by Lemma 4.3 we have f Oα k M, k.

21 VALIDITY AND REGULARIZATION OF CLASSICAL HALF-SPACE EQUATIONS 2 In the following lemma we show that S M,i is well-defined for any M,, N and i, M,, N and derive its explicit bound. Lemma 4.7. Let S M,i and β M,i be defined in 4.22, 4.23, and 4.25 for each M,, N and i, M,, N. Then a each S M,i is the restriction of a solution to the half-space equation at η. b There exists η j M,i with j M such that S M,i H i + M j ηj M,i Hj sin j sin M, i, M,, N, M where the case with M reduces to η,i or equivalently, c Each S M,i is well-defined. S,i H i Proof. a The case where M is proved in Lemma 4.6. In general, we assume that S M,i is the restriction of a solution to the half-space equation at η and S M,i is well-defined. Then by 4.25, S M+,i S M,i β M,i S M,M, β M,i S M,i η S M,M. Suppose T M,i is the solution to the half-space equation with S M,i T M,i η for i, M,, N. Then T M,i β M,i T M,M is also a solution to the half-space equation. Moreover, by the definition of β M,i, Therefore, S M,i β M,i S M,M, i, M +,, N. S M+,i S M,i β M,i S M,M S M,i β M,i S M,M T M,i β M,i T M,M. η Therefore S M+,i is the restriction of the half-space solution T M,i β M,i T M,M to η. This finishes the induction proof. b We prove 4.32 inductively. First, M holds by 4.33 and by setting η,i that 4.32 holds for M. Then by 4.25, we have S M+,i S M,i β M,i S M,M where H i + M j ηj M,i H i + M j ηj M+,i Hj sin j sin M+, η Hj sin j + β M,i H M + M j ηj M,M sin M+ η for i N. Assume Hj sin j sin M η j M+,i η j M,i + β M,iη j M,M, i, M +,, N, j, 2,, M, M 2, β M,i, i, M +,, N, M. Therefore by induction 4.32 holds. 4.34

22 22 QIN LI, JIANFENG LU, AND WEIRAN SUN c Now we use 4.32 to show that each S M,i is bounded. By its definition, we only need to check the behaviour of S M,i near, π. The case M has already been shown in Lemma 4.6. In general, first, if i, then Recall the definitions of H, H j in 4.8. We have S M, H + M j ηj M, Hj sin j sin M. S M,,, π, π. By a and the maximum principle, we have that S M, is well-defined for each M. Similarly, S M,i H i + M j ηj M,i Hj sin j sin M O,, π, π, i M. Hence S M,i is well-defined for M and i, M,, N. In the following lemma we show more explicit bounds of S M,i and β M,i. Lemma 4.8. Let S M,i and β M,i be defined in Let η,i, i,, 2,, N. Then a For M, i M, and j M, we have S M,i Oα i M+, β M,i Oα i M+, η j M,i O α i j with η,i when M. b If i, then we have for M, 2, S M, O α M ln, β M, O α M ln, η j M, O α j+ ln, 4.36 while for M 3, S M, O α M, β M, O α M, η j M, O α j+ ln, j, 2, O 4.37 α j+, 3 j M. Proof. a We use an induction proof to verify The base case M satisfies S,i By Lemma 4.6, we have H Hi i, β,i H, η,i, i,, N. S,i Oα i, β,i Oα i i,, N. Thus the base case is verified. Now suppose 4.35 holds for M and we consider the case M +. First we estimate the size of η j M+,i. By 4.34, η M M+,i β M,i O α i M+, and η j M+,i ηj M,i + β M,iη j M,M O α i j+ + O α i M++M j+ for i M + and j M. Thus the estimate for η j M+,i in 4.35 holds. O α i j+,

23 VALIDITY AND REGULARIZATION OF CLASSICAL HALF-SPACE EQUATIONS 23 Using the bounds for η j M+,i and 4.32, we can now bound S M+,i. Since S M+,i is the restriction of the half-space solution T M+,i to η, we can apply Lemma 4.6 together with the linearity of the half-space equation to get S M+,i O α i M M + j O α i j+ Moreover, since β M+,i O S M+,i, we also have β M+,i O O α j M α i M++ O α i M. O i M++. This shows all the bounds in 4.35 holds for M +, which proves that 4.35 holds for all M. b Now we check the case where i. Since the bounds in Lemma 4.6b are slightly different for M, 2, we first treat these two cases. If M, then S, H H, β, H, η,, By Lemma 4.6, we have S, O ln, β, O S, O ln, which proves the case when M. Next we check the case where M 2. In this case, we have Recall that Then by Lemma 4.6, we have This further gives S 2, O η 2, β, O ln. S 2, H + η 2, H sin 2. ln + O ln O ln O ln. β 2, O ln. Now we use induction to prove the case when M 3. The base case is M 3, which by 4.34 satisfies η 2 3, β 2, O ln, η 3, α η 2, + β 2,η 2,2 O ln + O ln O O ln. Recall that By Lemma 4.6, we have S 3, O This implies α 2 S 3, H + η 3, H + η 2 3, H 2 sin 2 sin 3. + O ln O ln + O ln O ln O α 2. β 3, O α 2. Therefore 4.37 holds for M 3. Assume that 4.37 holds for M 3. Then for M + we have η M M+, β M, O α M O α M+.

24 24 QIN LI, JIANFENG LU, AND WEIRAN SUN For j,, M, it holds that η j M+, ηj M, + β M,η j M,M O α j+ + O η j M+, ηj M, + β M,η j M,M O α j+ ln + O α M α M α M j+ α M j+ O α j+, j 3, O α j+ ln, j, 2. This verifies 4.37 for η j M+,. Now we check the size of S M+,. By 4.32, we have S M+, H + M j ηj M+, Hj sin j sin M+ H 2 sin M+ + η j M+, Hj sin j M 2 η j M+, Hj sin j M sin M+ + sin M+ + η M HM sin M M+, sin M+ O α M O α M. j + 2 j O α j+ j3 ln O α j M M + This further implies β M+, O α M Therefore 4.37 holds for M +. Thus it holds for all M. j3 O α j+. O α j M jm + O α M+ O ln α To prove the bound in Theorem 4., we first recall the L 2 -bound of solutions to the half-space equation. These are classical results and one can find their proofs in []. Lemma 4.9. Let f be the solution to the classical half-space equation with source g, incoming data h, and end-state f. Then f satisfies the bounds e κη f f 2 L 2 dη d C h 2 d + e κη g 2 L 2 dη d + eκη g 2 L dη d, e κη f f 2 L dη d h C L,π + eκη g 2 L 2 dη d + eκη g 2 L dη d, where κ is the same decay constant as in Lemma 2.3. Now we can finish the proof of Theorem 4.. Proof of Theorem 4.. We divide the proof in two steps. M f M f Step. Bounds of. Since each M M is a solution to the classical half-space equation, to show its bound in either L or L 2, we only need to study its incoming data. By Theorem 4.2, we have a unique family of c k s which gives that f, N f + c k sin k for, π, π, 4.38 k and the incoming data h only differs from h by order O on, π, π. By our construction, we have M f f M η M M f k c k sin k sin M M N km c k sin k sin M N M M k c k+m sin k,, π, π 4.39

25 VALIDITY AND REGULARIZATION OF CLASSICAL HALF-SPACE EQUATIONS 25 for M, 2,, N and Moreover, N+ η N+,, π, π. 4.4 M f f M η M M f k c k sin k sin M f M M f sin M M c k sin k M, π, π 4.4 for M, 2,, N +. Equations together with the bounds of c k in 4.6, show that at η, M f, M O α M, M, 2,, N In addition, M f 2, M d α L,π M f M O 2 k d + π M f M 2 α M d + f 2 M d. We estimate the three terms on the right-hand side respectively. Estimates for the first two terms are similar and we only show the details for the first one. By 4.39 and 4.4, α M f 2 N M α M d 2 ck+m sin k 2 d k N M and α Therefore, M f M 2 α d C k sin 2M d + C α 2k+M +2k+2 ln M k c 2 k α O α 2M+4 ln sin 2k 2M+ d O ln + M k O α 2k +2k 2M+2 ln O ln, M. O α 2M+2 M + k O α 2k +2k 2M+2 ln O α 2M+2, M 2. By Lemma 4.9, we obtain that 2 M f eκη M L 2 dη d By 4.42 and Lemma 4.9 again, we have M f eκη M M f 2 O ln, M,, M d O 4.43 α M+, M 2. M C κ f 2 O ln, M,, M d O 4.44 α M+, M 2. L dη d O α M, M. 4.45

26 26 QIN LI, JIANFENG LU, AND WEIRAN SUN Step 2. Bounds of M f and mixed derivatives. Next, we check the regularity of f with respect to and all M the mixed derivatives. These will be based on the regularity in η in Step. The main strategy is still the induction proof. First we check the case M. In this case, satisfies the equation + cos, η h,, π,, as η. The estimates related to the incoming data h are as follows. First, Second, α h 2 d 2 k α h L,π O α c 2 kk 2 sin 2k cos 2 d O α 2k +2k ln O α 2 ln Similar estimate holds for π, π. For the part where, π, we have α h 2 d O Hence, h 2 d O Applying 4.42 for M, we have eκη L2 dη d O ln /2. Therefore, eκη M+k f M k L 2 dη d O ln /2, eκη M+k f M k L dη d, M + k. Hence the base case where N M + k is verified. For general M, we have shown the bounds of M f M in both L 2 and L norms in Step. Suppose 4.2 and 4.3 hold for N with N 2. Now we show that f W N+, dη d and it satisfies the bounds in 4.2 and 4.3. We use a further induction on the order of the derivative of for this fixed N. The base case k holds due to 4.44 and Assume that the bounds 4.2 and 4.3 hold for M, k satisfying that M + k M + k N, M M, M.

27 VALIDITY AND REGULARIZATION OF CLASSICAL HALF-SPACE EQUATIONS 27 N We then check the case M, k +. The equation for f M is k+ N f N M k+ + f M k+ G M,k+, N f η M k+ k+ M k+ M,, π, where N f M, as η. k+ G M,k+ k+ M f k+ M N f M k+, where by the induction assumptions G M,k+ is bounded by e κη G M,k+ L2 dη d Oα N+ ln /2. e κη G M,k+ L dη d O α N. 4.5 Meanwhile, the incoming data satisfies k+ M M 2 M k+ f f i k+ M c i sin i k+ sin M k+ M k+ k+ c i+m sin i,, π, π. Therefore, α k+ k+ M f M 2 i d O c 2 Nα 2 O 2N+4 ln 2. Similar estimate holds for the integration on π, π. For the part where, π, we have k+ M M 2 M k+ f f i k+ M c i sin i k+ sin M M 2 M k+ f f M k+ k+ sin M k+ c i sin i M+, Therefore, This gives α k+ k+ α C M f M sin 2N d + Cc Combining with 4.5, we have N f eκη M k+ L 2 dη d k+ k+ 2 M f M d α O α N ln /2, i sin 2N 3 d O α 2N+2 ln. 2 d O α 2N+2 ln, eκη N f M k+ L,π O α N,

28 28 QIN LI, JIANFENG LU, AND WEIRAN SUN f-<f>/sin f.5 f f 2.5 f F.6.4 F Figure. Left plot shows f, f 2, and their convex combination F. Right plot shows the blow-up of η f, η f 2 and the boundedness of η F. where M + k N. This proves the induction for k + and for any arbitrary N N. We thereby finish the proof of Theorem 4.. References [] A. Bensoussan, J.L. Lions, and G.C. Papanicolaou, Boundary-layers and homogenization of transport processes, J. Publ. RIMS Kyoto Univ , [2] K. M. Case and P. F. Zwiefel, Linear transport theory, Addision-Wesley Pub. Co., 967. [3] I-K. Chen, Boundary singularity of moments for the linearized boltzmann equation, Journal of Statistical Physics 53 23, no., [4] I-K. Chen, H Funagane, T.-P. Liu, and S Takata, Singularity of the velocity distribution function in molecular velocity space, Comm. Math. Phys , no., [5] F. Coron, F. Golse, and C. Sulem, A classification of well-posed kinetic layer problems, Comm. Pure Appl. Math , [6] Y. Guo and L. Wu, Geometric correction in diffusive limit of neutron transport equation in 2D convex domains, arxiv: [math.ap] 26. [7] Q. Li, J. Lu, and W. Sun, Half-space kinetic equations with general boundary conditions, Math. Comp. in press, arxiv: [math.na]. [8] Q. Li and L. Wang, Implicit asymptotic preserving method for linear transport equations, 26. preprint, arxiv: [9] S Takata and H Funagane, Singular behaviour of a rarefied gas on a planar boundary, Journal of Fluid Mechanics 77 23, [] G. M. Wing, An introduction to transport theory, Wiley, 962. [] L. Wu and Y. Guo, Geometric correction for diffusive expansion of steady neutron transport equation, Communications in Mathematical Physics , no. 3, [2] L. Wu, X. Yang, and Y. Guo, Asymptotic analysis of transport equation in annulus, arxiv:64.75 [math.ap] 26. Mathematics Department, University of Wisconsin-Madison, 48 Lincoln Dr., Madison, WI 5375 USA. address: qinli@math.wisc.edu Departments of Mathematics, Physics, and Chemistry, Duke University, Box 932, Durham, NC 2778 USA. address: jianfeng@math.duke.edu Department of Mathematics, Simon Fraser University, 8888 University Dr., Burnaby, BC V5A S6, Canada address: weirans@sfu.ca

29 VALIDITY AND REGULARIZATION OF CLASSICAL HALF-SPACE EQUATIONS error inf error inf error ǫ ǫ ǫ Figure 2. Left plot is for the L 2 error. end-states. Right plot is for the L error. Middle plot is for the error between the two.5 epsilon 25 epsilon 3 epsilon 35 epsilon 4 epsilon Figure 3. Difference of the classical and the -Milne equation along the ray η, n, Figure 4. Left plot is the solution to the classical half-space equation at η 6. Right plot is the solution to the -Milne equation at η 6. These can be viewed the end-states of the two equations.

30 3 QIN LI, JIANFENG LU, AND WEIRAN SUN Figure 5. Left plot is the solution to the classical half-space equation. Right plot is the solution to the -Milne equation.