No abstract uploaded!

In this paper, we propose and analyze a mixed $H^1$-conforming finite element method for solving Maxwell's equations in terms of electric field and Lagrange multiplier, where the multiplier is introduced accounting for the divergence constraint. We mainly focus on the case that the physical domain is non-convex and its boundary includes reentrant corners or edges, which may lead the solution of Maxwell's equations to be a non-$H^1$ very weak function and thus causes many numerical difficulties. The proposed method is formulated in the stabilized form by adding an additional mesh-dependent stabilization term to the mixed variational formulation. A general framework of stability and error analysis is established. Specifically, a pair of $H^1$-conforming finite elements, namely the $CP_2$-$P_1$ elements, for electric field and multiplier is studied and its stability and error bounds are also derived. Numerical experiments for source problems as well as eigenvalue problems on the $L$-shaped and cracked domains are presented to illustrate the high performance of the proposed mixed $H^1$-conforming finite element method.

We analyze discontinuous Galerkin methods using upwind-biased numerical fluxes for time-dependent linear conservation laws. In one dimension, optimal a priori error estimates of order $k+1$ are obtained for the semidiscrete scheme when piecewise polynomials of degree at most $k$ $(k \ge 0)$ are used. Our analysis is valid for arbitrary nonuniform regular meshes and for both periodic boundary conditions and for initial-boundary value problems. We extend the analysis to the multidimensional case on Cartesian meshes when piecewise tensor product polynomials are used, and to the fully discrete scheme with explicit Runge--Kutta time discretization. Numerical experiments are shown to demonstrate the theoretical results.

We show that if X is a uniformly perfect complete metric space satisfying the finite doubling property, then there exists a fully supported measure with lower regularity dimension as close to the lower dimension of X as we wish. Furthermore, we show that, under the condensation open set condition, the lower dimension of an inhomogeneous self-similar set EC coincides with the lower dimension of the condensation set C, while the Assouad dimension of EC is the maximum of the Assouad dimensions of the corresponding self-similar set E and the condensation set C. If the Assouad dimension of C is strictly smaller than the Assouad dimension of E, then the upper regularity dimension of any measure supported on EC is strictly larger than the Assouad dimension of EC. Surprisingly, the corresponding statement for the lower regularity dimension fails. 1

Finding the maximum eigenvalue of a symmetric tensor is an important topic in tensor computation and numerical multilinear algebra. In this paper, we introduce a new class of structured tensors called W-tensors, which not only extends thewell-studied nonnegative tensors by allowing negative entries but also covers several important tensors arising naturally from spectral hypergraph theory.We then show that finding the maximum H-eigenvalue of an even-order symmetric W-tensor is equivalent to solving a structured semidefinite program and hence can be validated in polynomial time. This yields a highly efficient semidefinite program algorithm for computing themaximumH-eigenvalue of W-tensors and is based on a new structured sums-of-squares decomposition result for a nonnegative polynomial induced by W-tensors. Numerical experiments illustrate that the proposed algorithm can successfully find the maximum H-eigenvalue of W-tensors with dimension up to 10,000, subject to machine precision. As applications, we provide a polynomial time algorithm for computing the maximum H-eigenvalues of large-size Laplacian tensors of hyperstars and hypertrees, where the algorithm can be up to 13 times faster than the state-of-the-art numerical method introduced by Ng, Qi, and Zhou in 2009. Finally, we also show that the proposed algorithm can be used to test the copositivity of a multivariate form associated with symmetric extended Z-tensors,whose order may be even or odd.