We study the wave propagation speed problem on metric measure spaces, emphasizing on self-similar sets that are not postcritically finite. We prove that a sub-Gaussian lower heat kernel estimate leads to infinite propagation speed, extending a result of Y.-T. Lee to include bounded and unbounded generalized Sierpi\'nski carpets as well as some fractal blowups. We also formulate conditions under which a Gaussian upper heat kernel estimate leads to finite propagation speed, and apply this result to two classes of iterated function systems with overlaps, including those defining the classical infinite Bernoulli convolutions.

The Cauchy problem for the barotropic compressible Navier--Stokes equations on the whole two-dimensional space with vacuum as far field density is considered. When the shear viscosity is a positive constant and the bulk one is a power function of density with the power bigger than four-thirds, the global existence and uniqueness of strong and classical solutions is established. It should be remarked that there are no restrictions on the size of the data.

We study convolution groups generated by completely monotone sequences and completely monotone functions. Using a convolution group, we define a fractional calculus for a certain class of distributions. When acting on causal functions, this definition agrees with the traditional Riemann-Liouville definition for t>0 but includes some singularities at t=0 so that the group property holds. Using this group, we are able to extend the definition of Caputo derivatives of order in (0,1) to a certain class of locally integrable functions without using the first derivative. The group property allows us to de-convolve the fractional differential equations to integral equations with completely monotone kernels, which then enables us to prove the general Gronwall inequality (or comparison principle) with the most general conditions. This then opens the door of a priori energy estimates of fractional PDEs. Some other fundamental results for fractional ODEs are also established within this frame under very weak conditions. Besides, we also obtain some interesting results about completely monotone sequences.