Finite Volume Convergence for a Heat Equation with a Measure-Valued Source

Since \mathbf{x}_0\notin\partial K for all K\in\mathcal{T}_h, the solution u is smooth in a neighborhood of each face, and the divergence theorem together with -\Delta u=\delta_{\mathbf{x}_0} gives the exact flux balance \sum_{e\subset\partial K}\Phi_{K,e}(u) = 1 if K=K_0 and =0 otherwise. The scheme reads \sum_{e\subset\partial K}\Phi^h_{K,e}(u_h) = |K|\,(\mu_h)_K, which is the same right-hand side. Subtracting and using the linearity of \Phi^h_{K,e} yields \sum_{e\subset\partial K}\Phi^h_{K,e}(e_h) = \sum_{e\subset\partial K}\tau_{K,e} for every K. Multiplying by w_K, summing over K, and collecting the two contributions of each interior face gives (1).

By odd reflection across the sides of \Omega, the solution u is smooth on \overline\Omega\setminus\{\mathbf{x}_0\}, and |\nabla^k u(\mathbf{x})|\le C|\mathbf{x}-\mathbf{x}_0|^{2-d-k} for k=1,2,3. Let e be an interior face between K and L with \mathbf{n}_{K,e}=\mathbf{e}_i. A direct computation shows that the discrete flux density is a weighted average of \partial_i u over Z_e:=K\cup L,

with the symmetric weight \phi_h\ge0, \int_{-h}^h\phi_h\,d\sigma=1, whereas the exact flux density is |e|^{-1}\int_e\partial_iu\,ds. If \operatorname{dist}(e,\mathbf{x}_0)\ge 2h, then |\mathbf{x}-\mathbf{x}_0|\ge\operatorname{dist}(e,\mathbf{x}_0)/2 on Z_e; a Taylor expansion in \sigma, in which the linear term vanishes by the symmetry of \phi_h, gives |\tau_e|\le C|e|\,h^2\sup_{Z_e}|\nabla^3u|\le Ch^{d+1}\operatorname{dist}(e,\mathbf{x}_0)^{-d-1}. If \operatorname{dist}(e,\mathbf{x}_0)<2h, then e does not intersect the open cell K_0, so that \operatorname{dist}(e,\mathbf{x}_0)\ge\operatorname{dist}(\mathbf{x}_0,\partial K_0)\ge c_0h and |\Phi_{K,e}(u)|\le|e|\sup_e|\nabla u|\le Ch^{d-1}(c_0h)^{1-d}\le C; moreover, Z_e\subset B_{5h}(\mathbf{x}_0) and \phi_h\le h^{-1} give |\Phi^h_{K,e}(P_hu)|\le h^{-1}\int_{Z_e}|\nabla u|\,d\mathbf{x}\le Ch^{-1}\int_{B_{5h}(\mathbf{x}_0)}|\mathbf{x}-\mathbf{x}_0|^{1-d}\,d\mathbf{x}\le C. For a boundary face e\subset\partial K\cap\partial\Omega, a Taylor expansion in the normal direction, using u=0 on e and d_e=h/2, gives |\tau_e|\le C|e|\,h\sup_K|\nabla^2u|\le Ch^d, since K stays away from \mathbf{x}_0 for h\le h_0. Finally, there are at most C faces with \operatorname{dist}(e,\mathbf{x}_0)<2h, at most Ck^{d-1} interior faces with kh\le\operatorname{dist}(e,\mathbf{x}_0)<(k+1)h, and at most Ch^{1-d} boundary faces. Hence \sum_e|\tau_e|\le C\big(1+\sum_{k\ge2}k^{d-1}k^{-d-1}+h\big)\le C.

Under Assumption (A), the matrix of -\Delta_h is the Kronecker sum \sum_{i=1}^d I\otimes\cdots\otimes T_i\otimes\cdots\otimes I of symmetric positive definite tridiagonal matrices T_i, one for each coordinate direction. Since these summands commute, expanding \|\Delta_h z_h\|_h^2 yields \|(I\otimes\cdots\otimes T_i\otimes\cdots\otimes I)z_h\|_h\le\|\Delta_h z_h\|_h=\|\psi\|_h, and similarly for the mixed terms involving T_i^{1/2}\otimes T_j^{1/2}, i\neq j. In terms of difference quotients, this is a discrete H^2-regularity estimate: all second difference quotients of z_h, including the mixed ones, are bounded by C\|\psi\|_h in the discrete L^2 norm. Consequently, each first difference quotient \partial_{h,i}z_h, regarded as a grid function on the faces normal to the i-th coordinate direction, has a discrete H^1 norm bounded by C\|\psi\|_h. The discrete Sobolev inequality \|v\|_{\infty}\le C(1+|\log h|)^{1/2}\|v\|_{1,h} in two dimensions [Bramble1966], and the discrete Sobolev inequality \|v\|_{L^6_h}\le C\|v\|_{1,h} combined with the inverse estimate \|v\|_\infty\le h^{-1/2}\|v\|_{L^6_h} in three dimensions, give \max|\partial_{h,i}z_h|\le C\ell_h\|\psi\|_h. Since |D_e z_h| = h\,|\partial_{h,i}z_h| on the faces normal to the i-th direction (h/2 instead of h on boundary faces), (3) follows.

We split u-u_h = (u-P_hu) + e_h with e_h = P_hu-u_h, and note that h\le h\ell_h, h\ell_h = h^{1/2} for d=3, and h\ell_h\le C h|\log h|^{1/2} for d=2 and h\le h_0<1.

Projection error. For cells K with \operatorname{dist}(K,\mathbf{x}_0)\ge h, the Poincaré inequality on K gives \|u-(P_hu)_K\|_{L^2(K)}\le Ch\|\nabla u\|_{L^2(K)}, and summation yields

For each of the boundedly many remaining cells, which lie in B_{3h}(\mathbf{x}_0), the scaling argument used for the first term in (?) gives \|u-(P_hu)_K\|_{L^2(K)}\le Ch for d=2, and \|u-(P_hu)_K\|_{L^2(K)}\le\|u\|_{L^2(K)}\le C\big\||\mathbf{x}-\mathbf{x}_0|^{-1}\big\|_{L^2(B_{3h}(\mathbf{x}_0))}+Ch^{3/2}\le Ch^{1/2} for d=3. Hence \|u-P_hu\|_{L^2(\Omega)}\le Ch\ell_h.

Discrete error. Let z_h be the solution of the dual problem of Lemma 3 with \psi=e_h. By Lemmas 1, 2 and 3,

Hence \|P_hu-u_h\|_h=\|e_h\|_h \le C h\ell_h, and the triangle inequality completes the proof.

We split the error as

Step 1: representation formula. Let G_D(t, \mathbf{x},\mathbf{y}) be the Dirichlet heat kernel. Then

Hence

Step 2: pointwise estimate. black For |\mathbf{x}-\mathbf{x}_0|\ge 2h, by the mean value theorem in \mathbf{y},

Using the classical estimate

we obtain

Step 3: L^1 estimate. Integrating in polar coordinates,

Step 4: L^2 estimate. Similarly,

which gives

Step 5: discretization error.

Standard finite volume consistency yields optimal rates on compact subsets K\Subset \Omega\setminus\{\mathbf{x}_0\} black , which gives the local estimate.

Combining both terms gives the result.

Let U_h(t) denote the semidiscrete solution. Then

Step 1: source regularization. From the semidiscrete analysis,

Step 2: spatial discretization. The term u^{(h)}-U_h is estimated as in the semidiscrete case and does not exceed the same order.

Step 3: time discretization. Since U_h solves a linear parabolic problem with black a source that is constant for t\ge t_0, standard backward Euler estimates give

uniformly for t_n \ge t_0+\tau black , with C independent of h. Indeed, as in Step 5 of the previous proof, U_h(t)=u_{\infty,h}-E_h(t-t_0)u_{\infty,h}, and u_h^n = u_{\infty,h}-r(-\Delta t\,\Delta_h)^{k}u_{\infty,h} with r(\lambda)=(1+\lambda)^{-1}, where k is the number of time steps since the source has been switched on. The nonsmooth-data estimate \sup_{\lambda\ge0}|r(\lambda)^k-e^{-k\lambda}|\le C/k for the backward Euler method [Thomee2006] gives \|U_h(t_n)-u_h^n\|_h\le C\,\Delta t\,(t_n-t_0)^{-1}\|u_{\infty,h}\|_h, up to a shift of the switching-on time by at most one step, which causes an additional error of the same order. Since \|u_{\infty,h}\|_h\le\|P_hu_\infty\|_h+\|P_hu_\infty-u_{\infty,h}\|_h\le C uniformly in h by Theorem 1, the factor h^{-d} in \mu_h does not enter the constant.