In this paper we connect Calderón and Zygmund’s notion of Lp-differentiability (Calderón and Zygmund, Proc Natl Acad Sci USA 46:1385–1389, 1960) with some recent characterizations of Sobolev spaces via the asymptotics of non-local functionals due to Bourgain, Brezis, and Mironescu (Optimal Control and Partial Differential Equations, pp. 439–455, 2001). We show how the results of the former can be generalized to the setting of the latter, while the latter results can be strengthened in the spirit of the former. As a consequence of these results we give several new characterizations of Sobolev spaces, a novel condition for whether a function of bounded variation is in the Sobolev space W1,1, and complete the proof of a characterization of the Sobolev spaces recently claimed in (Leoni and Spector, J Funct Anal 261:2926–2958, 2011; Leoni and Spector, J Funct Anal 266:1106–1114, 2014).

In this paper, high order central finite difference schemes in a finite interval are analyzed for the diffusion equation. Boundary conditions of the initial-boundary value problem (IBVP) are treated by the simplified inverse Lax-Wendroff (SILW) procedure. For the fully discrete case, a third order explicit Runge-Kutta method is used as an example for the analysis. Stability is analyzed by both the GKS (Gustafsson, Kreiss and Sundstr\"om) theory and the eigenvalue visualization method on both semi-discrete and fully discrete schemes. The two different analysis techniques yield consistent results. Numerical tests are performed to demonstrate and validate the analysis results.

We consider the numerical solution of the time-fractional diffusion-wave equation on two-dimensional and three-dimensional unbounded spatial domains. Introduce an artificial boundary and find the exact and approximate artificial boundary conditions for the given problem, which lead to a bounded computational domain. Using the exact or approximating boundary conditions on the artificial boundary, the original problem is reduced to an initial-boundary-value problem on the bounded computational domain which is respectively equivalent to or approximates the original problem. Finite difference methods are used to solve the reduced problems on the bounded computational domain and the stability of these finite difference methods are proved. The numerical results demonstrate that the method given in this paper is effective and feasible.

No abstract uploaded!

No abstract uploaded!